Peer-reviewed publications

No. Author(s) Title Publisher (title/ name) Partners Link
1 ​L. Kulas Simple 2-D Direction-of-Arrival Estimation Using ESPAR Antenna IEEE Antennas and Wireless Propagation Letters vol. 16, pp. 2513-2516, 2017 Gdańsk University of Technology
2 T. Petříček T. Svoboda Point cloud registration from local feature correspondences---Evaluation on challenging datasets PLoS ONE 12(11): e018794 3, 2017 Czech Technical University in Prague
3 ​L. Zhao, P. Pop Q. Li, J. Chen H. Xiong Timing analysis of rate-constrained traffic in TTEthernet using network calculus Real-Time Systems vol. 53, pp. 254-287, 2017 Technical University of Denmark
4 M. E. Gadringer H. Schreiber A. Gruber M. Vorderderfler D. Amschl, W. Bösch S. Metzner, H. Pflügl M. Paulweber Virtual Reality for Automotive Radars e & i Elektrotechnik und Informationstechnik vol. 135, no. 4/5, pp. 335-343 2018 Technical University of Graz, Austrian Institute Of Technology, AVL List GmbH
5 M. Vorderderfler M. E. Gadringer H. Schreiber A. Gruber, W. Bösch S. Metzner, H. Pflügl M. Paulweber Frequency Dividers in Radar Target Stimulator Applications e & i Elektrotechnik und Informationstechnik vol. 135, no. 4/5, pp. 344-351 2018 Austrian Institute Of Technology
6 M. Díaz R. Guerra S. López R. Sarmiento An Algorithm for an Accurate Detection of Anomalies in Hyperspectral Images With a Low Computational Complexity IEEE Transactions on Geoscience and Remote Sensing vol. 56, no. 2, pp. 1159-1176 2018 University of Las Palmas de Gran Canaria
7 M. Hofer, Z. Xu D. Vlastaras B. Schrenk D. Loeschenbrand F. Tufvesson T. Zemen Real-Time Geometry-Based Channel Emulation IEEE Transactions on Vehicular Technology 2018 Austrian Institute Of Technology
8 ​L. Kulas RSS-based DoA Estimation Using ESPAR Antennas and Interpolated Radiation Patterns IEEE Antennas and Wireless Propagation Letters vol. 17, no. 1, pp. 25-28, 2018 Gdańsk University of Technology
9 M.E. Gadringer F.M. Maier H. Schreiber V.P. Makkapati A. Gruber M. Vorderderfler D. Amschl, S. Metzner H. Pflügl, W. Bösch M. Horn M. Paulweber Radar Target Stimulation for Automotive Applications IET Journal Radar, Sonar & Navigation vol. 12, no. 10, pp. 1096-1103 2018 Technical University of Graz, Austrian Institute Of Technology, AVL List GmbH
10 M. Marcano J. A. Matute R. Lattarulo E. Martí, J. Pérez Low Speed Longitudinal Control Algorithms for Automated Vehicles in Simulation and Real Platforms Complexity no. 2018, pp. 12, 2018 TECNALIA
11 R. Guerra, Y. Barrios M. Díaz, L. Santos S. López R. Sarmiento A New Algorithm for the On-Board Compression of Hyperspectral Images Remote Sensing vol. 10, no. 3, pp. 428, 2018 University of Las Palmas de Gran Canaria
12 R. Ordonez-Hurtado G. Russo S. Sinnott R. Shorten On the design of a decision engine for connected vehicles with an application to congestion management eprint arXiv:1804.06935 2018 IBM IE, University College Dublin
13 K. Zimmermann T. Petricek V. Salansky T. Svoboda Learning for Active 3D Mapping ICCV 2017 Czech Technical University in Prague
14 V. Gavrilut B. Zarrin P. Pop, S. Samii Fault-Tolerant Topology and Routing Synthesis for IEEE Time-Sensitive Networking Proceedings of the 25th International Conference on Real-Time Networks and Systems pp. 267-276, 2017 Technical University of Denmark
15 ​​​C. Snook, T. S. Hoang M. Butler Analysing Security Protocols Using Refinement in iUML-B Barrett C., Davies M., Kahsai T. (eds) NASA Formal Methods. NFM 2017. Lecture Notes in Computer Science LNCS, vol. 10227, pp. 84-98, 2017 University of Southampton
16 ​T. S. Hoang, C. Snook D. Dghaym, M. Butler Class-diagrams for Abstract Data Types Hung D., Kapur D. (eds) Theoretical Aspects of Computing – ICTAC 2017. ICTAC 2017. Lecture Notes in Computer Science vol. 10580, 2017 University of Southampton
17 ​R. Lattarulo J. Pérez M. Dendaluce A complete framework for developing and testing automated driving controllers 20th IFAC World Congress vol. 50, pp. 260-265, 2017 TECNALIA
18 T. D. Song J. Hubrechts L. Awatsu A. Bhave H. Van der Auweraer A simulation-based testing and validation framework for ADAS development Proceedings of 7th Transport Research Arena TRA 2018 pp. 10 Siemens
19 F. Lorber K. G. Larsen B. Nielsen Model-Based Mutation Testing of RT-Systems via Model-Checking of Properties 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) 2018 Aalborg University
20 D. Dghyam M. Poppleton C. Snook Diagram-led formal modelling using iUML-B for Hybrid ERTMS Level 3 Butler M., Raschke A., Hoang T., Reichl K. (eds) Abstract State Machines, Alloy, B, TLA, VDM, and Z. ABZ 2018. Lecture Notes in Computer Science vol. 10817, pp. 338-352, 2018 University of Southampton
21 W. Damm S. Kemper E. Möhlmann T. Peikenkamp A. Rakow Using Traffic Sequnce Charts at the Development of HAVs 9th European Congress Embedded Real Time Software and Systems ERTS² Congress, 2018 OFFIS – Institut für Informatik
22 ​A. Pedro D. Pereira J. Sousa Pinto L. Miguel Pinho RMTLD Synthesis for Satisfiability Modulo Theories Springer 2018 Instituto Superior de Engenharia do Porto
23 T. Fischer, C. Snook T. S. Hoang Formal Model Validation through Acceptance Tests University of Southampton pp. 14, 2018 DLR University of Southampton
24 M. Barbier C. Laugier O. Simonin J. Ibañez-Guzmán Functional Discretization of Space Using Gaussian Processes for Road Intersection Crossing 2016 IEEE 19th International Conference on Intelligent Transportation Systems (ITSC) RENAULT, INRIA
25 S. Resch M. Paulitsch Using TLA+ in the Development of a Safety-Critical Fault-Tolerant Middleware 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) pp. 146-152 Thales Austria GmbH
26 ​L. Kulas Direction-of-Arrival Estimation Using an ESPAR Antenna with Simplified Beam Steering 47th European Microwave Conference (EuMC) pp. 1-4, 2017 Gdańsk University of Technology
27 K. G. Larsen F. Lorber, B. Nielsen U. M. Nyman Mutation-Based Test-Case Generation with Ecdar 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) Aalborg University
28 Y. Lassoued J. Monteil, Y. Gu M. Mevissen G. Russo, R. Shorten A Hidden Markov Model for Route and Destination Prediction 2017 IEEE 20th International Conference on Intelligent Transportation Systems (ITSC) pp. 1-6, 2017 IBM IE, University College Dublin
29 M. Barbier Ch. Laugier O. Simonin J. Ibañez-Guzmán Classification of Drivers Manoeuvre for Road Intersection Crossing with Synthethic and Real Data Proceedings of the 2017 IEEE intelligent Vehicles Symposium pp. 7, 2017 INRIA, RENAULT
30 ​A. Fellner, W. Krenn R. Schlick, T. Tarrach G. Weissenbacher Model-based, Mutation-driven Test Case Generation via Heuristic-guided Branching Search MEMOCODE '17 Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design Vienna, Austria pp. 56-66, 2017 Austrian Institute Of Technology
31 A. Pérez L. Suriano A. Otero E. de la Torre Dynamic Reconfiguration under RTEMS for Fault Mitigation and Functional Adaptation in SRAM-based SoPCs for Space Systems 2017 NASA/ESA Conference on Adaptive Hardware and Systems (AHS) Universidad Politecnica de Madrid
32 A. Narbudowicz M. J. Ammann M. Plotka L. Kulas, K. Nyka M. Rzymowski Compact Antenna for Digital Beamforming with Software Defined Radios 2017 International Symposium on Antennas and Propagation (ISAP) pp. 1-2, 2017 Gdańsk University of Technology
33 M. Tarkowski M. Rzymowski L. Kulas, K. Nyka​ Improved Jamming Resistance Using Electronically Steerable Parasitic Antenna Radiator IEEE EUROCON 2017 -17th International Conference on Smart Technologies pp. 496-500, 2017 Gdańsk University of Technology
34 M. Butler, D. Dghaym T. Fischer, T.S. Hoang K. Reichl, C. Snook P. Tummeltshammer Formal modelling techniques for efficient development of railway control products RSSRail 2017: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification. vol. 10598, pp. 71-86, 2017 University of Southampton, Thales Austria GmbH
35 ​T. S. Hoang, D. Dghaym, C. Snook M. Butler A Composition Mechanism for Refinement-Based Methods 2017 22nd International Conference on Engineering of Complex Computer Systems (ICECCS) pp. 100-109, 2017 University of Southampton
36 ​J. Epperlein R. Shorten, S. Zhuk Recovering Markov Models from Closed-Loop Data eprint arXiv:1706.06359 2017 IBM IE University College Dublin
37 M. R. Zofka S. Ulbrich, R. Kohlhaas A. Rönnau, R. Dillmann J. M. Zöllner Towards an Mixed-Reality Multi-User Framework for the Evaluation and Training of Autonomous Vehicles RSSRail 2017: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification. vol. 10598, 2017 Forschungszentrum Informatik
38 ​J. Rewienski, M. Groth, L. Kulas, K. Nyka Investiagtion of Continuous Wave Jamming in an IEEE 802.15.4 Network 2018 22nd International Microwave and Radar Conference (MIKON) pp. 242 - 246, 2017 Gdańsk University of Technology
39 M. R. Zofka, M. Essinger T. Fleck, R. Kohlhaas J. M. Zöllner The Sleepwalker Framework: Verification and Validation of Autonomous Vehicles by Mixed Reality LiDAR Stimulation 2018 IEEE International Conference on Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR) pp. 151-p. 157, 2018 FZI
40 ​V. Schönemann H. Winner, T. Glock S. Otten, E. Sax B. Boeddeker G. Verhaeg F. Tronci G. G. Padilla Scenario-based functional Safety for Automated Driving on the Example of Valet Parking Future of Information and Communication Conference (FICC) 2018 Technische Universität Darmstadt, Forschungszentrum Informatik, Denso Automotive Deutschland GmbH, TNO MAGMA HAGL
41 S. Moten F. Celiberti M. Grottoli A. van der Heide Y. Lemmens X-in-the-loop advanced driving simulation platform for the design, development, testing and validation of ADAS IEEE Intelligent Vehicle Symposium 2018 Siemens
42 J. P. Epperlein J. Monteil M.Liu, S. Zhuk R.Shorten Bayesian Classifier for Route Prediction with Markov Chains ​The 21st IEEE International Conference on Intelligent Transportation Systems (ITSC2018) pp. 11, 2018 IBM IE University College Dublin
43 M. Rooker, P. Horstrand A.S. Rodriquez S. Lopez, R. Sarmiento J. Lopez, R. Lattarulo J. Perez, J. Matute Z. Slavik, D. Pereira M. Pusenius T. Leppälampi Towards improved Validation of Autonomous Systems for Smart Farming Conference: Workshop on Smart Farming, CPS Week 2018 TTTech, University of Las Palmas de Gran Canaria, TECNALIA, Forschungszentrum Informatik, Creanex Oy
44 M. Hofer, Z. Xu D. Vlastaras, B. Schrenk D. Loeschenbrand F. Tufvesson, T. Zemen Validation of a Real-Time Geometry-Based Stochastic Channel Model for Vehicular Scenarios 2018 IEEE 87th Vehicular Technology Conference (VTC Spring) Austrian Institute Of Technology
45 ​P. Tkachenko J. Zhou, D. Gagliardi, L. del Re On-line Maneuver Identification in Highway Traffic Using Elastic Template Matching 18th IFAC Symposium on System Identification SYSID vol. 51, no. 15, pp. 557-562, 2018 Instituto Tecnológico de Informática
46 J. Zhou, L. del Re Safety Verification Of ADAS By Collision-free Boundary Searching Of A Parameterized Catalog 2018 Annual American Control Conference (ACC) pp. 4790-87 Johannes Kepler University Linz, Austria
47 ​J. Real, S. Sáez A. Crespo Ravenscar Support for Time-Triggered Scheduling 19th International Real-Time Ada Workshop IRTAW 2018 Benicàssim, Spain 18-20 April 2018 ACM SIGAda Ada Letters vol. 38, no. 1, pp. 41-54, 2018 Instituto Tecnológico de Informática
48 J. Real, S. Sáez A. Cespo Combined Scheduling of Time-Triggered and Priority-Based Task Sets in Ravenscar Casimiro A., Ferreira P. (eds) Reliable Software Technologies – Ada-Europe 2018. Ada-Europe 2018. Lecture Notes in Computer Science vol. 10873, pp. 105-122, 2018 Instituto Tecnológico de Informática
49 M. Plotka M. Tarkowski K. Nyka L. Kulas A Novel Calibration Method for RSS-Based DoA Estimation Using ESPAR Antennas 2018 22nd International Microwave and Radar Conference (MIKON) pp. 65-68, 2018 Gdańsk University of Technology
50 A. Eggers M. Stasch, T. Teige T. Bienmüller U. Brockmeyer Constraint Systems from Traffic Scenarios for the Validation of Autonomous Driving Third International Workshop on Satisfiability Checking and Symbolic Computation, Part of FLOC 2018 pp.15, 2018 BTC
51 M. Kneissl A. Molin, H. Esen S. Hirche A Feasible MPC-Based Negotiation Algorithm for Automated Intersection Crossing European Control Conference (ECC) 2018 Denso Automotive Deutschland GmbH
52 V. Schönemann H. Winner T. Glock, E. Sax B. Boeddeker S. vom Dorff G. Verhaeg, F. Tronci G. G. Padilla Fault tree-based Derivation of Safety Requirements for Automated Driving on the Example of cooperative Valet Parking IEEE International Conference on Intelligent Transportation Systems, ICIVVS 2019 : 21th International Conference on Intelligent Vehicles and Vehicular Systems Hawaii, USA, 2018 Technische Universität Darmstadt, Forschungszentrum Informatik, Denso Automotive Deutschland GmbH, TNO, Magneti Marelli, HELLA Aglaia Mobile Vision GmbH
53 ​K. Pichler, S. Haindl D. Reischl, M. Trinkl Acceleration and Lane Change Prediction for Autonomous Driving on a Highway using Bayesian Networks and Hidden Markov Models Linz Centre of Mechatronics GmbH 2018 Linz Centre of Mechatronics GmbH
54 L. Zhao, P. Pop, S. Craciunas Worst-Case Latency Analysis for IEEE 802.1Qbv Time Sensitive Networks Using Network Calculus IEEE, Vol 6 2018 Technical University of Denmark, TTTech
55 F. M. Maier , V. P. Makkapati, M. Horn Environment perception simulation for radar stimulation in automated driving function testing Elektrotechnik & Informationstechnik (2018) 135/4-5:309–31 University of Technology Graz
56 Ray Lattarulo, Leonardo González, Enrique Martí, José Matute, Mauricio Marcano, and Joshue Pérez Urban Motion Planning Framework Based on N-Bézier Curves Considering Comfort and Safety Hindawi Journal of Advanced Transportation Volume 2018, TECNALIA
57 Tomas Fischer and Dana Dghyam Formal Model Validation through Acceptance Tests ECS, University of Southampton, Southampton, U.K., University of Southampton
58 A. Rodriguez, L. Santos, R. Sarmiento, E. de la Torre Scalable Hardware-Based On-Board Processing for Run-Time Adaptive Lossless Hyperspectral Compression IEEE Access Vol 7 Universidad Politécnica de Madrid, University of Las Palmas de Gran Canaria
59 P. Horstrand, R.G. Hernandez, M.Diaz, S. Lopez A UAV platform based on a hyperspectral sensor for image capturing and onboard processing IEEE Access, January 2019 University of Las Palmas de Gran Canaria
60 Pablo Horstrand, Maria Diaz, Raul Guerra, Sebastian Lopez, Jose Fco. Lopez A Novel Hyperspectral Anomaly Detection Algorithm for Real-Time Applications With Push-Broom Sensors IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing University of Las Palmas de Gran Canaria
61 Maria Diaz, Raul Guerra, Pablo Horstrand, Ernestina Martel, Sebastian Lopez, Jose Fco. Lopez, Roberto Sarmiento Real-Time Hyperspectral Image Compression Onto Embedded GPUs IEEE Journal of Selected Topics in Applied Earth Observations and Remote Sensing ( Volume: 12 , Issue: 8 , Aug. 2019 ) University of Las Palmas de Gran Canaria
62 Yubal Barrios, Alfonso Rodriguez, Eduardo de la Torre Hyperspectral Image Lossy Compression on a Reconfigurable and Fault-Tolerant Architecture Implemented over a COTS FPGA-Based System-on-Chip 6th International Workshop on On-Board Payload Data Compression, Torre, Spagnola, Matera (IT) University of Las Palmas de Gran Canaria, Universidad Politécnica de Madrid
63 Raul Guerra, Maria Diaz, Yubal Barrios, Sebastian Lopez A Hardware-Friendly Algorithm for the On-Board Compression of Hyperspectral Images High-Performance Computing in Geoscience and Remote Sensing VIII, SPIE Remote Sensing, 2018, Berlin (DE) University of Las Palmas de Gran Canaria
64 Ernestina Martel, Raquel Lazcano, José López, Daniel Madroñal, Rubén Salvador, Sebastián López, Eduardo Juarez, Raúl Guerra, César Sanz and Roberto Sarmiento Implementation of the Principal Component Analysis onto High-Performance Computer Facilities for Hyperspectral Dimensionality Reduction: Results and Comparisons MDPI Remote Sensing no. 10(6), pp. 864 University of Las Palmas de Gran Canaria, Universidad Politécnica de Madrid
65 Tong Duy Son, Lisa Awatsu, Jacob Hubrechts, Ajinkya Bhave, Herman Van der Auweraer A simulation-based testing and validation framework for ADAS development Proceedings of 7th Transport Research Arena TRA 2018 pp. 10 Siemens
66 Tong Duy Son, Quan Nguyen Safety-Critical Control for Non-affine Nonlinear Systems with Application on Autonomous Vehicle Safety-Critical Control for Non-affine Nonlinear Systems with Application on Autonomous Vehicle (2019) Siemens
67 Rosenberger, Philipp & Holder, Martin & Huch, Sebastian & Winner, Hermann & Fleck, Tobias & Zofka, Marc & Zöllner, J. & D'Hondt, Thomas & Wassermann, Benjamin Benchmarking and Functional Decomposition of Automotive Lidar Sensor Model 2019 IEEE Intelligent Vehicles Symposium (IV’19) Technische Universität Darmstadt, Forschungszentrum Informatik
68 Fischer, Tomas & Dghaym, Dana Formal model validation through acceptance tests International conference on reliability, safety and security of railway systems: modelling, analysis, verification and certification - RSSRail 2019 University of Southampton, Thales Austria
69 Sebastian Gerwinn, Eike Möhlmann and Anja Sieper Statistical Model Checking for Scenario-Based Verification of ADAS Springer International Publishing AG, part of Springer Nature 2019 H. Waschl et al. (eds.), Control Strategies for Advanced Driver Assistance Systems and Autonomous Driving Functions, Lecture Notes in Control and Information Sciences 476 OFFIS – Institut für Informatik
70 M. Butler, D. Dghaym, T. Fischer, T. S. Hoang, K. Reichl, C. Snook, P. Tummeltshammer Formal modelling techniques for efficient development of railway control products Fantechi A., Lecomte T., Romanovsky A. (eds) Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification. RSSRail 2017. Lecture Notes in Computer Science, vol 10598. Springer, Cham University of Southampton, Thales Austria
71 J. Zhou, L. del Re Safety Verification Of ADAS By Collision-free Boundary Searching Of A Parameterized Catalog 2018 Annual American Control Conference (ACC), At Milwaukee, USA Johannes Kepler University Linz, Austria
72 Valerij Schönemann, Mara Duschek and Hermann Winner Maneuver-based Adaptive Safety Zone for Infrastructure-Supported Automated Valet Parking 5th International Conference on Vehicle Technology and Intelligent Transport Systems Technical University Darmstadt
73 Luxi Zhao, Paul Pop, Zhong Zheng, Qiao L Timing Analysis of AVB Traffic in TSN Networks using Network Calculus 2018 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) Technical University of Denmark
74 Raul Guerra, Maria Diaz, Yubal Barrios, Sebastian Lopez, Roberto Sarmientoa A hardware-friendly algorithm for compressing hyperspectral images High-Performance Computing in Geoscience and Remote Sensing University of Las Palmas de Gran Canaria
75 Barrios, Yubal & Sánchez, Antonio & Santos, Lucana & Lopez, Sebastian & Lopez, Jose & Sarmiento, Roberto Hardware Implementation of the CCSDS 123.0-B-1 Lossless Multispectral and Hyperspectral Image Compression Standard by means of High Level Synthesis Tools 9th Workshop on Hyperspectral Image and Signal Processing: Evolution in Remote Sensing (WHISPERS) University of Las Palmas de Gran Canaria
76 Pablo Horstrand, Sebastian Lopez, J. Fco. Lopez A Novel Implementation of a Hyperspectral Anomaly Detection Algorithm For Real Time Applications With Pushbroom Sensors 9th Workshop on Hyperspectral Image and Signal Processing : Evolution in Remote Sensing IEEE WHISPERS University of Las Palmas de Gran Canaria
77 Heß, Daniel & Lapoehn, Stephan & Utesch, Fabian & Fischer, Martin & Schindler, Julian & Hesse, Tobias & Köster, Frank Contributions of the EU Projects UnCoVerCPS and Enable-S3 to Highly Automated Driving in Conflict Situations AAET 2019 German Aerospace Center (DLR)
78 Kurt Pichler, Sandra Haindl, Daniel Reischl, Martin Trink Autonomous highway pilot using Bayesian networks and hidden Markov models Society for Imaging Science and Technology Linz Center of Mechatronics GmbH; Linz, Austria