default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID20th FMICS 2015: Oslo, Norway
- Manuel Núñez
, Matthias Güdemann:
Formal Methods for Industrial Critical Systems - 20th International Workshop, FMICS 2015, Oslo, Norway, June 22-23, 2015 Proceedings. Lecture Notes in Computer Science 9128, Springer 2015, ISBN 978-3-319-19457-8 - Marielle Petit-Doche, Nicolas Breton, Roméo Courbis, Yoann Fonteneau, Matthias Güdemann:
Formal Verification of Industrial Critical Software. 1-11
Applications
- Allan Blanchard, Nikolai Kosmatov, Matthieu Lemerre, Frédéric Loulergue:
A Case Study on Formal Verification of the Anaxagoros Hypervisor Paging System with Frama-C. 15-30 - Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot:
Intra-procedural Optimization of the Numerical Accuracy of Programs. 31-46 - Jin Hyun Kim, Kim G. Larsen, Brian Nielsen, Marius Mikucionis, Petur Olsen:
Formal Analysis and Testing of Real-Time Automotive Systems Using UPPAAL Tools. 47-61 - Peter Schrammel, Daniel Kroening, Martin Brain, Ruben Martins, Tino Teige, Tom Bienmüller:
Successful Use of Incremental BMC in the Automotive Industry. 62-77
Protocols
- Valentín Valero, Hermenegilda Macià, Gregorio Díaz, María-Emilia Cambronero:
Colored Petri Net Modeling of the Publish/Subscribe Paradigm in the Context of Web Services Resources. 81-95 - Kaylash Chaudhary, Ansgar Fehnker:
Model Checking a Server-Side Micro Payment Protocol. 96-110
Specification and Analysis
- Bernhard K. Aichernig, Klaus Hörmaier, Florian Lorber, Dejan Nickovic, Stefan Tiran:
Require, Test and Trace IT. 113-127 - Sunil Chaudhary, Linfeng Li, Eleni Berki, Marko Helenius, Juha Kela, Markku Turunen:
Applying Finite State Process Algebra to Formally Specify a Computational Model of Security Requirements in the Key2phone-Mobile Access Solution. 128-145 - Bogdan Aman, Gabriel Ciobanu:
Timed Mobility and Timed Communication for Critical Systems. 146-161 - Umair Siddique, Sidi Mohamed Beillahi, Sofiène Tahar:
On the Formal Analysis of Photonic Signal Processing Systems. 162-177
Verification
- Jaco C. van de Pol:
Automated Verification of Nested DFS. 181-197 - Mohamed Yousri Mahmoud, Prakash Panangaden, Sofiène Tahar:
On the Formal Verification of Optical Quantum Gates in HOL. 198-211
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-06-20 00:07 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 and maintained by:
the dblp computer science bibliography is funded and supported by:
