Citations (42)
Keep up to date with the latest research on this topic with citation updates for this article.
Articles from other publishers (42)
Maike Schwammberger. (2018) An abstract model for proving safety of autonomous urban traffic. Theoretical Computer Science 744, pages 143-169.
Crossref
Crossref
Maike Schwammberger. (2018) Introducing Liveness into Multi-lane Spatial Logic lane change controllers using UPPAAL. Electronic Proceedings in Theoretical Computer Science 269, pages 17-31.
Crossref
Crossref
Mikael Asplund. (2018) Automatically proving the correctness of vehicle coordination. ICT Express 4:1, pages 51-54.
Crossref
Crossref
Jinesh M. Kannimoola, Bharat Jayaraman & Krishnashree Achuthan. 2018. Formal Methods for Safety and Security. Formal Methods for Safety and Security
41
52
.
Laurent Doyen, Goran Frehse, George J. Pappas & André Platzer. 2018. Handbook of Model Checking. Handbook of Model Checking
1047
1110
.
Ernst-Rüdiger Olderog. 2018. Symposium on Real-Time and Hybrid Systems. Symposium on Real-Time and Hybrid Systems
211
230
.
Maike Schwammberger. (2017) Imperfect Knowledge in Autonomous Urban Traffic Manoeuvres. Electronic Proceedings in Theoretical Computer Science 257, pages 59-74.
Crossref
Crossref
Gregor V. Bochmann, Martin Hilscher, Sven Linker & Ernst-Rüdiger Olderog. (2017) Synthesizing and verifying controllers for multi-lane traffic maneuvers. Formal Aspects of Computing 29:4, pages 583-600.
Crossref
Crossref
Paulius Stankaitis & Alexei Iliasov. 2017. Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification. Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
241
250
.
Martin Hilscher & Maike Schwammberger. 2016. Theoretical Aspects of Computing ? ICTAC 2016. Theoretical Aspects of Computing ? ICTAC 2016
274
292
.
Gregor v. Bochmann, Martin Hilscher, Sven Linker & Ernst-Rüdiger Olderog. 2015. Dependable Software Engineering: Theories, Tools, and Applications. Dependable Software Engineering: Theories, Tools, and Applications
71
86
.
André Platzer. 2015. Correct System Design. Correct System Design
5
9
.
Martin Hilscher, Sven Linker & Ernst-Rüdiger Olderog. 2013. Theories of Programming and Formal Methods. Theories of Programming and Formal Methods
196
212
.
Tetsuya Mizutani & Shigeru Igarashi. (2012) Formalization of a realtime person-computer ensemble system with an effective matching algorithm. Formalization of a realtime person-computer ensemble system with an effective matching algorithm.
Mikael Asplund, Atif Manzoor, Mélanie Bouroche, Siobhàn Clarke & Vinny Cahill. 2012. FM 2012: Formal Methods. FM 2012: Formal Methods
52
67
.
Sarah M. Loos & Andre Platzer. (2011) Safe intersections: At the crossing of hybrid systems and verification. Safe intersections: At the crossing of hybrid systems and verification.
Martin Hilscher, Sven Linker, Ernst-Rüdiger Olderog & Anders P. Ravn. 2011. Formal Methods and Software Engineering. Formal Methods and Software Engineering
404
419
.
David W. Renshaw, Sarah M. Loos & André Platzer. 2011. Formal Methods and Software Engineering. Formal Methods and Software Engineering
356
371
.
Tetsuya Mizutani, Keita Nishiyama & Shigeru Igarashi. 2011. Artificial Intelligence and Computational Intelligence. Artificial Intelligence and Computational Intelligence
9
17
.
Sarah M. Loos, André Platzer & Ligia Nistor. 2011. FM 2011: Formal Methods. FM 2011: Formal Methods
42
56
.
C. Ou-Yang & Yeh-Chun Juan. (2010) Applying process mining approach to support the verification of a multi-agent system. Journal of Systems Science and Systems Engineering 19:2, pages 131-149.
Crossref
Crossref
Tetsuya Mizutani, Shigeru Igarashi, Tatsuo Suzuki, Yasuwo Ikeda & Masayuki Shio. 2010. Artificial Intelligence and Computational Intelligence. Artificial Intelligence and Computational Intelligence
256
265
.
Johannes Faber. 2010. Integrated Formal Methods. Integrated Formal Methods
136
151
.
André PlatzerAndré Platzer. 2010. Logical Analysis of Hybrid Systems. Logical Analysis of Hybrid Systems
203
230
.
André PlatzerAndré Platzer. 2010. Logical Analysis of Hybrid Systems. Logical Analysis of Hybrid Systems
33
122
.
André PlatzerAndré Platzer. 2010. Logical Analysis of Hybrid Systems. Logical Analysis of Hybrid Systems
1
29
.
Y. Ikeda, T. Mizutani & M. Shio. (2009) Formal System and Semantics of NΣ-Labeled Calculus. Formal System and Semantics of NΣ-Labeled Calculus.
André Platzer & Edmund M. Clarke. (2009) Computing differential invariants of hybrid systems as fixedpoints. Formal Methods in System Design 35:1, pages 98-120.
Crossref
Crossref
Tetsuya Mizutani, Shigeru Igarashi, Yasuwo Ikeda & Masayuki Shio. (2009) Formal Representation and Analysis of a Near Miss Accident in N Sigma-labeled Calculus. Formal Representation and Analysis of a Near Miss Accident in N Sigma-labeled Calculus.
Tianhua Xu, Tao Tang, Chunhai Gao & Baigen Cai. (2009) Logic verification of Collision Avoidance System in train control systems. Logic verification of Collision Avoidance System in train control systems.
Tetsuya Mizutani, Shigeru Igarashi, Yasuwo Ikeda & Masayuki Shio. 2009. Artificial Intelligence and Computational Intelligence. Artificial Intelligence and Computational Intelligence
469
478
.
C. Ou-Yang, Yeh-Chun Juan & C. S. Li. 2009. Global Perspective for Competitive Enterprise, Economy and Ecology. Global Perspective for Competitive Enterprise, Economy and Ecology
93
103
.
André Platzer. (2008) Differential Dynamic Logic for Hybrid Systems. Journal of Automated Reasoning 41:2, pages 143-189.
Crossref
Crossref
Tetsuya Mizutani, Shigeru Igarashi, Masayuki Shio & Yasuwo Ikeda. (2008) Human factors in continuous time-concerned cooperative systems represented by NΣ-labeled calculus. Frontiers of Computer Science in China 2:1, pages 22-28.
Crossref
Crossref
Jian Zhang, Wenhui Zhang, Naijun Zhan, Yidong Shen, Haiming Chen, Yunquan Zhang, Yongji Wang, Enhua Wu, Hongan Wang & Xueyang Zhu. (2008) Basic research in computer science and software engineering at SKLCS. Frontiers of Computer Science in China 2:1, pages 1-11.
Crossref
Crossref
André Platzer & Jan-David Quesel. 2008. Hybrid Systems: Computation and Control. Hybrid Systems: Computation and Control
646
649
.
Andr? Platzer. (2007) Towards a Hybrid Dynamic Logic for Hybrid Dynamic Systems. Electronic Notes in Theoretical Computer Science 174:6, pages 63-77.
Crossref
Crossref
WERNER DAMM, GUILHERME PINTO & STEFAN RATSCHAN. (2011) GUARANTEED TERMINATION IN THE VERIFICATION OF LTL PROPERTIES OF NON-LINEAR ROBUST DISCRETE TIME HYBRID SYSTEMS. International Journal of Foundations of Computer Science 18:01, pages 63-86.
Crossref
Crossref
Werner Damm, Alfred Mikschl, Jens Oehlerking, Ernst-Rüdiger Olderog, Jun Pang, André Platzer, Marc Segelken & Boris Wirtz. 2007. Formal Methods and Hybrid Real-Time Systems. Formal Methods and Hybrid Real-Time Systems
115
169
.
John Knudsen, Anders P. Ravn & Arne Skou. 2007. Formal Methods and Hybrid Real-Time Systems. Formal Methods and Hybrid Real-Time Systems
399
413
.
André Platzer. 2007. Hybrid Systems: Computation and Control. Hybrid Systems: Computation and Control
746
749
.
Tetsuya Mizutani, Shigeru Igarashi, Yasuwo Ikeda & Masayuki Shio. 2006. Artificial Intelligence and Symbolic Computation. Artificial Intelligence and Symbolic Computation
25
39
.