| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Richard Banach, Michael Poppleton |
Retrenchment.  |
World Congress on Formal Methods  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Heike Wehrheim |
Data Abstraction for CSP-OZ. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Anamaria Martins Moreira |
Proof Preservation in Component Generalization. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | C. A. R. Hoare |
Theories of Programming: Top-Down and Bottom-Up and Meeting in the Middle. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Markus Müller-Olm, Andreas Wolf |
On Excusable and Inexcusable Failures. |
World Congress on Formal Methods |
1999 |
DBLP BibTeX RDF |
runtime-error, verification, compiler, refinement, correctness, divergence, predicate transformer |
| 1 | Marine Tabourier, Ana R. Cavalli, Melania Ionescu |
A GSM-MAP Protocol Experiment Using Passive Testing. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | H. B. M. Jonkers |
Communication and Synchronisation Using Interaction Objects. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Ian MacColl, David A. Carrington |
A Model of Specification-Based Testing of Interactive Systems. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | César Muñoz, John M. Rushby |
Structural Embeddings: Mechanization with Method. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Conquet, Jean-Luc Marty |
Formal Design for Automatic Coding and Testing: The ESSI/SPACES Project. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Reffel, Stefan Edelkamp |
Error Detection with Directed Symbolic Model Checking. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Barbuti, Nicoletta De Francesco, Antonella Santone, Gigliola Vaglini |
Formula Based Abstractions of Transition Systems for Real-Time Model Checking. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Focardi, Fabio Martinelli |
A Uniform Approach for the Definition of Security Properties. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Pertti Kellomäki, Tommi Mikkonen |
Archived Design Steps in Temporal Logic. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph A. Goguen, Grigore Rosu |
Hiding More of Hidden Algebra. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Shin Nakajima |
Using Algebraic Specification Techniques in Development of Object-Oriented Frameworks. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard F. Paige, Eric C. R. Hehner |
Bunches for Object-Oriented, Concurrent, and Real-Time Specification. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Pascal Poizat, Christine Choppy, Jean-Claude Royer |
From Informal Requirements to COOP: A Concurrent Automata Approach. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
object oriented (Java) code generation, automata, Concurrent systems, specification method |
| 1 | Enn Tyugu, Mihhail Matskin, Jaan Penjam |
Applications of Structural Synthesis of Programs. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Elisabeth Haxthausen, Jan Peleska |
Formal Development and Verification of a Distributed Railway Control System. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | João Pedro Sousa, David Garlan |
Formal Modeling of the Enterprise JavaBeansTM Component Integration Framework. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Volkmar Lotz, Volker Kessler, Georg Walter |
A Formal Security Model for Microprocessor Hardware. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
security, hardware, formal security models |
| 1 | Radu Ocica, Dan Ionescu |
Algebraic Aspects of the Mapping between Abstract Syntax Notation One and CORBA IDL. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | David Déharbe, Anamaria Martins Moreira |
Symbolic Model Checking with Fewer Fixpoint Computations. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.) |
FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II |
World Congress on Formal Methods |
1999 |
DBLP BibTeX RDF |
|
| 1 | Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.) |
FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I |
World Congress on Formal Methods |
1999 |
DBLP BibTeX RDF |
|
| 1 | Steve Schneider |
Abstraction and Testing. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Gary T. Leavens, Albert L. Baker |
Enhancing the Pre- and Postcondition Technique for More Expressive Specifications. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Jin Song Dong, Brendan P. Mahony, Neale Fulton |
Modeling Aircraft Mission Computer Task Rates. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Bettina Buth, Mike Schrönen |
Model-Checking the Architectural Design of a Fail-Safe Communication System for Railway Interlocking Systems. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Michel R. V. Chaudron, Jan Tretmans, Klaas Wijbrans |
Lessons from the Application of Formal Methods to the Design of a Storm Surge Barrier Control System. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Michel Levy, Laurent Trilling |
A PVS-Based Approach for Teaching Constructing Correct Iterations. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephan Merz |
A More Complete TLA. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Schätz, Franz Huber |
Integrating Formal Description Techniques. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Reino Kurki-Suonio |
Component and Interface Refinement in Closed-System Specifications. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Sanjit A. Seshia, R. K. Shyamasundar, A. K. Bhattacharjee, S. D. Dhodapkar |
A Translation of Statecharts to Esterel. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | John C. Knight, P. Thomas Fletcher, Brian R. Hicks |
Tool Support for Production Use of Formal Techniques. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Kaisa Sere, Elena Troubitsyna |
Safety Analysis in Formal Specification. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Krieg-Brückner, Jan Peleska, Ernst-Rüdiger Olderog, Alexander Baer |
The UniForM Workbench, a Universal Development Environment for Formal Methods. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Leonid Mikhajlov, Emil Sekerinski, Linas Laibinis |
Developing Components in the Presence of Re-entrance. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier |
IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Dusko Pavlovic |
Semantics of First Order Parametric Specifications. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Meyer, Jeanine Souquières |
A Systematic Approach to Transform OMT Diagrams to a B Specification. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | P. Garbett, J. P. Parkes, M. Shackleton, S. Anderson |
Secure Synthesis of Code: A Process Improvement Experiment. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Lydie du Bousquet |
Feature Interaction Detection Using Testing and Model-Checking Experience Report. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Fred Gilham, Robert A. Riemenschneider, Victoria Stavridou |
Secure Interoperation of Secure Distributed Databases. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Cimatti, P. L. Pieraccini, Roberto Sebastiani, Paolo Traverso, Adolfo Villafiorita |
Formal Specification and Validation of a Vital Communication Protocol. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Akira Mori, Kokichi Futatsugi |
Verifying Behavioural Specifications in CafeOBJ Environment. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Famantanantsoa Randimbivololona, Jean Souyris, Patrick Baudin, Anne Pacalet, Jacques Raguideau, Dominique Schoen |
Applying Formal Proof Techniques to Avionics Software: A Pragmatic Approach. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Andre Wong, Marsha Chechik |
Formal Modeling in a Commercial Setting: A Case Study. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Shaoying Liu |
Verifying Consistency and Validity of Formal Specifications by Testing. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Cliff B. Jones |
Scientific Decisions which Characterize VDM. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Razvan Diaconescu, Kokichi Futatsugi, Shusaku Iida |
Component-Based Algebraic Specification and Verification in CafeOBJ. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Verhoeven, Roland Carl Backhouse |
Interfacing Program Construction and Verification. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Michel Couvreur |
On-the-Fly Verification of Linear Temporal Logic. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Jifeng He |
A Behavioral Model for Co-design. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Eschbach |
A Termination Detection Algorithm: Specification and Verification. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernd Baumgarten |
A Minimal Framework for Specification Theory. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Xia Yong, Chris George |
An Operational Semantics for Timed RAISE. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Meyer zu Hörste, Eckehard Schnieder |
Formal Modelling and Simulation of Train Control Systems Using Petri Nets. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Igor B. Burdonov, Alexander Kossatchev, Alexandre Petrenko, Dmitri Galter |
KVEST: Automated Generation of Test Suites from Formal Specifications. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Behm, Paul Benoit, Alain Faivre, Jean-Marc Meynadier |
Météor: A Successful Application of B in a Large Project. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Johann Hörl, Bernhard K. Aichernig |
Formal Specification of a Voice Communication System Used in Air Traffic Control. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Fiona Polack, Susan Stepney |
Systems Development Using Z Generics. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Michel Charpentier, K. Mani Chandy |
Towards a Compositional Approach to the Design and Verification of Distributed Systems. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Rosa M. Jiménez, Fernando Orejas |
An Algebraic Framework for Higher-Order Modules. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | John Derrick, Eerke A. Boiten |
Non-atomic Refinement in Z. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Arts, Mads Dam |
Verifying a Distributed Database Lookup Manager Written in Erlang. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Jackson |
The Role of Formalism in Method. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Simin Nadjm-Tehrani, Ove Åkerlund |
Combining Theorem Proving and Continuous Models in Synchronous Design. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Henri Habrias, Pascal Poizat, Jean-Yves Lafaye |
A Study of Collaborative Work: Answers to a Test on Formal Specification in B. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Dunstan, Tom Kelsey, Ursula Martin, Steve Linton |
Formal Methods for Extensions to CAS. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Henk Eertink, Wil Janssen, Paul Oude Luttighuis, Wouter B. Teeuw, Chris A. Vissers |
A Business Process Design Language. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Nisse Husberg, Tapio Manner |
Emma: Developing an Industrial Reachability Analyser for SDL. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard F. Paige, Jonathan S. Ostroff |
Developing BON as an Industrial-Strength Formal Method. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Juliano Iyoda, Augusto Sampaio, Leila Silva |
ParTS: A Partitioning Transformation System. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Denis Sabatier, Pierre Lartigue |
The Use of the B Formal Method for the Design and the Validation of the Transaction Mechanism for Smart Card Applications. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Philipps, Bernhard Rumpe |
Refinement of Pipe-and-Filter Architectures. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | S. Dellacherie, Samuel Devulder, Jean-Luc Lambert |
Software Verification Based on Linear Programming. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul F. Syverson, Stuart G. Stubblebine |
Group Principals and the Formalization of Anonymity. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Perry Alexander, Murali Rangarajan, Phillip Baraona |
A Brief Summary of VSPEC. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
VHDL, languages, systems level design, notations, Larch |
| 1 | Steve Dunne |
The Safe Machine: A New Specification Construct for B. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Hervé Marchand, Mazen Samaan |
Incremental Design of a Power Transformer Station Controller Using a Controller Synthesis Methodology. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Erich Grädel, Marc Spielmann |
Logspace Reducibility via Abstract State Machines. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Olivier Hainque, Laurent Pautet, Yann Le Biannic, Eric Nassor |
Cronos: A Separate Compilation Toolset for Modular Esterel Applications. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Irina M. Smarandache, Thierry Gautier, Paul Le Guernic |
Validation of Mixed SIGNAL-ALPHA Real-Time Systems through Affine Calculus on Clock Synchronisation Constraints. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Yann Rouzaud |
Interpreting the B-Method in the Refinement Calculus. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Georg Droschl |
Analyzing the Requirements of an Access Control Using VDMTools and PVS. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph Sifakis |
Integration, the Price of Success. |
World Congress on Formal Methods |
1999 |
DBLP BibTeX RDF |
|
| 1 | Ralph-Johan Back, Anna Mikhajlova, Joakim von Wright |
Reasoning About Interactive Systems. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Lang, Pierre Lescanne, Luigi Liquori |
A Framework for Defining Object-Calculi. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
Design of functional and imperative object-oriented languages, memory management, operational semantics, implementation issues |
| 1 | Stavros Tripakis, Karine Altisen |
On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Steve King, Jonathan Hammond, Roderick Chapman, Andy Pryor |
The Value of Verification: Positive Experience of Industrial Proof. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Lincoln, John C. Mitchell, Mark Mitchell, Andre Scedrov |
Probabilistic Polynomial-Time Equivalence and Security Analysis. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Brian Matthews, Elvira Locuratolo |
Formal Development of Databases in ASSO and B. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Luis Mandel, María Victoria Cengarle |
On the Expressive Power of OCL. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | John Herbert, Bruno Dutertre, Robert A. Riemenschneider, Victoria Stavridou |
A Formalization of Software Architecture. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Salimeh Behnia, Hélène Waeselynck |
Test Criteria Definition for B Models. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric C. R. Hehner, Andrew M. Gravell |
Refinement Semantics and Loop Rules. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Farn Wang |
Automatic Verification of Pointer Data-Structure Systems for All Numbers of Processes. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")