Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Manuel Núñez 0001, Matthias Güdemann (eds.) |
Formal Methods for Industrial Critical Systems - 20th International Workshop, FMICS 2015, Oslo, Norway, June 22-23, 2015 Proceedings |
FMICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot |
Intra-procedural Optimization of the Numerical Accuracy of Programs. |
FMICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | 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. |
FMICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Umair Siddique, Sidi Mohamed Beillahi, Sofiène Tahar |
On the Formal Analysis of Photonic Signal Processing Systems. |
FMICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Valentín Valero, Hermenegilda Macià, Gregorio Díaz 0001, María-Emilia Cambronero |
Colored Petri Net Modeling of the Publish/Subscribe Paradigm in the Context of Web Services Resources. |
FMICS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ugo Gentile, Stefano Marrone 0001, Gianluca Mele, Roberto Nardone, Adriano Peron |
Test Specification Patterns for Automatic Generation of Test Sequences. |
FMICS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Sandrine Blazy, David Bühler, Boris Yakobowski |
Improving Static Analyses of C Programs with Conditional Predicates. |
FMICS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Paul Fiterau-Brostean, Ramon Janssen, Frits W. Vaandrager |
Learning Fragments of the TCP Network Protocol. |
FMICS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Pontus Boström, Petr Alexeev, Mikko Heikkilä, Mikko Huova, Marina Waldén, Matti Linjama |
Analysis of Real-Time Properties of a Digital Hydraulic Power Management System. |
FMICS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Henning Basold, Henning Günther, Michaela Huhn, Stefan Milius |
An Open Alternative for SMT-Based Verification of Scade Models. |
FMICS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Thang Nguyen 0007, Dejan Nickovic |
Assertion-Based Monitoring in Practice - Checking Correctness of an Automotive Sensor Interface. |
FMICS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Lang, Francesco Flammini (eds.) |
Formal Methods for Industrial Critical Systems - 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014. Proceedings |
FMICS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Zhen Zhang 0006, Wendelin Serwe, Jian Wu, Tomohiro Yoneda, Hao Zheng 0001, Chris J. Myers |
Formal Analysis of a Fault-Tolerant Routing Algorithm for a Network-on-Chip. |
FMICS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Bonacchi 0001, Alessandro Fantechi |
On the Validation of an Interlocking System by Model-Checking. |
FMICS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Brian Campbell 0001, Ian Stark |
Randomised Testing of a Microprocessor Model Using SMT-Solver State Generation. |
FMICS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Franco Mazzanti, Giorgio Oronzo Spagnolo, Simone Della Longa, Alessio Ferrari 0001 |
Deadlock Avoidance in Train Scheduling: A Model Checking Approach. |
FMICS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Muhammad Ahmad, Osman Hasan |
Formal Verification of Steady-State Errors in Unity-Feedback Control Systems. |
FMICS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Lars Lockefeer, David M. Williams, Wan J. Fokkink |
Formal Specification and Verification of TCP Extended with the Window Scale Option. |
FMICS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Christian Ellen, Sven Sieverding, Hardi Hungar |
Detecting Consistencies and Inconsistencies of Pattern-Based Functional Requirements. |
FMICS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Hallstein Asheim Hansen |
HyRev: A Tool for the Automatic Generation of Real-Time Routines for Enabling Fail-Safe Control in a Class of Safety-Critical Embedded Systems Using Backwards Reachability Analysis. |
FMICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Hélène Leroux, Karen Godary-Dejean, David Andreu 0001 |
Complex Digital System Design: A Methodology and Its Application to Medical Implants. |
FMICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Paul B. Jackson, Florian Schanda, Angela Wallenburg |
Auditing User-Provided Axioms in Software Verification Conditions. |
FMICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Biallas, Mirco Giacobbe, Stefan Kowalewski |
Predicate Abstraction for Programmable Logic Controllers. |
FMICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Abderahman Kriouile, Wendelin Serwe |
Formal Analysis of the ACE Specification for Cache Coherent Systems-on-Chip. |
FMICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Adrien Champion, Rémi Delmas, Michael Dierkes, Pierre-Loïc Garoche, Romain Jobredeaux, Pierre Roux |
Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-linear and Linear Analyses. |
FMICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Charles Pecheur, Michael Dierkes (eds.) |
Formal Methods for Industrial Critical Systems - 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings |
FMICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Zengler, Wolfgang Küchlin |
Boolean Quantifier Elimination for Automotive Configuration - A Case Study. |
FMICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Jennifer A. Davis, Matthew A. Clark 0001, Darren D. Cofer, Aaron Fifarek, Jacob Hinchman, Jonathan A. Hoffman, Brian W. Hulbert, Steven P. Miller, Lucas G. Wagner |
Study on the Barriers to the Industrial Adoption of Formal Methods. |
FMICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Laurence Pierre, Fabrice Pancher, Rodolphe Suescun, Jérôme Quévremont |
On the Effectiveness of Assertion-Based Verification in an Industrial Context. |
FMICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Adil Khurram, Haider Ali, Arham Tariq, Osman Hasan |
Formal Reliability Analysis of Protective Relays in Power Distribution Systems. |
FMICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Darren Sexton |
An Outline Workflow for Practical Formal Verification from Software Requirements to Object Code. |
FMICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Aurel Randolph, Abdessamad Imine, Hanifa Boucheneb, Alejandro Quintero |
Specification and Verification Using Alloy of Optimistic Access Control for Distributed Collaborative Editors. |
FMICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Christophe Ponsard, Jean-Christophe Deprez, Renaud De Landtsheer |
High-Level Guidance for Managers Deploying Formal Methods in Their Organisation. |
FMICS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Victor Bandur, Wolfram Kahl, Alan Wassyng |
Microcontroller Assembly Synthesis from Timed Automaton Task Specifications. |
FMICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Luca Ferrucci, Dino Mandrioli, Angelo Morzenti, Matteo Rossi 0001 |
Modular Automated Verification of Flexible Manufacturing Systems with Metric Temporal Logic and Non-Standard Analysis. |
FMICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jiri Barnat, Jan Beran, Lubos Brim, Tomas Kratochvila, Petr Rockai |
Tool Chain to Support Automated Formal Verification of Avionics Simulink Designs. |
FMICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Elvira Albert, Bjarte M. Østvold, José Miguel Rojas |
Automated Extraction of Abstract Behavioural Models from JMS Applications. |
FMICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Vlad Popa, Wolfgang Schwitzer |
Optimizing the Robustness of Software against Communication Latencies in Distributed Reactive Embedded Systems. |
FMICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Nouha Abid, Silvano Dal-Zilio, Didier Le Botlan |
Real-Time Specification Patterns and Tools. |
FMICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Nicholas Ayache, Roberto M. Amadio, Yann Régis-Gianas |
Certifying and Reasoning on Cost Annotations in C Programs. |
FMICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Edd Barrett, Andy King |
Range Analysis of Binaries with Minimal Effort. |
FMICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Konrad Siek, Pawel T. Wojciechowski |
A Formal Design of a Tool for Static Analysis of Upper Bounds on Object Calls in Java. |
FMICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jiri Slaby, Jan Strejcek, Marek Trtík |
Checking Properties Described by State Machines: On Synergy of Instrumentation, Slicing, and Symbolic Execution. |
FMICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Loïc Correnson, Julien Signoles |
Combining Analyses for C Program Verification. |
FMICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein 0001, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp |
Waiting for Locks: How Long Does It Usually Take? |
FMICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Rainer Droste, Christoph Läsche, Cilli Sobiech, Eckard Böde, Axel Hahn |
Model-Based Risk Assessment Supporting Development of HSE Plans for Safe Offshore Operations. |
FMICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mariëlle Stoelinga, Ralf Pinger (eds.) |
Formal Methods for Industrial Critical Systems - 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings |
FMICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sjoerd Cranen |
Model Checking the FlexRay Startup Phase. |
FMICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Aldini, Marco Bernardo 0001, Jeremy Sproston |
Performability Measure Specification: Combining CSRL and MSL. |
FMICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Gwen Salaün, Bernhard Schätz (eds.) |
Formal Methods for Industrial Critical Systems - 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings |
FMICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Leonardo Mendonça de Moura |
Satisfiability at Microsoft. |
FMICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Raffelsieper, Mohammad Reza Mousavi 0001 |
Symbolic Power Analysis of Cell Libraries. |
FMICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Luca Ferro, Laurence Pierre, Zeineb Bel Hadj Amor, Jérôme Lachaize, Vincent Lefftz |
Runtime Verification of Typical Requirements for a Space Critical SoC Platform. |
FMICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Néstor Cataño, Ijaz Ahmed |
Lightweight Verification of a Multi-Task Threaded Server: A Case Study With The Plural Tool. |
FMICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Marten Sijtema, Mariëlle Stoelinga, Axel Belinfante, Lawrence Marinelli |
Experiences with Formal Engineering: Model-Based Specification, Implementation and Testing of a Software Bus at Neopost. |
FMICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Etienne Lantreibecq, Wendelin Serwe |
Model Checking and Co-simulation of a Dynamic Task Dispatcher Circuit Using CADP. |
FMICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Côté, Benoît Fraikin, Marc Frappier, Richard St-Denis |
A SAT-Based Approach for the Construction of Reusable Control System Components. |
FMICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Michael Dierkes |
Formal Analysis of a Triplex Sensor Voter in an Industrial Context. |
FMICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ahmed Shah Mashiyat, Fazle Rabbi 0001, Wendy MacCaull |
Modeling and Verifying Timed Compensable Workflows and an Application to Health Care. |
FMICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ilyas Daskaya, Michaela Huhn, Stefan Milius |
Formal Safety Analysis in Industrial Practice. |
FMICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Büker, Werner Damm, Günter Ehmen, Ingo Stierand |
An Automated Semantic-Based Approach for Creating Tasks from Matlab Simulink Models. |
FMICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger, Stefan Kowalewski |
Past Time LTL Runtime Verification for Microcontroller Binary Code. |
FMICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Naghmeh Ghafari, Ramana Kumar, Jeff Joyce, Bernd Dehning, Christos Zamantzas |
Formal Verification of Real-Time Data Processing of the LHC Beam Loss Monitoring System: A Case Study. |
FMICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Joost-Pieter Katoen |
Towards Trustworthy Aerospace Systems: An Experience Report. |
FMICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Virginia Papailiopoulou, Ajitha Rajan, Ioannis Parissis |
Structural Test Coverage Criteria for Integration Testing of LUSTRE/SCADE Programs. |
FMICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Joachim Klein 0001, Sascha Klüppelholz, Andries Stam, Christel Baier |
Hierarchical Modeling and Formal Verification. An Industrial Case Study Using Reo and Vereofy. |
FMICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Frank P. M. Stappers, Michel A. Reniers, Sven Weber |
Transforming SOS Specifications to Linear Processes. |
FMICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Christian Kern, Javier Esparza |
Automatic Error Correction of Java Programs. |
FMICS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Ahmed Shah Mashiyat, Fazle Rabbi 0001, Hao Wang 0003, Wendy MacCaull |
An Automated Translator for Model Checking Time Constrained Workflow Systems. |
FMICS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jan Camenisch, Sebastian Mödersheim, Dieter Sommer |
A Formal Model of Identity Mixer. |
FMICS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Frank Werner 0004, David Faragó |
Correctness of Sensor Network Applications by Software Bounded Model Checking. |
FMICS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Alessio Ferrari 0001, Daniele Grasso, Gianluca Magnani, Alessandro Fantechi, Matteo Tempestini |
The Metrô Rio ATP Case Study. |
FMICS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Michael Altenhofen, Achim D. Brucker |
Practical Issues with Formal Specifications - Lessons Learned from an Industrial Case Study. |
FMICS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jörg Brauer, Andy King, Stefan Kowalewski |
Range Analysis of Microcontroller Code Using Bit-Level Congruences. |
FMICS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Michael Gerke 0002, Rüdiger Ehlers, Bernd Finkbeiner, Hans-Jörg Peter |
Model Checking the FlexRay Physical Layer Protocol. |
FMICS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Radu Mateescu 0001, Wendelin Serwe |
A Study of Shared-Memory Mutual Exclusion Protocols Using CADP. |
FMICS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander B. Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala |
Developing Mode-Rich Satellite Software by Refinement in Event B. |
FMICS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Despo Galataki, Andrei Radulescu, Kees Verstoep, Wan J. Fokkink |
Embedded Network Protocols for Mobile Devices. |
FMICS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jeremy W. Bryans, Wei Wei 0015 |
Formal Analysis of BPMN Models Using Event-B. |
FMICS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Lars Michael Kristensen, Michael Westergaard |
Automatic Structure-Based Code Generation from Coloured Petri Nets: A Proof of Concept. |
FMICS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Wilfried Steiner, Bruno Dutertre |
SMT-Based Formal Verification of a TTEthernet Synchronization Function. |
FMICS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Kowalewski, Marco Roveri (eds.) |
Formal Methods for Industrial Critical Systems - 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings |
FMICS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Alessio Ferrari 0001, Alessandro Fantechi, Stefano Bacherini, Niccolò Zingoni |
Formal Development for Railway Signaling Using Commercial Tools. |
FMICS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Nassima Izerrouken, Marc Pantel, Xavier Thirioux, Olivier Ssi Yan Kai |
Integrated Formal Approach for Qualified Critical Embedded Code Generator. |
FMICS |
2009 |
DBLP DOI BibTeX RDF |
formal verification, automatic code generator, qualification, Coq proof assistant |
1 | Javier de Dios, Ricardo Peña-Marí |
A Certified Implementation on Top of the Java Virtual Machine. |
FMICS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Kenneth J. Turner, Koon Leai Larry Tan |
A Rigorous Methodology for Composing Services. |
FMICS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | David Delmas, Eric Goubault, Sylvie Putot, Jean Souyris, Karim Tekkal, Franck Védrine |
Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software. |
FMICS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Rocco De Nicola, Diego Latella, Michele Loreti, Mieke Massink |
On a Uniform Framework for the Definition of Stochastic Process Languages. |
FMICS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Sami Evangelista, Lars Michael Kristensen |
Dynamic State Space Partitioning for External Memory Model Checking. |
FMICS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | María Alpuente, Byron Cook, Christophe Joubert (eds.) |
Formal Methods for Industrial Critical Systems, 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings |
FMICS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Kenneth L. McMillan |
What's in Common between Test, Model Checking, and Decision Procedures? |
FMICS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Darren D. Cofer, Alessandro Fantechi (eds.) |
Formal Methods for Industrial Critical Systems, 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers |
FMICS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Lukas Ladenberger, Jens Bendisposto, Michael Leuschel |
Visualising Event-B Models with B-Motion Studio. |
FMICS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Wojciech Mostowski, Erik Poll, Julien Schmaltz, Jan Tretmans, Ronny Wichers Schreur |
Model-Based Testing of Electronic Passports. |
FMICS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Erik Schierboom, Alejandro Tamalet, Hendrik Tews, Marko C. J. D. van Eekelen, Sjaak Smetsers |
Preemption Abstraction. |
FMICS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Thierry Lecomte |
Applying a Formal Method in Industry: A 15-Year Trajectory. |
FMICS |
2009 |
DBLP DOI BibTeX RDF |
B formal method, deployment, industry |
1 | Dino Distefano |
Attacking Large Industrial Code with Bi-abductive Inference. |
FMICS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | José Bacelar Almeida, Manuel Barbosa, Jorge Sousa Pinto, Bárbara Vieira |
Verifying Cryptographic Software Correctness with Respect to Reference Implementations. |
FMICS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Alwyn Goodloe, César A. Muñoz |
Compositional Verification of a Communication Protocol for a Remotely Operated Vehicle. |
FMICS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Pavel Parízek, Tomas Kalibera |
Platform-Specific Restrictions on Concurrency in Model Checking of Java Programs. |
FMICS |
2009 |
DBLP DOI BibTeX RDF |
restrictions of concurrency, model checking, embedded systems, Java programs, state explosion |