![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
23rd FMICS 2018: Maynooth, Ireland
- Falk Howar
, Jiri Barnat:
Formal Methods for Industrial Critical Systems - 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings. Lecture Notes in Computer Science 11119, Springer 2018, ISBN 978-3-030-00243-5
Invited Talks
- Tiziana Margaria:
Generative Model Driven Design for Agile System Design and Evolution: A Tale of Two Worlds. 3-18 - Susanne Graf, Sophie Quinton, Alain Girault, Gregor Gößler:
Building Correct Cyber-Physical Systems: Why We Need a Multiview Contract Theory. 19-31
Formal Methods for Industrial Critical Systems
- Martin Kölbl, Stefan Leue:
Automated Functional Safety Analysis of Automated Driving Systems. 35-51 - Alessandro Fantechi, Anne E. Haxthausen
:
Safety Interlocking as a Distributed Mutual Exclusion Problem. 52-66 - Jan Toennemann, Andreas Rausch, Falk Howar, Benjamin Cool:
Checking Consistency of Real-Time Requirements on Distributed Automotive Control Software Early in the Development Process Using UPPAAL. 67-82 - Panagiotis Kouvaros, Dimitrios Kouzapas, Anna Philippou, Julius Georgiou, Loukas Petrou
, Andreas Pitsillides:
Formal Verification of a Programmable Hypersurface. 83-97 - Maarten Bartholomeus, Bas Luttik, Tim A. C. Willemse:
Modelling and Analysing ERTMS Hybrid Level 3 with the mCRL2 Toolset. 98-114 - Antti Valmari
, Henri Hansen
:
Progress Checking for Dummies. 115-130 - Jan Steffen Becker:
Virtual Integration for Pattern-Based Contracts with the Kind2 Model Checker. 131-146 - Markus Frohme, Bernhard Steffen:
Active Mining of Document Type Definitions. 147-161 - David Huistra, Jeroen Meijer, Jaco van de Pol:
Adaptive Learning for Learn-Based Regression Testing. 162-177
Essays Dedicated to Susanne Graf on the Occasion of Her 60th Birthday
- Bernhard Steffen, Tiziana Margaria:
Predicate Abstraction and Such... 181-188 - Hubert Garavel, Frédéric Lang, Laurent Mounier:
Compositional Verification in Action. 189-210 - Gerald Lüttgen:
A Note on Refinement in Hierarchical Transition Systems. 211-222 - Bernhard Steffen, Alnis Murtovi:
M3C: Modal Meta Model Checking. 223-241 - Loic Gelle, Hassen Saïdi, Ashish Gehani:
Wholly!: A Build System For The Modern Software Stack. 242-257 - Delphine Beaulaton, Ioana Cristescu, Axel Legay, Jean Quilbeuf:
A Modeling Language for Security Threats of IoT Systems. 258-268 - Iulian Ober:
Revisiting Bounded Reachability Analysis of Timed Automata Based on MILP. 269-283 - Sophie Quinton:
Evaluation and Comparison of Real-Time Systems Analysis Methods and Tools. 284-290
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.