Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Bernd Grahlmann |
The State of PEP. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
C code generation, Simulation, Verification, Parallel programs, Petri nets, SDL, PEP, 3D visualisation |
1 | Leila Silva, Augusto Sampaio, Edna Barros, Juliano Iyoda |
An Algebraic Approach to Combining Processes in a Hardware/Software Partitioning Environment. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Glynn Winskel |
A Linear Metalanguage for Concurrency. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Pamela Zave |
Systematic Design of Call-Coverage Features. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Tomohiro Yoneda, Bin Zhou, Bernd-Holger Schlingloff |
Verification of Bounded Delay Asynchronous Circuits with Timed Traces. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Jan Friso Groote, Radu Mateescu 0001 |
Verification of Temporal Properties of Processes in a Setting with Data. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Zohar Manna, Anca Browne, Henny Sipma, Tomás E. Uribe |
Visual Abstractions for Temporal Verification. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Heinemann |
Separating Sets by Modal Formulas. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Bettina Buth, Jan Peleska 0001, Hui Shi 0001 |
Combining Methods for the Livelock Analysis of a Fault-Tolerant System. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Martin Erwig |
Categorical Programming with Abstract Data Types. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Jesús Manuel Almendros-Jiménez |
Improving Computations in a Typed Functional Logic Language. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Maarten Steen, John Derrick, Eerke A. Boiten, Howard Bowman |
Consistency of Partial Process Specifications. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Jürgen Dingel |
A Trace-Based Refinement Calculus for Shared-Variable Parallel Programs. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Don Pigozzi |
Abstract Algebraic Logic. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Jo Erskine Hannay |
Abstraction Barriers in Equational Proof. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
|
1 | W. Marco Schorlemmer |
Term Rewriting in a Logic of Special Relations. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Pietro Cenciarelli |
An Algebraic View of Program Composition. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Hermano Perrelli de Moura, Luis Carlos de Sousa Menezes |
The ABACO System - An Algebraic Based Action COmpiler. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Blas C. Ruiz Jiménez |
Condensing Lemmas for Pure Type Systems with Universes. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Bagnara, Peter Schachte |
Factorizing Equivalent Variable Pairs in ROBDD-Based Implementations of Pos. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Mourad Debbabi, Abdelkader Benzakour, Béchir Ktari |
A Synergy Between Model-Checking and Type Inference for the Verification of Value-Passing Higher-Order Processes. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Fausto Spoto, Giorgio Levi |
Abstract Interpretation of Prolog Programs. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Rolf Hennicker, Michel Bidoit |
Observational Logic. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Michel Bidoit, Donald Sannella, Andrzej Tarlecki |
Architectural Specifications in CASL. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Paola Quaglia |
Pi-Congruences as CCS Equivalences. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Zhou Chaochen |
Duration Calculus, a Logical Approach to Real-Time Systems. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Wlodzimierz Drabent, Pawel Pietrzak |
Type Analysis for CHIP. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Zoltan Gassmann, Luis Mandel, Roshan Sembacuttiaratchy |
RECOPLA: An Extendible Graphic Meta-Editor. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Rob J. van Glabbeek, Peter Rittgen |
Scheduling Algebra. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Maarten Marx |
Interpolation in Modal Logic. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
|
1 | José Luiz Fiadeiro, Antónia Lopes |
Algebraic Semantics of Coordination or What Is in a Signature. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Grégoire Sutre, Alain Finkel, Olivier F. Roux, Franck Cassez |
Effective Recognizability and Model Checking of Reactive Fiffo Automata. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Valeria de Paiva, Andrea Schalk |
Building Models of Linear Logic. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Cerone, Alex J. Cowie, George J. Milne |
The Circal System. |
AMAST |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Jim Grundy, Thomas Långbacka |
Recording HOL Proofs in a Structured Browsable Format. |
AMAST |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Arno Schönegge |
The Hidden Function Question Revisited. |
AMAST |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Cousot, Radhia Cousot |
Abstract Interpretation of Algebraic Polynomial Systems (Extended Abstract). |
AMAST |
1997 |
DBLP DOI BibTeX RDF |
|
1 | José João Almeida, Luís Soares Barbosa, F. Luis Neves, José Nuno Oliveira |
CAMILA: Prototyping and Refinement of Constructive Specifications. |
AMAST |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Teodor Rus, Tom Halverson, Eric Van Wyk, Robert Kooima |
An Algebraic Language Processing Environment. |
AMAST |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Xiaoqun Du, Kevin T. McDonnell, Evangelos Nanos, Y. S. Ramakrishna, Scott A. Smolka |
Software Design, Specification, and Verification: Lessons Learned from the Rether Case Study. |
AMAST |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Piergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters |
Representing Place/Transition Nets in Span(Graph). |
AMAST |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Amílcar Sernadas, Cristina Sernadas, Carlos Caleiro |
Synchronization of Logics with Mixed Rules: Completeness Preservation. |
AMAST |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Owen Traynor, Daniel Hazel, Peter Kearney, Andrew P. Martin, Ray Nickson, Luke Wildman |
The Cogito Development System. |
AMAST |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Slim Ben Lamine, John Plaice |
Software Configuration with Information Systems. |
AMAST |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Colin J. Fidge |
Refinement Rules for Real-Time Multi-tasking Programs. |
AMAST |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Bettina Buth |
PAMELA + PVS. |
AMAST |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Nicole Lévy, Jeanine Souquières |
Modelling Specification Construction by Successive Approximations. |
AMAST |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Xiao Jun Chen, Flavio Corradini |
On the Specification and Verification of Performance Properties for a Timed Process Algebra. |
AMAST |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Giacobazzi, Francesco Ranzato |
Completeness in Abstract Interpretation: A Domain Perspective. |
AMAST |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Carron Shankland, Muffy Thomas |
Symbolic Bisimulation for Full LOTOS. |
AMAST |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Cerone, George J. Milne |
Specification of Timing Constraints within the Circal Process Algebra. |
AMAST |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Irek Ulidowski, Shoji Yuen |
Extending Process Languages with Time. |
AMAST |
1997 |
DBLP DOI BibTeX RDF |
|
1 | C. K. Low |
Analysing Multi-Agent System Traces with IDaF. |
AMAST |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Grit Denker, Jaime Ramos, Carlos Caleiro, Amílcar Sernadas |
A Linear Temporal Logic Approach to Objects with Transactions. |
AMAST |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Michael Johnson (eds.) |
Algebraic Methodology and Software Technology, 6th International Conference, AMAST '97, Sydney, Australia, December 13-17, 1997, Proceedings |
AMAST |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Ken Robinson |
The B Method and the B Toolkit. |
AMAST |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Martin de Groot, Ken Robinson |
Modular Refinement and Model Building. |
AMAST |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Yves Bertot |
Head-Tactics Simplification. |
AMAST |
1997 |
DBLP DOI BibTeX RDF |
|
1 | John Harrison 0001 |
Floating Point Verification in HOL Light: The Exponential Function. |
AMAST |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Rowan Davies |
Refinement-Type Checker for Standard ML. |
AMAST |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Alastair J. Telford, David Turner |
Ensuring Streams Flow. |
AMAST |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Maura Cerioli, Anne E. Haxthausen, Bernd Krieg-Brückner, Till Mossakowski |
Permissive Subsorted Partial Logic in CASL. |
AMAST |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Glenn Bruns, Ian Sutherland |
Model Checking and Fault Tolerance. |
AMAST |
1997 |
DBLP DOI BibTeX RDF |
|
1 | David Lesens |
Invariants of Parameterized Binary Tree Networks as Greatest Fixpoints. |
AMAST |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Bettina Buth, Michel Kouvaras, Jan Peleska 0001, Hui Shi 0001 |
Deadlock Analysis for a Fault-Tolerant System. |
AMAST |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Jozef Hooman |
Verification of Distributed Real-Time and Fault-Tolerant Protocols. |
AMAST |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Robert B. France, Jean-Michel Bruel, Maria M. Larrondo-Petrie, Emanuel S. Grant |
Rigorous Object-Oriented Modeling: Integrating Formal and Informal Notations. |
AMAST |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Tomasz Janowski |
On Bisimulation, Fault-Monotonicity and Provable Fault-Tolerance. |
AMAST |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Piergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters |
Span(Graph): A Categorial Algebra of Transition Systems. |
AMAST |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Bart Jacobs 0001 |
Invariants, Bisimulations and the Correctness of Coalgebraic Refinements. |
AMAST |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Sreeranga P. Rajan, Masahiro Fujita |
ATM Switch Design: Parametric High-Level Modeling and Formal Verification. |
AMAST |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Maris A. Ozols, Katherine A. Eastaughffe, Anthony Cant |
DOVE: A Tool for Design Oriented Verification and Evaluation. |
AMAST |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Richard F. Paige |
Case Studies in Using a Meta-Method for Formal Method Integration. |
AMAST |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Joachim Parrow, Björn Victor |
The Update Calculus (Extended Abstract). |
AMAST |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Frank Piessens, Eric Steegmans |
Selective Attribute Elimination for Categorial Data Specifications. |
AMAST |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Antónia Lopes, José Luiz Fiadeiro |
Preservation and Reflection in Specification. |
AMAST |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Farn Wang, Pao-Ann Hsiung |
Parametric Analysis of Computer Systems. |
AMAST |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Martin Simons 0001, Michel Sintzoff |
Algebraic Composition and Refinement of Proofs. |
AMAST |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Sébastien Limet, Frédéric Saubion |
On Partial Validation of Logic Programs. |
AMAST |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Stephen L. Bloom, Anna Labella, Zoltán Ésik, Ernest G. Manes |
Iteration 2-Theories: Extended Abstract. |
AMAST |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Pietro Cenciarelli, Alexander Knapp, Bernhard Reus, Martin Wirsing |
From Sequential to Multi-Threaded Java: An Event-Based Operational Semantics. |
AMAST |
1997 |
DBLP DOI BibTeX RDF |
|
1 | José Luiz Fiadeiro |
On the Emergence of Properties in Component-Based Systems. |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Monica Marcus, Amir Pnueli |
Using Ghost Variables to Prove Refinement. |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
1 | James Harland, David J. Pym, Michael Winikoff |
Programming in Lygon: An Overview. |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Reinhard Bündgen, Werner Lauterbach |
Combining Reductions and Computations in ReDuX. |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Friedrich W. von Henke, Marko Luther, Holger Pfeifer, Harald Rueß, Detlef Schwier, Martin Strecker, Matthias Wagner 0001 |
The TYPELAB Specification and Verification Environment. |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Erdmann, Ingo Claßen |
ALPHA - A Class Library for a Metamodel Based on Algebraic Graph Theory. |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Didrich, Carola Gerke, Wolfgang Grieskamp, Christian Maeder, Peter Pepper |
Towards Integrating Algebraic Specification and Functional Programming: the Opal System (Extended Abstract). |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Broy |
Algebraic Specification of Reactive Systems. |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
1 | E. Pascal Gribomont |
Preprocessing for Invariant Validation. |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Bernd J. Krämer |
Using Heterogeneous Formal Methods in Distributed Software Engineering Education. |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Davide Ancona, Elena Zucca |
A Formal Framework for Modules with State. |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun |
Incremental Formalization. |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Richard Jüllig, Yellamraju V. Srinivas, J. Liu |
SPECWARE: An Advanced Evironment for the Formal Development of Complex Software Systems. |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Radu Grosu, Ketil Stølen |
A Model for Mobile Point-to-Point Data-flow Networks without Channel Sharing. |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Parot |
A Logic-Based Technology to Mechanize Software Components Reuse. |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Jan Friso Groote, Jaco van de Pol |
A Bounded Retransmission Protocol for Large Data Packets. |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Arie van Deursen, Peter D. Mosses |
ASD: The Action Semantic Description Tools. |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Jeanine Souquières, Nicole Lévy |
PROPLANE: A Specification Development Environment. |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Sébastien Limet, Pierre Réty |
Conditional Directed Narrowing. |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|