Search results for "FMICS"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Dragan Bosnacki, Aad Mathijssen, Yaroslav S. Usenko	Behavioural Analysis of an I2C Linux Driver.	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	María-del-Mar Gallardo, Pedro Merino 0001, Laura Panizo, Antonio Linares	Developing a Decision Support Tool for Dam Management with SPIN.	FMICS	2009	DBLP DOI BibTeX RDF
1	Matthias Raffelsieper, Mohammad Reza Mousavi 0001, 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	Christian Colombo 0001, Gordon J. Pace, Gerardo Schneider	Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties.	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	Radek Pelánek	Fighting State Space Explosion: Review and Evaluation.	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	Alessandro Fantechi, Alessio Ferrari 0001	Panel Discussion on Formal Methods in Commercial Software Development Tools.	FMICS	2008	DBLP DOI BibTeX RDF
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	José Vander Meulen, Charles Pecheur	Efficient Symbolic Model Checking for Process Algebras.	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	Stefan Leue, Pedro Merino 0001 (eds.)	Formal Methods for Industrial Critical Systems, 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers	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	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	Rance Cleaveland	Model-Based Verification of Automotive Control Software.	FMICS	2008	DBLP DOI BibTeX RDF
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	Jiri Barnat, Lubos Brim, Ivana Cerná, Milan Ceska 0002, Jana Tumova	Local Quantitative LTL Model Checking.	FMICS	2008	DBLP DOI BibTeX RDF
1	Steven P. Miller	Formal Methods for Critical Systems.	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	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	Mauricio Alba-Castro, María Alpuente, Santiago Escobar 0001	Automated Certification of Non-Interference in Rewriting Logic.	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	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	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	Sören Preibusch, Florian Kammüller	Checking the TWIN Elevator System by Translating Object-Z to SMV.	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	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	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	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
1	Alexandra Desmoulin, César Viho	Automatic Interoperability Test Case Generation Based on Formal Definitions.	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	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	Radek Pelánek	Model Classifications and Automated Verification.	FMICS	2007	DBLP DOI BibTeX RDF
1	Charles Pecheur	Verification of Embedded Software: From Mars to Actions.	FMICS	2007	DBLP DOI BibTeX RDF
1	Gérard Berry	Synchronous Design and Verification of Critical Embedded Systems Using SCADE and Esterel.	FMICS	2007	DBLP DOI BibTeX RDF
1	Mauricio Alba-Castro, María Alpuente, Santiago Escobar 0001	Automatic Certification of Java Source Code in Rewriting Logic.	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	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	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	Abdesselam Lakehal, Ioannis Parissis	Structural test coverage criteria for lustre programs.	FMICS	2005	DBLP DOI BibTeX RDF
1	Anton Wijs, Jaco van de Pol, Elena M. Bortnik	Solving scheduling problems by untimed model checking: the clinical chemical analyser case study.	FMICS	2005	DBLP DOI BibTeX RDF
1	Juan Bicarregui, Andrew Butterfield, Alvaro Arenas (eds.)	Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2004, Linz, Austria, September 20-21, 2004	FMICS	2005	DBLP BibTeX RDF
1	Tiziana Margaria, Mieke Massink (eds.)	Proceedings of the 10th international workshop on Formal methods for industrial critical systems, FMICS '05, Lisbon, Portugal, September 5-6, 2005	FMICS	2005	DBLP DOI BibTeX RDF
1	Elisabeth A. Strunk, Xiang Yin 0001, John C. Knight	Echo: a practical approach to formal verification.	FMICS	2005	DBLP DOI BibTeX RDF
1	Michele Banci, Alessandro Fantechi	Instantiating generic charts for railway interlocking systems.	FMICS	2005	DBLP DOI BibTeX RDF
1	Jonathan P. Bowen, Michael G. Hinchey	Ten commandments revisited: a ten-year perspective on the industrial application of formal methods.	FMICS	2005	DBLP DOI BibTeX RDF
1	Adrian J. Hilton, Jon G. Hall	Developing critical systems with PLD components.	FMICS	2005	DBLP DOI BibTeX RDF
1	Dang Van Hung	Toward a formal model for component interfaces for real-time systems.	FMICS	2005	DBLP DOI BibTeX RDF
1	Harald Raffelt, Bernhard Steffen, Therese Berg	LearnLib: a library for automata learning and experimentation.	FMICS	2005	DBLP DOI BibTeX RDF
1	Radu Mateescu 0001	On-the-fly state space reductions for weak equivalences.	FMICS	2005	DBLP DOI BibTeX RDF
1	Joni Helin, Pertti Kellomäki	Invariants come from templates.	FMICS	2005	DBLP DOI BibTeX RDF
1	Christel Baier, Frank Ciesinski, Marcus Größer	Quantitative analysis of distributed randomized protocols.	FMICS	2005	DBLP DOI BibTeX RDF
1	Thomas In der Rieden, Steffen Knapp	An approach to the pervasive formal specification and verification of an automotive system: status report.	FMICS	2005	DBLP DOI BibTeX RDF
1	Michael G. Hinchey, Christopher A. Rouff, James L. Rash, Walter Truszkowski	Requirements of an integrated formal method for intelligent swarms.	FMICS	2005	DBLP DOI BibTeX RDF
1	Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino 0001, David Sanán	Model checking software with well-defined APIs: the socket case.	FMICS	2005	DBLP DOI BibTeX RDF
1	Luís Andrade 0001	The experience of ATX with the application of formal/rigorous techniques and methods in real projects.	FMICS	2005	DBLP DOI BibTeX RDF
1	Jan Mikác, Paul Caspi	Flush: a system development tool based on scade/lustre.	FMICS	2005	DBLP DOI BibTeX RDF
1	Radek Pelánek, Tomás Hanzl, Ivana Cerná, Lubos Brim	Enhancing random walk state space exploration.	FMICS	2005	DBLP DOI BibTeX RDF
1	Michele Banci, Alessandro Fantechi	Geographical Versus Functional Modelling by Statecharts of Interlocking Systems.	FMICS	2004	DBLP DOI BibTeX RDF
1	Martin Fränzle, Christian Herde	Efficient Proof Engines for Bounded Model Checking of Hybrid Systems.	FMICS	2004	DBLP DOI BibTeX RDF
1	Anders Henriksson, Uwe Aßmann, James Hunt	Improving Software Quality in Safety-Critical Applications by Model-Driven Verification.	FMICS	2004	DBLP DOI BibTeX RDF
1	Juan Bicarregui, Andrew Butterfield, Alvaro Arenas	Preface.	FMICS	2004	DBLP DOI BibTeX RDF
1	Jérôme Hugues, Thomas Vergnaud, Laurent Pautet, Yann Thierry-Mieg, Souheib Baarir, Fabrice Kordon	On the Formal Verification of Middleware Behavioral Properties.	FMICS	2004	DBLP DOI BibTeX RDF
1	David Sinclair, James F. Power	Specifying and Verifying Communications Protocols using Mixed Intuitionistic Linear Logic.	FMICS	2004	DBLP DOI BibTeX RDF
1	Dieter Zöbel, David Polock, Andreas van Arkel	Testing for the Conformance of Real-time Protocols Implemented by Operating Systems.	FMICS	2004	DBLP DOI BibTeX RDF
1	Jacques Klein, Benoît Caillaud, Loïc Hélouët	Merging Scenarios.	FMICS	2004	DBLP DOI BibTeX RDF
1	Mustapha Bourahla, Mohamed Benmohamed	Analysis of Real-Time Systems with CTL Model Checkers.	FMICS	2004	DBLP DOI BibTeX RDF
1	Jiri Barnat, Lubos Brim, Jakub Chaloupka	From Distributed Memory Cycle Detection to Parallel LTL Model Checking.	FMICS	2004	DBLP DOI BibTeX RDF
1	Alain Girault, Éric Rutten	Modeling Fault-tolerant Distributed Systems for Discrete Controller Synthesis.	FMICS	2004	DBLP DOI BibTeX RDF
1	Jaco van de Pol, Miguel Valero Espada	An Abstract Interpretation Toolkit for muCRL.	FMICS	2004	DBLP DOI BibTeX RDF
1	Maurice H. ter Beek, Mieke Massink, Diego Latella, Stefania Gnesi, Alessandro Forghieri, Maurizio Sebastianis	Model Checking Publish/Subscribe Notification for thinkteam®.	FMICS	2004	DBLP DOI BibTeX RDF
1	Yunja Choi	Model Checking Flight Guidance Systems: from Synchrony to Asynchrony.	FMICS	2004	DBLP DOI BibTeX RDF
1	Misa Keinänen	Obtaining Memory-Efficient Solutions to Boolean Equation Systems.	FMICS	2004	DBLP DOI BibTeX RDF
1	Christophe Ponsard, Philippe Massonet, André Rifaut, Jean-François Molderez, Axel van Lamsweerde, Hung Tran Van	Early Verification and Validation of Mission Critical Systems.	FMICS	2004	DBLP DOI BibTeX RDF
1	María-del-Mar Gallardo, Jesús Martínez, Pedro Merino 0001, Guillermo Rodríguez	Integration of Reliability and Performance Analyses for Active Network Services.	FMICS	2004	DBLP DOI BibTeX RDF
1	Akram Idani, Yves Ledru	Object Oriented Concepts Identification from Formal B Specifications.	FMICS	2004	DBLP DOI BibTeX RDF
1	Jan Philipps, Alexander Pretschner, Oscar Slotosch, Ernst Aiglstorfer, Stefan Kriebel, Kai Scholl	Model-Based Test Case Generation for Smart Cards.	FMICS	2003	DBLP DOI BibTeX RDF
1	Juan Bicarregui	Information Systems Research and Development at CCLRC: Accelerating Innovation through Technology Transfer.	FMICS	2003	DBLP DOI BibTeX RDF
1	Néstor Cataño	Slicing Event Spaces: Towards a Java Programs Checking Framework.	FMICS	2003	DBLP DOI BibTeX RDF
1	Stefania Gnesi	Formal Specification and Verification of Complex Systems.	FMICS	2003	DBLP DOI BibTeX RDF
1	Ella E. Roubtsova, Serguei A. Roubtsov	UML-based Tool for Constructing Component Systems via Component Behaviour Inheritance.	FMICS	2003	DBLP DOI BibTeX RDF
1	Bernard Berthomieu, Pierre-Olivier Ribet, François Vernadat 0001, J. L. Bernartt, Jean-Marie Farines, Jean-Paul Bodeveix, Mamoun Filali, Gérard Padiou, Pierre Michel, Patrick Farail, Pierre Gauffilet, Pierre Dissaux, Jean-Luc Lambert	Towards the verification of real-time systems in avionics: the Cotre approach.	FMICS	2003	DBLP DOI BibTeX RDF
1	Lilian Burdy, Yoonsik Cheon, David R. Cok, Michael D. Ernst, Joseph Kiniry, Gary T. Leavens, K. Rustan M. Leino, Erik Poll	An overview of JML tools and applications.	FMICS	2003	DBLP DOI BibTeX RDF
1	Armin Biere, Cyrille Artho, Malek Haroud, Viktor Schuppan	Formal Methods Group ETH Zürich.	FMICS	2003	DBLP DOI BibTeX RDF
1	Mads Dam, Lars-Åke Fredlund, Dilian Gurov	Formal Methods Research at SICS and KTH: An Overview.	FMICS	2003	DBLP DOI BibTeX RDF
1	Thomas Arts, Wan J. Fokkink	Preface.	FMICS	2003	DBLP DOI BibTeX RDF
1	Ina Schieferdecker, Theofanis Vassiliou-Gioles	Tool Supported Test Frameworks in TTCN-3.	FMICS	2003	DBLP DOI BibTeX RDF
1	Rolv Bræk	Formal Methods Research at NTNU, Department of Telematics.	FMICS	2003	DBLP DOI BibTeX RDF
1	Richard Bubel, Reiner Hähnle	Integration of Informal and Formal Development of Object-Oriented Safety-Critical Software: A Case Study with the KeY System.	FMICS	2003	DBLP DOI BibTeX RDF
1	Radu Mateescu 0001	On-the-Fly Verification using CADP.	FMICS	2003	DBLP DOI BibTeX RDF
1	Abdessamad Imine, Pascal Urso	Automatic Detection of Copies Divergence in Collaborative Editing Systems.	FMICS	2003	DBLP DOI BibTeX RDF
1	Lubos Brim, Jiri Barnat	Distribution of Explicit-State LTL Model-Checking.	FMICS	2003	DBLP DOI BibTeX RDF
1	Achim D. Brucker, Burkhart Wolff	A Case Study of a Formalized Security Architecture.	FMICS	2003	DBLP DOI BibTeX RDF
1	Stefan Blom, Jan Friso Groote, Izak van Langevelde, Bert Lisser, Jaco van de Pol	New developments around the mCRL tool set.	FMICS	2003	DBLP DOI BibTeX RDF
1	Paul Ziemann, Martin Gogolla	Validating OCL Specifications with the USE Tool: An Example Based on the BART Case Study.	FMICS	2003	DBLP DOI BibTeX RDF
1	Andrew Butterfield	Formal Methods for Industrial Critical Systems at Trinity College, University of Dublin.	FMICS	2003	DBLP DOI BibTeX RDF
1	Nicole Rauch, Burkhart Wolff	Formalizing Java's Two's-Complement Integral Type in Isabelle/HOL.	FMICS	2003	DBLP DOI BibTeX RDF
1	Andrew Butterfield, Jim Woodcock 0001	An Operational Semantics for Handel-C.	FMICS	2003	DBLP DOI BibTeX RDF
1	Stefan Blom, Simona Orzan	Distributed State Space Minimization.	FMICS	2003	DBLP DOI BibTeX RDF

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