Integrating Neurophysiological Sensors and Driver Models for Safe and Performant Automated Vehicle Control in Mixed Traffic
Damm, W., Franzle, M., Ludtke, A., Rieger, J. W., Trende, A., Unni, A.
Published in 2019 IEEE Intelligent Vehicles Symposium (IV) (01.06.2019)
Published in 2019 IEEE Intelligent Vehicles Symposium (IV) (01.06.2019)
Get full text
Conference Proceeding
Proof certificates and non-linear arithmetic constraints
Kupferschmid, S, Becker, B, Teige, T, Franzle, M
Published in 14th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (01.04.2011)
Published in 14th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems (01.04.2011)
Get full text
Conference Proceeding
A generalized notion of semantic independence
Fränzle, Martin, von Stengel, Bernhard, Wittmüss, Arne
Published in Information processing letters (13.01.1995)
Published in Information processing letters (13.01.1995)
Get full text
Journal Article
A Symbolic Decision Procedure for Robust Safety of Timed Systems
Swaminathan, M., Franzle, M.
Published in 14th International Symposium on Temporal Representation and Reasoning (TIME'07) (01.06.2007)
Published in 14th International Symposium on Temporal Representation and Reasoning (TIME'07) (01.06.2007)
Get full text
Conference Proceeding
Model Checking Delay Differential Equations Against Metric Interval Temporal Logic
Mosaad, Peter Nazier, Fränzle, Martin, Xue, Bai
Published in Scientific annals of computer science (01.01.2017)
Published in Scientific annals of computer science (01.01.2017)
Get full text
Journal Article
Analysis of Hybrid Systems Using HySAT
Herde, C., Eggers, A., Franzle, M., Teige, T.
Published in Third International Conference on Systems (icons 2008) (01.04.2008)
Published in Third International Conference on Systems (icons 2008) (01.04.2008)
Get full text
Conference Proceeding
Efficient Model Checking for Duration Calculus Based on Branching-Time Approximations
Franzle, M., Hansen, M.R.
Published in 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods (01.11.2008)
Published in 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods (01.11.2008)
Get full text
Conference Proceeding
Poster: A hybrid MAC scheme for emergency systems in urban VANETs environment
Khan, Saifullah, Alam, Muhammad, Mullner, Nils, Franzle, Martin
Published in 2016 IEEE Vehicular Networking Conference (VNC) (01.12.2016)
Published in 2016 IEEE Vehicular Networking Conference (VNC) (01.12.2016)
Get full text
Conference Proceeding
Developing Correct Systems
Bowen, J., Olderog, E.-R., Franzle, M., Ravin, A.P.
Published in Fifth Euromicro Workshop on Real-Time Systems (1993)
Published in Fifth Euromicro Workshop on Real-Time Systems (1993)
Get full text
Conference Proceeding