Publications

No. Publication Type Author(s) Title Publisher (title/ name) Partners Link
1 Article in a journal ​L. Kulas Simple 2-D Direction-of-Arrival Estimation Using ESPAR Antenna IEEE Antennas and Wireless Propagation Letters vol. 16, pp. 2513-2516, 2017 GUT
2 Article in a journal T. Petříček T. Svoboda Point cloud registration from local feature correspondences---Evaluation on challenging datasets PLoS ONE 12(11): e018794 3, 2017 CTU
3 Article in a journal ​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 DTU
4 Article in a journal 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 TUG AIT AVL
5 Article in a journal 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 AIT
6 Article in a journal 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 ULPG
7 Article in a journal 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 AIT
8 Article in a journal ​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 GUT
9 Article in a journal 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 TUG AIT AVL
10 Article in a journal 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 Article in a journal 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 ULPG
12 Article in a journal 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 UCD
13 Article in conference proceedings (published) K. Zimmermann T. Petricek V. Salansky T. Svoboda Learning for Active 3D Mapping ICCV 2017 CTU
14 Article in conference proceedings (published) 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 DTU
15 Article in conference proceedings (published) ​​​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 SOTON
16 Article in conference proceedings (published) ​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 SOTON
17 Article in conference proceedings (published) ​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 Article in conference proceedings (published) 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 Article in conference proceedings (published) 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 AAU
20 Article in conference proceedings (published) 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 SOTON
21 Article in conference proceedings (published) 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
22 Article in conference proceedings (published) ​A. Pedro D. Pereira J. Sousa Pinto L. Miguel Pinho RMTLD Synthesis for Satisfiability Modulo Theories Springer 2018 ISEP
23 eJournal (from database) T. Fischer, C. Snook T. S. Hoang Formal Model Validation through Acceptance Tests University of Southampton pp. 14, 2018 DLR SOTON
24 Master Thesis ​R. Kastner Modellbildung und Simulation eines kooperativen Stauassistenten über ein Co-Simulationsframework Technische Universität Graz, 2017 TUG
25 Paper presented at conference 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
26 Paper presented at conference 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 TAT
27 Paper presented at conference ​L. Kulas Direction-of-Arrival Estimation Using an ESPAR Antenna with Simplified Beam Steering 47th European Microwave Conference (EuMC) pp. 1-4, 2017 GUT
28 Paper presented at conference 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) AAU
29 Paper presented at conference 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 UCD
30 Paper presented at conference 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
31 Paper presented at conference ​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 AIT
32 Paper presented at conference 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) UPM
33 Paper presented at conference ​S. Gerwinn E. Möhlmann A. Sieper Statistical Model Checking for Scenario-based Verification of ADAS Waschl H., Kolmanovsky I., Willems F. (eds) Control Strategies for Advanced Driver Assistance Systems and Autonomous Driving Functions. Lecture Notes in Control and Information Sciences vol. 476, pp. 67-87, 2017 OFFIS Limited Access
34 Paper presented at conference 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 GUT
35 Paper presented at conference 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 GUT
36 Paper presented at conference 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 SOTON THALES AU
37 Paper presented at conference ​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 SOTON
38 Paper presented at conference ​J. Epperlein R. Shorten, S. Zhuk Recovering Markov Models from Closed-Loop Data eprint arXiv:1706.06359 2017 IBM IE UCD
39 Paper presented at conference 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 FZI
40 Paper presented at conference ​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 GUT
41 Paper presented at conference 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
42 Paper presented at conference ​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 TUDA FZI DENSO TNO MAGMA HAGL
43 Paper presented at conference 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
44 Paper presented at conference 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 UCD
45 Paper presented at conference 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 ULPG TECNALIA FZI CREANEX
46 Paper presented at conference 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) AIT
47 Paper presented at conference ​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 ITI
48 Paper presented at conference 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 JKU
49 Paper presented at conference ​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 ITI
50 Paper presented at conference 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 ITI
51 Paper presented at conference 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 GUT
52 Paper presented at conference 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
53 Paper presented at conference M. Kneissl A. Molin, H. Esen S. Hirche A Feasible MPC-Based Negotiation Algorithm for Automated Intersection Crossing European Control Conference (ECC) 2018 DENSO
54 Paper presented at conference 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 TUDA FZI DENSO TNO MAGMA HAGL
55 Paper presented at conference ​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 LCM