Search results for "FME"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Michael Johnson, Robert D. Rosebrugh	View Updatability Based on the Models of a Formal Specification.	FME	2001	DBLP DOI BibTeX RDF	formal specification, database, information system, conceptual modelling, data model, category theory, View update
1	Dragan Bosnacki, Dennis Dams, Leszek Holenderski	A Heuristic for Symmetry Reductions with Scalarsets.	FME	2001	DBLP DOI BibTeX RDF
1	Sophie Dupuy-Chessa, Lydie du Bousquet	Validation of UML Models Thanks to Z and Lustre.	FME	2001	DBLP DOI BibTeX RDF
1	Mícheál Mac an Airchinnigh	Towards a Topos Theoretic Foundation for the Irish School of Constructive Mathematics.	FME	2001	DBLP DOI BibTeX RDF	Topos Theory, Unifying Theory, modelling, intuitionistic logic, VDM, constructive mathematics, Heyting algebra, Cartesian closed category
1	Shmuel Katz	Faithful Translations among Models and Specifications.	FME	2001	DBLP DOI BibTeX RDF
1	Françoise Bellegarde, Christophe Darlot, Jacques Julliand, Olga Kouchnarenko	Reformulation: A Way to Combine Dynamic Properties and B Refinement.	FME	2001	DBLP DOI BibTeX RDF	Verification of PLTL properties, Combination of proof and model-checking, Refinement development
1	Manuel J. Fernández-Iglesias, Francisco J. González-Castaño, José M. Pousada Carballo, Martín Llamas Nistal, Alberto Romero Feijoo	From Complex Specifications to a Working Prototype. A Protocol Engineering Case Study.	FME	2001	DBLP DOI BibTeX RDF
1	Natasha Sharygina, Doron A. Peled	A Combined Testing and Verification Approach for Software Reliability.	FME	2001	DBLP DOI BibTeX RDF
1	Muffy Calder, Savi Maharaj, Carron Shankland	An Adequate Logic for Full LOTOS.	FME	2001	DBLP DOI BibTeX RDF
1	Jayadev Misra	A Programming Model for Wide-Area Computing.	FME	2001	DBLP DOI BibTeX RDF
1	Simon L. Peyton Jones	Composing Contracts: An Adventure in Financial Engineering.	FME	2001	DBLP DOI BibTeX RDF
1	Cormac Flanagan, K. Rustan M. Leino	Houdini, an Annotation Assistant for ESC/Java.	FME	2001	DBLP DOI BibTeX RDF
1	Heiko Mantel	Information Flow Control and Applications - Bridging a Gap.	FME	2001	DBLP DOI BibTeX RDF
1	Ralf Lämmel	Grammar Adaptation.	FME	2001	DBLP DOI BibTeX RDF
1	Pieter H. Hartel, Michael J. Butler, Eduard de Jong, Mark Longley	Transacted Memory for Smart Cards.	FME	2001	DBLP DOI BibTeX RDF
1	Odile Laurent, Pierre Michel, Virginie Wiels	Using Formal Verification Techniques to Reduce Simulation and Test Effort.	FME	2001	DBLP DOI BibTeX RDF
1	Bernhard K. Aichernig	Test-Case Calculation through Abstraction.	FME	2001	DBLP DOI BibTeX RDF	test-case synthesis, abstraction rules, testing, scenarios, contract, refinement calculus
1	Laurent Arditi, Hédi Boufaïed, Arnaud Cavanié, Vincent Stehlé	Coverage Directed Generation of System-Level Test Cases for the Validation of a DSP System.	FME	2001	DBLP DOI BibTeX RDF
1	Claus Pahl	Components, Contracts, and Connectors for the Unified Modelling Language UML.	FME	2001	DBLP DOI BibTeX RDF
1	Stephen Paynter	Real-Time Logic Revisited.	FME	2001	DBLP DOI BibTeX RDF
1	Marielle Doche, Isabelle Vernier-Mounier, Fabrice Kordon	A Modular Approach to the Specification and Validation of an Electrical Flight Control System.	FME	2001	DBLP DOI BibTeX RDF	Verification, Modularity, Test Generation, Case Tools, Heterogeneous Specification
1	Kevin Lano, Arturo Sanchez	Design of Reactive Control Systems for Event-Drivem Operations.	FME	1997	DBLP DOI BibTeX RDF
1	Bernhard K. Aichernig, Peter Gorm Larsen	A Proof Obligation Generator for VDM-SL.	FME	1997	DBLP DOI BibTeX RDF
1	Abdelillah Mokkedem, Michael J. Ferguson, Robert de B. Johnston	A TLA Solution to the Specification and Verification of the RLP1 Retransmission Protocol.	FME	1997	DBLP DOI BibTeX RDF
1	Henning Dierks, Cheryl Dietz	Graphical Specification and Reasoning: Case Study Generalised Railroad Crossing.	FME	1997	DBLP DOI BibTeX RDF
1	Frank S. de Boer, Ulrich Hannemann, Willem P. de Roever	A Compositional Proof System for Shared Variable Concurrency.	FME	1997	DBLP DOI BibTeX RDF
1	Martin Schönhoff, Mojgan Kowsari	Specifying the Remote Control of Valves in an Explosion Test Environment.	FME	1997	DBLP DOI BibTeX RDF
1	Sten Agerholm, Jacob Frost	Towards an Integrated CASE and Theorem Proving Tool for VDM-SL.	FME	1997	DBLP DOI BibTeX RDF
1	Eerke A. Boiten, Howard Bowman, John Derrick, Maarten Steen	Viewpoint Consistency in Z and LOTOS: A Case Study.	FME	1997	DBLP DOI BibTeX RDF	Consistency, Z, Viewpoints, LOTOS, ODP
1	Franz Huber, Bernhard Schätz, Geralf Einert	Consistent Graphical Specification of Distributed Systems.	FME	1997	DBLP DOI BibTeX RDF
1	Haykal Tej, Burkhart Wolff	A Corrected Failure Divergence Model for CSP in Isabelle/HOL.	FME	1997	DBLP DOI BibTeX RDF
1	Stuart Anderson, Konstantinos Tourlas	Diagrams and Programming Languages for Programmable Controllers.	FME	1997	DBLP DOI BibTeX RDF
1	Marc Mehdi Ayadi, Dominique Bolignano	Verification of Cryptographic Protocols: An Experiment.	FME	1997	DBLP DOI BibTeX RDF	security, formal methods, cryptographic protocols, Coq
1	Stephan Kleuker	Formalizing Requirements for Distributed Systems with Trace Diagrams.	FME	1997	DBLP DOI BibTeX RDF
1	Kevin Lano, Juan Bicarregui, José Luiz Fiadeiro, Antónia Lopes	Specification of Required Non-determinism.	FME	1997	DBLP DOI BibTeX RDF
1	Axel Dold, Friedrich W. von Henke, Holger Pfeifer, Harald Rueß	Formal Verification of Transformations for Peephole Optimization.	FME	1997	DBLP DOI BibTeX RDF	reusability of specifications, formal verification, transformations, higher-order logic
1	Manfred Broy, Radu Grosu, Cornel Klein	Reconciling Real-Time with Asynchronous Message Passing.	FME	1997	DBLP DOI BibTeX RDF
1	J. M. R. Martin, S. A. Jassim	An Efficient Technique for Deadlock Analysis of Large Scale Process Networks.	FME	1997	DBLP DOI BibTeX RDF
1	Shenwei Yu, Zhaohui Luo	Implementing a Model Checker for LEGO.	FME	1997	DBLP DOI BibTeX RDF
1	David Cazier, Jean-François Dufourd	Term Rewrite Systems to Derive Set Boolean Operations on 2D Objects.	FME	1997	DBLP DOI BibTeX RDF
1	Graeme Smith 0001	A Semantic Integration of Object-Z and CSP for the Specification of Concurrent Systems.	FME	1997	DBLP DOI BibTeX RDF
1	John S. Fitzgerald, Cliff B. Jones, Peter Lucas 0001 (eds.)	FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997, Proceedings	FME	1997	DBLP DOI BibTeX RDF
1	Lionel Devauchelle, Peter Gorm Larsen, Henrik Voss	PICGAL: Practical Use of Formal Specification to Develop a Complex Critical System.	FME	1997	DBLP DOI BibTeX RDF
1	Carsta Petersohn, Luis Urbina	A Timed Semantics for the STATEMATE Implementation of Statecharts.	FME	1997	DBLP DOI BibTeX RDF
1	Gianna Reggio, Mauro Larosa	A Graphic Notation for Formal Specifications of Dynamic Systems.	FME	1997	DBLP DOI BibTeX RDF
1	Hans Fleischhack, Josef Tapken	An M-Net Semantics for a Real-Time Extension of µSDL.	FME	1997	DBLP DOI BibTeX RDF
1	Leila Silva, Augusto Sampaio, Edna Barros	A Normal Form Reduction Strategy for Hardware/Software Partitioning.	FME	1997	DBLP DOI BibTeX RDF
1	Paul Mukherjee	Automatic Translation of VDM-SL Specifications into Gofer.	FME	1997	DBLP DOI BibTeX RDF
1	Pierre Michel, Virginie Wiels	A Framework for Modular Formal Specification and Verification.	FME	1997	DBLP DOI BibTeX RDF
1	David W. J. Stringer-Calvert, Susan Stepney, Ian Wand	Using PVS to Prove a Z Refinement: A Case Study.	FME	1997	DBLP DOI BibTeX RDF
1	Richard F. Paige	A Meta-Method for Formal Method Integration.	FME	1997	DBLP DOI BibTeX RDF
1	Anna Mikhajlova, Emil Sekerinski	Class Refinement and Interface Refinement in Object-Oriented Programs.	FME	1997	DBLP DOI BibTeX RDF
1	David Hemer, Peter A. Lindsay	Reuse of Verified Design Templates Through Extended Pattern Matching.	FME	1997	DBLP DOI BibTeX RDF	formal methods, refinement, pattern matching, software verification, program development
1	Pertti Kellomäki	Verification of Reactive Systems Using DisCo and PVS.	FME	1997	DBLP DOI BibTeX RDF
1	Michel Charpentier	A UNITY Mapping Operator for Distributed Programs.	FME	1997	DBLP DOI BibTeX RDF
1	Jean-Charles Grégoire	TLA + PROMELA: Conjecture, Check, Proof, Engineering New Protocols Using Methods and Formal Notations.	FME	1997	DBLP DOI BibTeX RDF	keyword TLA+, refinement, implementation, SPIN, PROMELA, TLA
1	William D. Young, William R. Bevier	Mathematical Modeling and Analysis of an External Memory Manager.	FME	1997	DBLP DOI BibTeX RDF
1	Eerke A. Boiten, John Derrick, Howard Bowman, Maarten Steen	Consistency and Refinement for Partial Specification in Z.	FME	1996	DBLP DOI BibTeX RDF
1	Colin J. Fidge, Mark Utting, Peter Kearney, Ian J. Hayes	Integrating Real-Time Scheduling Theory and Program Refinement.	FME	1996	DBLP DOI BibTeX RDF
1	Joseph J. Comuzzi, Johnson M. Hart	Program Slicing Using Weakest Preconditions.	FME	1996	DBLP DOI BibTeX RDF
1	Jan Peleska 0001, Michael Siegel	From Testing Theory to Test Driver Implementation.	FME	1996	DBLP DOI BibTeX RDF	may tests, must tests, refinement, test generation, CSP, reactive systems, FDR, test evaluation
1	Juan Bicarregui, Jeremy Dick, Eoin Woods	Quantitative Analysis of an Application of Formal Methods.	FME	1996	DBLP DOI BibTeX RDF
1	Rix Groenboom, Erik Saaman, Ernest Rotterdam, Gerard R. Renardel de Lavalette	Formalizing Anaesthesia: a case study in formal specification.	FME	1996	DBLP DOI BibTeX RDF
1	Marina Waldén, Kaisa Sere	Refining Action Systems within B-Tool.	FME	1996	DBLP DOI BibTeX RDF
1	Jan Peleska 0001	Test Automation for Safety-Critical Systems: Industrial Application and Future Developments.	FME	1996	DBLP DOI BibTeX RDF	test driver, test monitors, refinement, test generation, CSP, reactive systems, test oracles, FDR
1	Matthias Weber	Combining Statecharts and Z for the Design of Safety-Critical Control Systems.	FME	1996	DBLP DOI BibTeX RDF
1	Chris George	A Theory of Distributing Train Rescheduling.	FME	1996	DBLP DOI BibTeX RDF
1	Farn Wang, Chia-Tien Dan Lo	Procedure-Level Verification of Real-time Concurrent Systems.	FME	1996	DBLP DOI BibTeX RDF
1	Lihua Shi, Paddy Nixon	An Improved Translation of SA/RT Specification Model to High-Level Timed Petri Nets.	FME	1996	DBLP DOI BibTeX RDF
1	Stephan Kleuker, Hermann Tjabben	The Incremental Development of Correct Specifications for Distributed Systems.	FME	1996	DBLP DOI BibTeX RDF	extension of existing formal methods, combination of methods, incremental development
1	Terje Sivertsen	A Case Study on the Formal Development of a Reactor Safety System.	FME	1996	DBLP DOI BibTeX RDF
1	Bernard Boigelot, Patrice Godefroid	Model Checking in Practice: An Analysis of the ACCESS.bus Protocol using SPIN.	FME	1996	DBLP DOI BibTeX RDF
1	Tim Clement	Data Reification without Explicit Abstraction Functions.	FME	1996	DBLP DOI BibTeX RDF
1	André Arnold, Didier Bégay, Jean-Pierre Radoux	An Example of Use of Formal Methods to Debug an Embedded Software.	FME	1996	DBLP DOI BibTeX RDF
1	Antti Valmari, Manu Setälä	Visual Verification of Safety and Liveness.	FME	1996	DBLP DOI BibTeX RDF	verification, process algebra, reduction, labelled transition system
1	Rosario Pugliese, Enrico Tronci	Automatic Verification of a Hydroelectric Power Plant.	FME	1996	DBLP DOI BibTeX RDF
1	Patrice Chalin, Peter Grogono, Thiruvengadam Radhakrishnan	Identification of and Solutions to Shortcomings of LCL, a Larch/C Interface Specification Language.	FME	1996	DBLP DOI BibTeX RDF
1	Brigitte Fröhlich, Peter Gorm Larsen	Combining VDM-SL Specifications with C++ Code.	FME	1996	DBLP DOI BibTeX RDF
1	Paulo S. C. Alencar, Donald D. Cowan, Carlos José Pereira de Lucena	A Formal Approach to Architectural Design Patterns.	FME	1996	DBLP DOI BibTeX RDF
1	Juan-José Martins, Jean-Pierre Hubaux	A New System Engineering Methodology Coupling Formal Specification and Performance Evaluation.	FME	1996	DBLP DOI BibTeX RDF	Simulation, Performance Evaluation, Formal Specification, System Design, System Analysis, System Engineering
1	Marie-Claude Gaudel, Jim Woodcock 0001 (eds.)	FME '96: Industrial Benefit and Advances in Formal Methods, Third International Symposium of Formal Methods Europe, Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996, Proceedings	FME	1996	DBLP DOI BibTeX RDF
1	Klaus Havelund, Natarajan Shankar	Experiments in Theorem Proving and Model Checking for Protocol Verification.	FME	1996	DBLP DOI BibTeX RDF
1	Frank S. de Boer, M. van Hulst	Local Nondeterminism in Asynchronously Communicating Processes.	FME	1996	DBLP DOI BibTeX RDF
1	C. A. R. Hoare	How Did Software Get So Reliable Without Proof?	FME	1996	DBLP DOI BibTeX RDF
1	V. Kasurinen, Kaisa Sere	Integrating Action Systems and Z in a Medical System Specification.	FME	1996	DBLP DOI BibTeX RDF
1	Ben L. Di Vito	Formalizing New Navigation Requirements for NASA's Space Shuttle.	FME	1996	DBLP DOI BibTeX RDF
1	Balakrishnan Kannikeswaran, Radharamanan Radhakrishnan, Peter Frey, Perry Alexander, Philip A. Wilsey	Formal Specification and Verification of the pGVT Algorithm.	FME	1996	DBLP DOI BibTeX RDF
1	Jürgen Bohn 0002, Wil Janssen	A Strategic Approach to Transformational Design.	FME	1996	DBLP DOI BibTeX RDF
1	Job Zwiers, Ulrich Hannemann, Yassine Lakhnech, Willem P. de Roever, Frank A. Stomp	Modular Completeness: Integrating the Reuse of Specified Software in Top-down Program Development.	FME	1996	DBLP DOI BibTeX RDF
1	Jonathan Hoare, Jeremy Dick, David Neilson, Ib Holm Sørensen	Applying the B Technologies on CICS.	FME	1996	DBLP DOI BibTeX RDF
1	Christel Seguin, Virginie Wiels	Using a Logical and Categorical Approach for the Validation of Fault-Tolerant Systems.	FME	1996	DBLP DOI BibTeX RDF
1	Dieter Hutter, Bruno Langenstein, Claus Sengler, Jörg H. Siekmann, Werner Stephan 0001, Andreas Wolpers	Deduction in the Verification Support Environment (VSE).	FME	1996	DBLP DOI BibTeX RDF
1	T. M. Brookes, John S. Fitzgerald, Peter Gorm Larsen	Formal and Informal Specifications of a Secure System Component: Final Results in a Comparative Study.	FME	1996	DBLP DOI BibTeX RDF
1	David M. Jackson	Experiences in Embedded Scheduling.	FME	1996	DBLP DOI BibTeX RDF
1	Kolyang 0001, Thomas Santen, Burkhart Wolff	Correct and User-Friendly Implementations of Transformation Systems.	FME	1996	DBLP DOI BibTeX RDF
1	Bernhard Schätz, Heinrich Hußmann, Manfred Broy	Graphical Development of Consistent System Specifications.	FME	1996	DBLP DOI BibTeX RDF
1	P. C. Fencott, Andy Galloway, Mike A. Lockyer, S. J. O'Brien, S. Pearson	Formalising the Semantics of Ward/Mellor SA/RT Essential Models using a Process Algebra.	FME	1994	DBLP DOI BibTeX RDF
1	David J. Duke, Michael D. Harrison	A Theory of Presentations.	FME	1994	DBLP DOI BibTeX RDF
1	Kirsten Mark Hansen	Validation of a Railway Interlocking Model.	FME	1994	DBLP DOI BibTeX RDF	Application of formal methods, simulation, model validation, railway interlocking
1	Andrew Storey, Howard P. Haughton	A Strategy for the Production of Verifiable Code Using the B Method.	FME	1994	DBLP DOI BibTeX RDF

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