Search results for "FM"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Jewgenij Botaschanjan, Alexander Gruler, Alexander Harhurin, Leonid Kof, Maria Spichkova, David Trachtenherz	Towards Modularized Verification of Distributed Time-Triggered Systems.	FM	2006	DBLP DOI BibTeX RDF
1	Alexandre Genon, Thierry Massart, Cédric Meuter	Monitoring Distributed Controllers: When an Efficient LTL Algorithm on Sequences Is Needed to Model-Check Traces.	FM	2006	DBLP DOI BibTeX RDF	testing of asynchronous distributed systems, global properties, model checking of traces, monitor
1	Wojciech Mostowski	Formal Reasoning About Non-atomic Java Card Methods in Dynamic Logic.	FM	2006	DBLP DOI BibTeX RDF
1	Angela F. Freitas, Ana Cavalcanti 0001	Automatic Translation from Circus to Java.	FM	2006	DBLP DOI BibTeX RDF
1	Ernie Cohen	Validating the Microsoft Hypervisor.	FM	2006	DBLP DOI BibTeX RDF
1	Raymond T. Boute	Using Domain-Independent Problems for Introducing Formal Methods.	FM	2006	DBLP DOI BibTeX RDF
1	Ioannis T. Kassios	Dynamic Frames: Support for Framing, Dependencies and Sharing Without Restrictions.	FM	2006	DBLP DOI BibTeX RDF	object orientation, framing
1	Fabian Bannwart, Peter Müller 0001	Changing Programs Correctly: Refactoring with Specifications.	FM	2006	DBLP DOI BibTeX RDF
1	Stefano Bacherini, Alessandro Fantechi, Matteo Tempestini, Niccolò Zingoni	A Story About Formal Methods Adoption by a Railway Signaling Manufacturer.	FM	2006	DBLP DOI BibTeX RDF
1	Neil Evans, Michael J. Butler	A Proposal for Records in Event-B.	FM	2006	DBLP DOI BibTeX RDF
1	Xin Li, H. James Hoover, Piotr Rudnicki	Towards Automatic Exception Safety Verification.	FM	2006	DBLP DOI BibTeX RDF	model checking, verification, static analysis, exceptions
1	Yujun Zheng 0001, Jinquan Wang, Kan Wang, Jinyun Xue	Partially Introducing Formal Methods into Object-Oriented Development: Case Studies Using a Metrics-Driven Approach.	FM	2006	DBLP DOI BibTeX RDF
1	Cyrille Artho, Armin Biere, Shinichi Honiden	Enforcer - Efficient Failure Injection.	FM	2006	DBLP DOI BibTeX RDF
1	Wendy Johnston, Kirsten Winter, Lionel van den Berg, Paul A. Strooper, Peter J. Robinson 0001	Model-Based Variable and Transition Orderings for Efficient Symbolic Model Checking.	FM	2006	DBLP DOI BibTeX RDF	partitioned transition relations, clustering, Binary Decision Diagrams, Symbolic model checking, image computation, railway interlockings
1	Annabelle McIver	Quantitative Refinement and Model Checking for the Analysis of Probabilistic Systems.	FM	2006	DBLP DOI BibTeX RDF
1	Dusko Pavlovic	Connector-Based Software Development: Deriving Secure Protocols.	FM	2006	DBLP DOI BibTeX RDF
1	Greg Brunet, Marsha Chechik, Sebastián Uchitel	Properties of Behavioural Model Merging.	FM	2006	DBLP DOI BibTeX RDF
1	Thuan Quang Huynh, Abhik Roychoudhury	A Memory Model Sensitive Checker for C#.	FM	2006	DBLP DOI BibTeX RDF
1	Tim McComb, Graeme Smith 0001	Compositional Class Refinement in Object-Z.	FM	2006	DBLP DOI BibTeX RDF
1	David Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge	Certifying Airport Security Regulations Using the Focal Environment.	FM	2006	DBLP DOI BibTeX RDF
1	Peter Höfner, Ridha Khédri, Bernhard Möller	Feature Algebra.	FM	2006	DBLP DOI BibTeX RDF
1	Zarrin Langari, Richard J. Trefler	Formal Modeling of Communication Protocols by Graph Transformation.	FM	2006	DBLP DOI BibTeX RDF
1	Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasowski	Interface Input/Output Automata.	FM	2006	DBLP DOI BibTeX RDF
1	Jayadev Misra, Tobias Nipkow, Emil Sekerinski (eds.)	FM 2006: Formal Methods, 14th International Symposium on Formal Methods, Hamilton, Canada, August 21-27, 2006, Proceedings	FM	2006	DBLP DOI BibTeX RDF
1	Werner Stephan 0001	Formal Methods for Security: Lightweight Plug-In or New Engineering Discipline.	FM	2006	DBLP DOI BibTeX RDF
1	Nuno Amálio, Susan Stepney, Fiona Polack	A Formal Template Language Enabling Metaproof.	FM	2006	DBLP DOI BibTeX RDF	formal development, patterns, templates, Z, proof
1	Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard	Automated Boundary Test Generation from JML Specifications.	FM	2006	DBLP DOI BibTeX RDF	boundary values, Test generation, automated, model-based, Java Modeling Language
1	David von Oheimb	Formal Methods in the Security Business: Exotic Flowers Thriving in an Expanding Niche.	FM	2006	DBLP DOI BibTeX RDF	security, models, evaluation, software engineering, Formal methods
1	Shinya Umeno, Nancy A. Lynch	Proving Safety Properties of an Aircraft Landing Protocol Using I/O Automata and the PVS Theorem Prover: A Case Study.	FM	2006	DBLP DOI BibTeX RDF
1	Marc Aiguier, Karim Berkani, Pascale Le Gall	Feature Specification and Static Analysis for Interaction Resolution.	FM	2006	DBLP DOI BibTeX RDF	pre-post formalism, specification consistency, feature interaction resolution, static analysis, feature integration
1	June Andronick, Boutheina Chetali, Christine Paulin-Mohring	Formal Verification of Security Properties of Smart Card Embedded Source Code.	FM	2005	DBLP DOI BibTeX RDF	Source code verification, Security, Formal Methods, Theorem Proving, Smart Card
1	Gerrit Muller	The Informal Nature of Systems Engineering.	FM	2005	DBLP DOI BibTeX RDF
1	John S. Fitzgerald, Ian J. Hayes, Andrzej Tarlecki (eds.)	FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings	FM	2005	DBLP DOI BibTeX RDF
1	Mathai Joseph	Formal Aids for the Growth of Software Systems.	FM	2005	DBLP DOI BibTeX RDF
1	Pierre Salverda, Grigore Rosu, Craig B. Zilles	Formally Defining and Verifying Master/Slave Speculative Parallelization.	FM	2005	DBLP DOI BibTeX RDF
1	Mikael Buchholtz, Stephen Gilmore, Valentin Haenel, Carlo Montangero	End-to-End Integrated Security and Performance Analysis on the DEGAS Choreographer Platform.	FM	2005	DBLP DOI BibTeX RDF	UML, performance analysis, security analysis, process calculi
1	Alastair F. Donaldson, Alice Miller 0001	Automatic Symmetry Detection for Model Checking Using Computational Group Theory.	FM	2005	DBLP DOI BibTeX RDF	Promela /Spin, distributed systems, model checking, concurrency, formal modelling, communicating processes, Gap, symmetry reduction
1	Emilia Katz, Shmuel Katz	Verifying Scenario-Based Aspect Specifications.	FM	2005	DBLP DOI BibTeX RDF	convenient executions, model-checking, scenarios, Aspects, conformance
1	David A. Basin, Hironobu Kuruma, Kazuo Takaragi, Burkhart Wolff	Verification of a Signature Architecture with HOL-Z.	FM	2005	DBLP DOI BibTeX RDF
1	Orieta Celiku, Annabelle McIver	Compositional Specification and Analysis of Cost-Based Properties in Probabilistic Programs.	FM	2005	DBLP DOI BibTeX RDF
1	Yu Lei 0001, S. Purushothaman Iyer	An Approach to Unfolding Asynchronous Communication Protocols.	FM	2005	DBLP DOI BibTeX RDF	State Space Search, Software Verification, Unfolding, EFSM
1	Martin De Wulf, Laurent Doyen 0001, Jean-François Raskin	Systematic Implementation of Real-Time Models.	FM	2005	DBLP DOI BibTeX RDF
1	Tiago L. Alves, Paulo F. Silva 0001, Joost Visser 0001, José Nuno Oliveira	Strategic Term Rewriting and Its Application to a VDMSL to SQL Conversion.	FM	2005	DBLP DOI BibTeX RDF
1	Fabrice Bouquet, Frédéric Dadeau, Bruno Legeard, Mark Utting	Symbolic Animation of JML Specifications.	FM	2005	DBLP DOI BibTeX RDF
1	John Harrison 0001	Floating-Point Verification.	FM	2005	DBLP DOI BibTeX RDF
1	Jim Woodcock 0001, Ana Cavalcanti 0001, Leonardo Freitas	Operational Semantics for Model Checking Circus.	FM	2005	DBLP DOI BibTeX RDF
1	Dragan Bosnacki	On Some Galois Connection Based Abstractions for the Mu-Calculus.	FM	2005	DBLP DOI BibTeX RDF	model checking, abstraction, mu-calculus, property preservation
1	Zongyan Qiu, Shuling Wang, Geguang Pu, Xiangpeng Zhao	Semantics of BPEL4WS-Like Fault and Compensation Handling.	FM	2005	DBLP DOI BibTeX RDF	Compensation handling, Semantics, Business Process, Language, BPEL4WS, Fault handling
1	Soon-Kyeong Kim, Damian Burger, David A. Carrington	An MDA Approach Towards Integrating Formal and Informal Modeling Languages.	FM	2005	DBLP DOI BibTeX RDF
1	Subramanian K. Iyer, Debashis Sahoo, E. Allen Emerson, Jawahar Jain	On Partitioning and Symbolic Model Checking.	FM	2005	DBLP DOI BibTeX RDF	state partitioning, BDD, Symbolic Model Checking, CTL
1	Guy H. Broadfoot	ASD Case Notes: Costs and Benefits of Applying Formal Methods to Industrial Control Software.	FM	2005	DBLP DOI BibTeX RDF
1	Ioannis T. Kassios	Decoupling in Object Orientation.	FM	2005	DBLP DOI BibTeX RDF	specification and refinement, object orientation
1	Michael J. Butler, Michael Leuschel	Combining CSP and B for Specification and Property Verification.	FM	2005	DBLP DOI BibTeX RDF	Model Checking, Animation, Logic Programming, Constraints, Tool Support, B-Method
1	Henrik C. Bohnenkamp, Axel Belinfante	Timed Testing with TorX.	FM	2005	DBLP DOI BibTeX RDF	Model-based on-the-fly Testing, Real-Time Testing, TorX, Tools, Timed Automata
1	Cees Pierik, Dave Clarke 0001, Frank S. de Boer	Controlling Object Allocation Using Creation Guards.	FM	2005	DBLP DOI BibTeX RDF	verification, object-oriented programming, specification, invariants, object allocation
1	Ana Cavalcanti 0001, Phil Clayton, Colin O'Halloran	Control Law Diagrams in Circus.	FM	2005	DBLP DOI BibTeX RDF	refinement, CSP, Z, Simulink
1	Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, Nishant Sinha 0001	Dynamic Component Substitutability Analysis.	FM	2005	DBLP DOI BibTeX RDF	Verification of Evolving Software, Learning Regular Sets, Assume/Guarantee Reasoning, Software Model Checking
1	Christie Bolton	Adding Conflict and Confusion to CSP.	FM	2005	DBLP DOI BibTeX RDF
1	Marie-Claude Gaudel	Formal Methods and Testing: Hypotheses, and Correctness Approximations.	FM	2005	DBLP DOI BibTeX RDF
1	Jun Sun 0001, Jin Song Dong	Synthesis of Distributed Processes from Scenario-Based Specifications.	FM	2005	DBLP DOI BibTeX RDF	Synthesis, CSP, LSC
1	Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann, Margus Veanes	Testing Concurrent Object-Oriented Systems with Spec Explorer.	FM	2005	DBLP DOI BibTeX RDF
1	Stefan Eisler, Christian Scheidler, Bernhard Josko, Guido Sandmann, Joachim Stroop	Preliminary Results of a Case Study: Model Checking for Advanced Automotive Applications.	FM	2005	DBLP DOI BibTeX RDF
1	Alexander Pretschner	Model-Based Testing in Practice.	FM	2005	DBLP DOI BibTeX RDF
1	K. Rustan M. Leino, Peter Müller 0001	Modular Verification of Static Class Invariants.	FM	2005	DBLP DOI BibTeX RDF
1	Jochen Hoenicke, Patrick Maier 0001	Model-Checking of Specifications Integrating Processes, Data and Time.	FM	2005	DBLP DOI BibTeX RDF
1	Richard Banach, Michael Poppleton, Czeslaw Jeske, Susan Stepney	Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern.	FM	2005	DBLP DOI BibTeX RDF
1	Christopher W. Johnson 0001	The Natural History of Bugs: Using Formal Methods to Analyse Software Related Failures in Space Missions.	FM	2005	DBLP DOI BibTeX RDF
1	Vlad Rusu, Hervé Marchand, Thierry Jéron	Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems.	FM	2005	DBLP DOI BibTeX RDF	symbolic test generation, verification, conformance testing
1	David Cachera, Thomas P. Jensen, David Pichardie, Gerardo Schneider	Certified Memory Usage Analysis.	FM	2005	DBLP DOI BibTeX RDF	certified memory analysis, Program analysis, theorem proving, constraint solving
1	Alan Wassyng, Mark Lawford, Xiayong Hu	Timing Tolerances in Safety-Critical Software.	FM	2005	DBLP DOI BibTeX RDF	timing tolerances, real-time, requirements, safety-critical
1	Pamela Zave	A Formal Model of Addressing for Interoperating Networks.	FM	2005	DBLP DOI BibTeX RDF	network requirements, networks, network design, Alloy

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