Search results for "FMICS"

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

Publications at "FMICS"( http://dblp.L3S.de/Venues/FMICS )