Search results for "specification"

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