default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID14th IFM 2018: Maynooth, Ireland
- Carlo A. Furia, Kirsten Winter:
Integrated Formal Methods - 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings. Lecture Notes in Computer Science 11023, Springer 2018, ISBN 978-3-319-98937-2 - Ana Cavalcanti
, Alvaro Miyazawa, Augusto Sampaio, Wei Li, Pedro Ribeiro, Jon Timmis:
Modelling and Verification for Swarm Robotics. 1-19 - Davide Basile, Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Andrea Piattino, Daniele Trentini, Alessio Ferrari:
On the Industrial Uptake of Formal Methods in the Railway Domain - A Survey with Stakeholders. 20-29 - Jan Boerman, Marieke Huisman, Sebastiaan J. C. Joosten:
Reasoning About JML: Differences Between KeY and OpenJML. 30-46 - Dimitri Bohlender, Stefan Kowalewski:
Design and Verification of Restart-Robust Industrial Control Software. 47-68 - Zheng Cheng, Jean-Claude Royer, Massimo Tisi:
Efficiently Characterizing the Undefined Requests of a Rule-Based System. 69-88 - Marko Dimjasevic, Falk Howar, Kasper Søe Luckow, Zvonimir Rakamaric:
Study of Integrating Random and Symbolic Testing for Object-Oriented Software. 89-109 - Simon Doherty, Brijesh Dongol, Heike Wehrheim, John Derrick:
Making Linearizability Compositional for Partially Ordered Executions. 110-129 - Daniel J. Dougherty, Joshua D. Guttman, John D. Ramsdell:
Security Protocol Analysis in Context: Computing Minimal Executions Using SMT and CPSA. 130-150 - Johannes Eriksson, Masoumeh Parsa, Ralph-Johan Back:
A Precise Pictorial Language for Array Invariants. 151-160 - Marie Farrell, Matt Luckcuck, Michael Fisher:
Robotics and Integrated Formal Methods: Necessity Meets Opportunity. 161-171 - Vashti Galpin:
Formal Modelling of Software Defined Networking. 172-193 - Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf, Lars Tveito:
Resource-Aware Virtually Timed Ambients. 194-213 - Eduard Kamburjan, Tzu-Chun Chen:
Stateful Behavioral Types for Active Objects. 214-235 - Eun-Young Kang, Dongrui Mu, Li Huang:
Probabilistic Verification of Timing Constraints in Automotive Systems Using UPPAAL-SMC. 236-254 - Salwa Kobeissi, Adnan Utayim, Mohamad Jaber, Yliès Falcone:
Facilitating the Implementation of Distributed Systems with Heterogeneous Interactions. 255-274 - Philipp Körner, Michael Leuschel, Jeroen Meijer:
State-of-the-Art Model Checking for B and Event-B Using ProB and LTSmin. 275-295 - Ruggero Lanotte, Massimo Merro, Simone Tini:
Towards a Formal Notion of Impact Metric for Cyber-Physical Attacks. 296-315 - Francesco Leofante, Erika Ábrahám, Armando Tacchella:
Task Planning with OMT: An Application to Production Logistics. 316-325 - Huu-Vu Nguyen, Tayssir Touili:
Branching Temporal Logic of Calls and Returns for Pushdown Systems. 326-345 - Joshua Schmidt, Sebastian Krings, Michael Leuschel:
Repair and Generation of Formal Models Using Synthesis. 346-366 - Hendrik Simon, Stefan Kowalewski:
Mode-Aware Concolic Testing for PLC Software - Special Session "Formal Methods for the Design and Analysis of Automated Production Systems". 367-376 - Steve Jeffrey Tueno Fotso, Marc Frappier, Régine Laleau, Amel Mammar, Michael Leuschel:
Formalisation of SysML/KAOS Goal Assignments with B System Component Decompositions. 377-397 - Rob J. van Glabbeek, Peter Höfner, Djurre van der Wal:
Analysing AWN-Specifications Using mCRL2 (Extended Abstract). 398-418
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.
last updated on 2026-07-19 01:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
