Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
26 | Marie-Claude Gaudel, Gilles Bernot |
The Role of Formal Specifications. |
Algebraic Foundations of Systems Specification |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Fernando Orejas |
Structuring and Modularity. |
Algebraic Foundations of Systems Specification |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Andrzej Tarlecki |
Institutions: An Abstract Framework for Formal Specifications. |
Algebraic Foundations of Systems Specification |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Michel Bidoit, María Victoria Cengarle, Rolf Hennicker |
Proof Systems for Structured Specifications and Their Refinements. |
Algebraic Foundations of Systems Specification |
1999 |
DBLP DOI BibTeX RDF |
|
26 | David A. Basin, Bernd Krieg-Brückner |
Formalization of the Development Process. |
Algebraic Foundations of Systems Specification |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Hartmut Ehrig, Hans-Jörg Kreowski |
Refinement and Implementation. |
Algebraic Foundations of Systems Specification |
1999 |
DBLP DOI BibTeX RDF |
|
26 | Stephan Pfab, Harald Rueß, Sam Owre, Friedrich W. von Henke |
Towards Light-Weight Verification and Heavy-Weight Testing. |
Tool Support for System Specification, Development and Verification |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Rudolf Berghammer, Yassine Lakhnech, Wolfgang Reif |
Formal Methods and Tools: Introduction and Overview. |
Tool Support for System Specification, Development and Verification |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Malte Plath, Mark Ryan 0001 |
SFI: a Feature Integration Tool. |
Tool Support for System Specification, Development and Verification |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Leszek Holenderski, Axel Poigné |
Synchronie Workbench. |
Tool Support for System Specification, Development and Verification |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Zohar Manna, Nikolaj S. Bjørner, Anca Browne, Michael Colón, Bernd Finkbeiner, Mark C. Pichora, Henny B. Sipma, Tomás E. Uribe |
An Update on STeP: Deductive-Algorithmic Verification of Reactive Systems. |
Tool Support for System Specification, Development and Verification |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Bettina Buth |
PAMELA+PVS Verification of Sequential Programs. |
Tool Support for System Specification, Development and Verification |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Georg Rock, Werner Stephan 0001, Andreas Wolpers |
Modular reasoning about structured TLA specifications. |
Tool Support for System Specification, Development and Verification |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Peter Baumgartner 0001, Dorothea Schäfer |
Model Elimination with Simplification and its Application to Software Verification. |
Tool Support for System Specification, Development and Verification |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Kay Fuhrmann, Jan Hiemer |
Formal Verification of Statemate-Statecharts. |
Tool Support for System Specification, Development and Verification |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Ralf Behnke 0003, Rudolf Berghammer, Thorsten Hoffmann, Barbara Leoniuk, Peter Schneider |
Applications of the Rel View System. |
Tool Support for System Specification, Development and Verification |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Wolfgang Goerigk, Thilo Gaul, Wolf Zimmermann |
Correct Programs without Proof? On Checker-Based Program Verification. |
Tool Support for System Specification, Development and Verification |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Sergio Contini, Stefan Scheer, Marc Wilikens, G. de Cola, G. G. M. Cojazzi |
ASTRA: An Integrated Tool Set for Complex Systems Dependability Studies. |
Tool Support for System Specification, Development and Verification |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Christoph Lüth, Einar W. Karlsen, Kolyang 0001, Stefan Westmeier, Burkhart Wolff |
Tool Integration in the UniForM-Workbench. |
Tool Support for System Specification, Development and Verification |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Martin Lange, Martin Leucker, Thomas Noll 0001, Stephan Tobies |
Truth - A verification platform for concurrent systems. |
Tool Support for System Specification, Development and Verification |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Wolfram Kahl |
The Term Graph Programming System HOPS. |
Tool Support for System Specification, Development and Verification |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Lydie du Bousquet, Farid Ouabdesselam, Ioannis Parissis, Jean-Luc Richier, Nicolas Zuanon |
Lutess: a testing environment for synchronous software. |
Tool Support for System Specification, Development and Verification |
1998 |
DBLP DOI BibTeX RDF |
|
26 | Egon Börger (eds.) |
Specification and validation methods |
Specification and validation methods |
1995 |
DBLP BibTeX RDF |
|
26 | Guy E. Blelloch, K. Mani Chandy, Suresh Jagannathan (eds.) |
Specification of Parallel Algorithms, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, May 9-11, 1994 |
Specification of Parallel Algorithms |
1994 |
DBLP DOI BibTeX RDF |
|
26 | David B. Skillicorn |
Building Categorical Data Type Programs. |
Specification of Parallel Algorithms |
1994 |
DBLP DOI BibTeX RDF |
|
26 | Peter Wegner |
Beyond Computable Functions or Escape from the Turing Tarpit. |
Specification of Parallel Algorithms |
1994 |
DBLP DOI BibTeX RDF |
|
26 | Kenjiro Taura, Satoshi Matsuoka, Akinori Yonezawa |
ABCL/f: A Future-Based Polymorphic Typed Concurrent Object-Oriented Language- Its Design and Implementation. |
Specification of Parallel Algorithms |
1994 |
DBLP DOI BibTeX RDF |
|
26 | K. Mani Chandy, Beverly A. Sanders |
Compositional Specifications of Parallel Programs: NondeterministicData Flow. |
Specification of Parallel Algorithms |
1994 |
DBLP DOI BibTeX RDF |
|
26 | Andrew A. Chien, Mark Straka, Julian Dolby, Vijay Karamcheti, John Plevyak, Xingbin Zhang |
A Case Study in Irregular Parallel Programming. |
Specification of Parallel Algorithms |
1994 |
DBLP DOI BibTeX RDF |
|
26 | Leslie Lamport |
TLA in Pictures. |
Specification of Parallel Algorithms |
1994 |
DBLP DOI BibTeX RDF |
|
26 | Shakil Ahmed, Nicholas Carriero, David Gelernter |
A Program Building Tool for Parallel Applications. |
Specification of Parallel Algorithms |
1994 |
DBLP DOI BibTeX RDF |
|
26 | Anish Arora, Mohamed G. Gouda, George Varghese |
Constraint Satisfaction as a Basis for Designing Nonmasking Fault-Tolerance. |
Specification of Parallel Algorithms |
1994 |
DBLP DOI BibTeX RDF |
|
26 | Kazunori Ueda |
The Mode System of Moded Flat GHC. |
Specification of Parallel Algorithms |
1994 |
DBLP DOI BibTeX RDF |
|
26 | Boleslaw K. Szymanski |
Specifying Parallel Programs in a Functional Language: The EPL Experience. |
Specification of Parallel Algorithms |
1994 |
DBLP DOI BibTeX RDF |
|
26 | Michel Hurfin, Noël Plouzeau, Michel Raynal |
On Granularity of Events in Distributed Computations. |
Specification of Parallel Algorithms |
1994 |
DBLP DOI BibTeX RDF |
|
26 | Lawrence Snyder |
A Practical Parallel Programming Model. |
Specification of Parallel Algorithms |
1994 |
DBLP DOI BibTeX RDF |
|
26 | |
Preface. |
Specification of Parallel Algorithms |
1994 |
DBLP BibTeX RDF |
|
26 | Daniel Le Métayer |
Higher-Order Multiset Programming. |
Specification of Parallel Algorithms |
1994 |
DBLP DOI BibTeX RDF |
|
26 | Nancy A. Lynch |
Atomic Transactions for Multiprocessor Programming: A Formal Approach. |
Specification of Parallel Algorithms |
1994 |
DBLP DOI BibTeX RDF |
|
26 | Jayadev Misra |
A Discipline of Multiprogramming. |
Specification of Parallel Algorithms |
1994 |
DBLP DOI BibTeX RDF |
|
26 | William F. McColl |
BSP Programming. |
Specification of Parallel Algorithms |
1994 |
DBLP DOI BibTeX RDF |
|
26 | |
Foreward. |
Specification of Parallel Algorithms |
1994 |
DBLP BibTeX RDF |
|
26 | Thomas DeBoni, John Feo, Hugh Caffey, Frederick H. Hausheer |
Developing Molecular Dynamics Simulation Codes Using Mixed Language Programming. |
Specification of Parallel Algorithms |
1994 |
DBLP DOI BibTeX RDF |
|
26 | Yih-Kuen Tsay, Rajive L. Bagrodia |
Operational Implication of Conditional Unity Properties. |
Specification of Parallel Algorithms |
1994 |
DBLP DOI BibTeX RDF |
|
26 | Susan Flynn Hummel |
On the Implementation of Set-based Parallel Algorithms. |
Specification of Parallel Algorithms |
1994 |
DBLP DOI BibTeX RDF |
|
26 | Zohar Manna, Amir Pnueli |
Verification of parameterized programs. |
Specification and validation methods |
1993 |
DBLP BibTeX RDF |
|
26 | Egon Börger |
Annotated bibliography on evolving algebras. |
Specification and validation methods |
1993 |
DBLP BibTeX RDF |
|
26 | Charles Wallace 0001 |
The semantics of the C++ programming language. |
Specification and validation methods |
1993 |
DBLP BibTeX RDF |
|
26 | Yuri Gurevich |
Evolving algebras 1993: Lipari guide. |
Specification and validation methods |
1993 |
DBLP BibTeX RDF |
|
26 | Krzysztof R. Apt |
Program verification and Prolog. |
Specification and validation methods |
1993 |
DBLP BibTeX RDF |
|
26 | Miriam Leeser, Geoffrey Brown (eds.) |
Hardware Specification, Verification and Synthesis: Mathematical Aspects, Mathematical Science Institute Workshop, Cornall University, Ithaca, New York, USA, July 5-7, 1989, Proceedings |
Hardware Specification, Verification and Synthesis |
1990 |
DBLP DOI BibTeX RDF |
|
26 | Charles Rattray (eds.) |
Specification and Verification of Concurrent Systems [BCS-FACS Workshop, 6-8 July 1988, University of Stirling, Scotland, UK] |
Specification and Verification of Concurrent Systems |
1990 |
DBLP BibTeX RDF |
|
26 | Behnam Banieqbal, Howard Barringer, Amir Pnueli (eds.) |
Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings |
Temporal Logic in Specification |
1989 |
DBLP DOI BibTeX RDF |
|
26 | Christian Lengauer, Bikash Sabata, Farshid Arman |
A Mechanically Derived Systolic Implementation of Pyramid Initialization. |
Hardware Specification, Verification and Synthesis |
1989 |
DBLP DOI BibTeX RDF |
|
26 | Paul Loewenstein |
Reasoning about State Machines in Higher-Order Logic. |
Hardware Specification, Verification and Synthesis |
1989 |
DBLP DOI BibTeX RDF |
|
26 | Steven D. Johnson |
Manipulating Logical Organization with System Factorizations. |
Hardware Specification, Verification and Synthesis |
1989 |
DBLP DOI BibTeX RDF |
|
26 | David L. Dill |
Complete Trace Structures. |
Hardware Specification, Verification and Synthesis |
1989 |
DBLP DOI BibTeX RDF |
|
26 | George J. Milne |
Design for Verifiability. |
Hardware Specification, Verification and Synthesis |
1989 |
DBLP DOI BibTeX RDF |
|
26 | Alain J. Martin |
The Design of a Delay-Insensitive Microprocessor: An Example of Circuit Synthesis by Program Transformation. |
Hardware Specification, Verification and Synthesis |
1989 |
DBLP DOI BibTeX RDF |
|
26 | Mary Sheeran |
Categories for the Working Hardware Designer. |
Hardware Specification, Verification and Synthesis |
1989 |
DBLP DOI BibTeX RDF |
|
26 | Daniel Weise |
Constraints, Abstraction and Verification. |
Hardware Specification, Verification and Synthesis |
1989 |
DBLP DOI BibTeX RDF |
|
26 | Jeffrey J. Joyce |
Totally Verified Systems: Linking Verified Software to Verified Hardware. |
Hardware Specification, Verification and Synthesis |
1989 |
DBLP DOI BibTeX RDF |
machine-assisted theorem proving, safety-critical systems, higher-order logic, hardware verification, compiler correctness |
26 | Shiu-Kai Chin |
Combining Engineering Vigor with Mathematical Rigor. |
Hardware Specification, Verification and Synthesis |
1989 |
DBLP DOI BibTeX RDF |
|
26 | Francois D. Carrez, Dominique Méry |
Temporal Specifications Directed by Grammar and Design of Process Networks. |
Specification and Verification of Concurrent Systems |
1988 |
DBLP BibTeX RDF |
|
26 | Pierre America |
The Interplay of Theory and Practice in a Parallel Object-Oriented Language. |
Specification and Verification of Concurrent Systems |
1988 |
DBLP BibTeX RDF |
|
26 | Udo Thalmann |
Analysis of Estelle Specifications. |
Specification and Verification of Concurrent Systems |
1988 |
DBLP BibTeX RDF |
|
26 | Elspeth Cusack |
Formal Design and Development of Ada Real-Time Embedded Systems. |
Specification and Verification of Concurrent Systems |
1988 |
DBLP BibTeX RDF |
|
26 | W. David Crowe, Peter E. D. Strain-Clark |
A Concurrent Approach to the Towers of Hanoi. |
Specification and Verification of Concurrent Systems |
1988 |
DBLP BibTeX RDF |
|
26 | Jawahar Malhotra, Robert M. Shapiro, Scott A. Smolka, Alessandro Giacalone |
Winston: A Tool for Hierarchical Design and Simulation of Concurrent Systems. |
Specification and Verification of Concurrent Systems |
1988 |
DBLP BibTeX RDF |
|
26 | Mathai Joseph, Asis Goswami |
Semantics for Specifying Real-Time Systems. |
Specification and Verification of Concurrent Systems |
1988 |
DBLP BibTeX RDF |
|
26 | Parosh Aziz Abdulla, Stefan Arnborg |
An Equivalence Decision Problem in Systolic Array Verification. |
Specification and Verification of Concurrent Systems |
1988 |
DBLP BibTeX RDF |
|
26 | L. D. Natanson, W. B. Samson |
An Animator for CSP Implemented in HOPE. |
Specification and Verification of Concurrent Systems |
1988 |
DBLP BibTeX RDF |
|
26 | Antonella Di Stefano, Fabio Gibilisco, Orazio Mirabella |
Modeling of Distributed Problem Solving using Logic Modified Petri Nets. |
Specification and Verification of Concurrent Systems |
1988 |
DBLP BibTeX RDF |
|
26 | J. D. Parker |
Synchronization in Network Protocols. |
Specification and Verification of Concurrent Systems |
1988 |
DBLP BibTeX RDF |
|
26 | Robin A. Nicholl |
Concurrency in Modula-2: Properties of the Language Primitives. |
Specification and Verification of Concurrent Systems |
1988 |
DBLP BibTeX RDF |
|
26 | Paul A. J. Tilanus, Yan Yang |
Experience with LOTOS and Environment LOTTE on an ISDN Protocol. |
Specification and Verification of Concurrent Systems |
1988 |
DBLP BibTeX RDF |
|
26 | Rosalind L. Ibrahim, John A. Ogden, Shirley A. Williams |
Should Concurrency be Specified? |
Specification and Verification of Concurrent Systems |
1988 |
DBLP BibTeX RDF |
|
26 | Christopher M. Holt |
Dynamic Communication Links. |
Specification and Verification of Concurrent Systems |
1988 |
DBLP BibTeX RDF |
|
26 | E. Pascal Gribomont |
From Synchronous to Asynchronous Communication. |
Specification and Verification of Concurrent Systems |
1988 |
DBLP BibTeX RDF |
|
26 | Robert G. Clark |
The Design ad Development of Ada Real-Time Embedded Systems. |
Specification and Verification of Concurrent Systems |
1988 |
DBLP BibTeX RDF |
|
26 | Vincenza Carchiolo, Alberto Faro, Michele Malgeri |
A Tool for the Performance Analysis of Concurrent Systems. |
Specification and Verification of Concurrent Systems |
1988 |
DBLP BibTeX RDF |
|
26 | Kenneth R. Parker, Rainer A. Berger, Kong E. Cheng |
Protocol Analysis and Implementation using NPNs and SDL. |
Specification and Verification of Concurrent Systems |
1988 |
DBLP BibTeX RDF |
|
26 | Vangalur S. Alagar, Greetha Ramanathan |
Formal Environment and Tools Description for the Analysis of Real Time Concurrent Systems. |
Specification and Verification of Concurrent Systems |
1988 |
DBLP BibTeX RDF |
|
26 | Wang Yi 0001 |
Specifying Processes in Terms of Their Environments. |
Specification and Verification of Concurrent Systems |
1988 |
DBLP BibTeX RDF |
|
26 | Bernhard Josko |
MCTL - An Extension of CTL for Modular Verification of Concurrent Systems. |
Temporal Logic in Specification |
1987 |
DBLP DOI BibTeX RDF |
|
26 | Edmund M. Clarke, Orna Grumberg |
The Model Checking Problem for Concurrent Systems with Many Similar Processes. |
Temporal Logic in Specification |
1987 |
DBLP DOI BibTeX RDF |
|
26 | Pierre Wolper |
On the Relation of Programs and Computations to Models of Temporal Logic. |
Temporal Logic in Specification |
1987 |
DBLP DOI BibTeX RDF |
|
26 | Colin Stirling |
Comparing Linear and Branching Time Temporal Logics. |
Temporal Logic in Specification |
1987 |
DBLP DOI BibTeX RDF |
|
26 | Susanne Graf, Joseph Sifakis |
An Expressive Logic for a Process Algebra with Silent Actions. |
Temporal Logic in Specification |
1987 |
DBLP DOI BibTeX RDF |
|
26 | Ruurd Kuiper 0001 |
Enforcing Nondeterminism via Linear Time Temporal Logic Specifications using Hiding. |
Temporal Logic in Specification |
1987 |
DBLP DOI BibTeX RDF |
|
26 | Behnam Banieqbal, Howard Barringer |
Temporal Logic with Fixed Points. |
Temporal Logic in Specification |
1987 |
DBLP DOI BibTeX RDF |
|
26 | Dov M. Gabbay |
The Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems. |
Temporal Logic in Specification |
1987 |
DBLP DOI BibTeX RDF |
|
26 | Zhou Chaochen |
Specifying Communicating Systems with Temporal Logic. |
Temporal Logic in Specification |
1987 |
DBLP DOI BibTeX RDF |
|
26 | Roger Hale |
Using Temporal Logic for Prototyping: The Design of a Lift Controller. |
Temporal Logic in Specification |
1987 |
DBLP DOI BibTeX RDF |
|
26 | Ron Koymans |
Specifying Message Passing Systems Requires Extending Temporal Logic. |
Temporal Logic in Specification |
1987 |
DBLP DOI BibTeX RDF |
|
26 | Samit Khosla, T. S. E. Maibaum |
The Prescription and Description of State Based Systems. |
Temporal Logic in Specification |
1987 |
DBLP DOI BibTeX RDF |
|
26 | Amílcar Sernadas, José Luiz Fiadeiro, Cristina Sernadas, Hans-Dieter Ehrich |
Abstract Object Types: A Temporal Perspective. |
Temporal Logic in Specification |
1987 |
DBLP DOI BibTeX RDF |
|
26 | P. M. Melliar-Smith |
Extending Interval Logic to Real Time Systems. |
Temporal Logic in Specification |
1987 |
DBLP DOI BibTeX RDF |
|
26 | Shmuel Katz, Doron A. Peled |
Interleaving Set Temporal Logic. |
Temporal Logic in Specification |
1987 |
DBLP DOI BibTeX RDF |
|
26 | Moshe Y. Vardi |
Unified Verification Theory. |
Temporal Logic in Specification |
1987 |
DBLP DOI BibTeX RDF |
|