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 |
|