| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Matthias Raffelsieper, Mohammad Reza Mousavi |
Symbolic Power Analysis of Cell Libraries.  |
FMICS  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Joost-Pieter Katoen |
Towards Trustworthy Aerospace Systems: An Experience Report. |
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 | Joachim Klein, 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 | 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 | Ilyas Daskaya, Michaela Huhn, Stefan Milius |
Formal Safety Analysis in Industrial Practice. |
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 | Ahmed Shah Mashiyat, Fazle Rabbi, Wendy MacCaull |
Modeling and Verifying Timed Compensable Workflows and an Application to Health Care. |
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 | 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 | 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 | 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 | 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 | 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 | Leonardo Mendonça de Moura |
Satisfiability at Microsoft. |
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 | Etienne Lantreibecq, Wendelin Serwe |
Model Checking and Co-simulation of a Dynamic Task Dispatcher Circuit Using CADP. |
FMICS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Aldini, Marco Bernardo, Jeremy Sproston |
Performability Measure Specification: Combining CSRL and MSL. |
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 | Jörg Brauer, Andy King, Stefan Kowalewski |
Range Analysis of Microcontroller Code Using Bit-Level Congruences. |
FMICS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexei Iliasov, Elena Troubitsyna, Linas Laibinis, Alexander Romanovsky, Kimmo Varpaaniemi, Dubravka Ilic, Timo Latvala |
Developing Mode-Rich Satellite Software by Refinement in Event B. |
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 | Despo Galataki, Andrei Radulescu, Kees Verstoep, Wan Fokkink |
Embedded Network Protocols for Mobile Devices. |
FMICS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Ferrari, Daniele Grasso, Gianluca Magnani, Alessandro Fantechi, Matteo Tempestini |
The Metrô Rio ATP Case Study. |
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 | Ahmed Shah Mashiyat, Fazle Rabbi, Hao Wang, Wendy MacCaull |
An Automated Translator for Model Checking Time Constrained Workflow Systems. |
FMICS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeremy W. Bryans, Wei Wei |
Formal Analysis of BPMN Models Using Event-B. |
FMICS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Werner, David Faragó |
Correctness of Sensor Network Applications by Software Bounded Model Checking. |
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 | Radu Mateescu, Wendelin Serwe |
A Study of Shared-Memory Mutual Exclusion Protocols Using CADP. |
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 | Wilfried Steiner, Bruno Dutertre |
SMT-Based Formal Verification of a TTEthernet Synchronization Function. |
FMICS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Kern, Javier Esparza |
Automatic Error Correction of Java Programs. |
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 | 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 | Ángel Herranz-Nieva, Julio Mariño, Manuel Carro, Juan José Moreno-Navarro |
Modeling Concurrent Systems with Shared Resources. |
FMICS |
2009 |
DBLP DOI BibTeX RDF |
Verification, Concurrency, Validation, Shared resource |
| 1 | Dino Distefano |
Attacking Large Industrial Code with Bi-abductive Inference. |
FMICS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Dragan Bosnacki, Aad Mathijssen, Yaroslav S. Usenko |
Behavioural Analysis of an I2C Linux Driver. |
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 | 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 | Alessio Ferrari, Alessandro Fantechi, Stefano Bacherini, Niccolò Zingoni |
Formal Development for Railway Signaling Using Commercial Tools. |
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 | Kenneth L. McMillan |
What's in Common between Test, Model Checking, and Decision Procedures? |
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 | 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 | Matthias Raffelsieper, Mohammad Reza Mousavi, Jan-Willem Roorda, Chris W. H. Strolenberg, Hans Zantema |
Formal Analysis of Non-determinism in Verilog Cell Library Simulation Models. |
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 | 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 | María-del-Mar Gallardo, Pedro Merino, Laura Panizo, Antonio Linares |
Developing a Decision Support Tool for Dam Management with SPIN. |
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 | Erik Schierboom, Alejandro Tamalet, Hendrik Tews, Marko C. J. D. van Eekelen, Sjaak Smetsers |
Preemption Abstraction. |
FMICS |
2009 |
DBLP DOI BibTeX RDF |
|
| 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 | Wojciech Mostowski, Erik Poll, Julien Schmaltz, Jan Tretmans, Ronny Wichers Schreur |
Model-Based Testing of Electronic Passports. |
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 Parizek, 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 |
| 1 | Sami Evangelista, Lars Michael Kristensen |
Dynamic State Space Partitioning for External Memory Model Checking. |
FMICS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Leue, Pedro Merino (eds.) |
Formal Methods for Industrial Critical Systems, 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers |
FMICS |
2008 |
DBLP BibTeX RDF |
|
| 1 | María Alpuente, Marco A. Feliú, Christophe Joubert, Alicia Villanueva |
Using Datalog and Boolean Equation Systems for Program Analysis. |
FMICS |
2008 |
DBLP DOI BibTeX RDF |
boolean equation system, demand-driven evaluation, program analysis, Datalog |
| 1 | Bernard van Gastel, Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen |
Reentrant Readers-Writers: A Case Study Combining Model Checking with Theorem Proving. |
FMICS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Alba-Castro, María Alpuente, Santiago Escobar |
Automated Certification of Non-Interference in Rewriting Logic. |
FMICS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiayong Hu, Mark Lawford, Alan Wassyng |
Formal Verification of the Implementability of Timing Requirements. |
FMICS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Guy Durrieu, Hélène Waeselynck, Virginie Wiels |
LETO - A Lustre-Based Test Oracle for Airbus Critical Systems. |
FMICS |
2008 |
DBLP DOI BibTeX RDF |
formal methods, automation, Test oracle, avionics |
| 1 | Virginia Papailiopoulou, Laya Madani, Lydie du Bousquet, Ioannis Parissis |
Extending Structural Test Coverage Criteria for Lustre Programs with Multi-clock Operators. |
FMICS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, Marco Roveri, Angelo Susi, Stefano Tonetta |
From Informal Requirements to Property-Driven Formal Validation. |
FMICS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Werner Damm |
Contract-Based Analysis of Automotive and Avionics Applications: The SPEEDS Approach. |
FMICS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Erzsébet Németh, Tamás Bartha |
Formal Verification of Safety Functions by Reinterpretation of Functional Block Based Specifications. |
FMICS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Rance Cleaveland |
Model-Based Verification of Automotive Control Software. |
FMICS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Fantechi, Alessio Ferrari |
Panel Discussion on Formal Methods in Commercial Software Development Tools. |
FMICS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiri Barnat, Lubos Brim, Stefan Edelkamp, Damian Sulewski, Pavel Simecek |
Can Flash Memory Help in Model Checking? |
FMICS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Colombo, Gordon J. Pace, Gerardo Schneider |
Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties. |
FMICS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | José Vander Meulen, Charles Pecheur |
Efficient Symbolic Model Checking for Process Algebras. |
FMICS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven P. Miller |
Formal Methods for Critical Systems. |
FMICS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska, Jana Tumova |
Local Quantitative LTL Model Checking. |
FMICS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Samuel Colin, Arnaud Lanoix, Olga Kouchnarenko, Jeanine Souquières |
Using CSP||B Components: Application to a Platoon of Vehicles. |
FMICS |
2008 |
DBLP DOI BibTeX RDF |
verification, formal methods, specification, case study, CSP, B, compositional modelling |
| 1 | Radek Pelánek |
Fighting State Space Explosion: Review and Evaluation. |
FMICS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Sören Preibusch, Florian Kammüller |
Checking the TWIN Elevator System by Translating Object-Z to SMV. |
FMICS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mauricio Alba-Castro, María Alpuente, Santiago Escobar |
Automatic Certification of Java Source Code in Rewriting Logic. |
FMICS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Palmer, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby |
An Approach to Formalization and Analysis of Message Passing Libraries. |
FMICS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael W. Whalen, Darren D. Cofer, Steven P. Miller, Bruce H. Krogh, Walter Storm |
Integration of Formal Analysis into a Model-Based Software Development Process. |
FMICS |
2007 |
DBLP DOI BibTeX RDF |
Model checking, software verification, Model-based development, Flight control |
| 1 | Alexandra Desmoulin, César Viho |
Automatic Interoperability Test Case Generation Based on Formal Definitions. |
FMICS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Murali Rangarajan, Darren D. Cofer |
Computing Worst-Case Response Times in Real-Time Avionics Applications. |
FMICS |
2007 |
DBLP DOI BibTeX RDF |
Model checking, real-time, software verification, flight control |
| 1 | Gérard Berry |
Synchronous Design and Verification of Critical Embedded Systems Using SCADE and Esterel. |
FMICS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Goubault, Sylvie Putot, Philippe Baufreton, Jean Gassino |
Static Analysis of the Accuracy in Control Systems: Principles and Experiments. |
FMICS |
2007 |
DBLP DOI BibTeX RDF |
Static analysis, control systems, floating-point computations |
| 1 | Radek Pelánek |
Model Classifications and Automated Verification. |
FMICS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonard Lensink, Sjaak Smetsers, Marko C. J. D. van Eekelen |
Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization. |
FMICS |
2007 |
DBLP DOI BibTeX RDF |
simulation, verification, theorem proving, PVS, cyclic scheduling |
| 1 | Marko C. J. D. van Eekelen, Stefan ten Hoedt, René Schreurs, Yaroslav S. Usenko |
Analysis of a Session-Layer Protocol in mCRL2. |
FMICS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti |
An Action/State-Based Model-Checking Approach for the Analysis of Communication Protocols for Service-Oriented Applications. |
FMICS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars Gesellensetter, Sabine Glesner, Elke Salecker |
Formal Verification with Isabelle/HOL in Practice: Finding a Bug in the GCC Scheduler. |
FMICS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Lionel van den Berg, Paul A. Strooper, Kirsten Winter |
Introducing Time in an Industrial Application of Model-Checking. |
FMICS |
2007 |
DBLP DOI BibTeX RDF |
real-time system, model checking, railway interlockings |
| 1 | Charles Pecheur |
Verification of Embedded Software: From Mars to Actions. |
FMICS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana C. R. Paiva, João C. P. Faria, Pedro M. C. Mendes |
Reverse Engineered Formal Models for GUI Testing. |
FMICS |
2007 |
DBLP DOI BibTeX RDF |
model-based GUI testing, Reverse engineering |
| 1 | Bastian Schlich, Jann Löll, Stefan Kowalewski |
Application of Static Analyses for State Space Reduction to Microcontroller Assembly Code. |
FMICS |
2007 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")