Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Gilles Bernot, Sophie Coudert, Pascale Le Gall |
Towards Heterogeneous Formal Specification. |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Anne Elisabeth Haxthausen, Friederike Nickl |
Pushouts of Order-Sorted Algebraic Specifications. |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Christel Baier, Mila E. Majster-Cederbaum |
A Categorical Characterization of Consistency Results. |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Michele Boreale |
Symbolic Bisimulation for Timed Processes. |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
1 | James Harland, David J. Pym, Michael Winikoff |
Programming in Lygon: A System Demonstration. |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Xiao Jun Chen, Flavio Corradini, Roberto Gorrieri |
A Study on the Specification and Verification of Performance Properties (Extended Abstract). |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Michel Le Borgne, Hervé Marchand, Éric Rutten, Mazen Samaan |
Formal Verification of SIGNAL Programs: Application to a Power Transformer Station Controller. |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Janet Bertot, Yves Bertot |
CtCoq: A System Presentation. |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
1 | M. R. K. Krishna Rao |
Some Characteristics of Strong Innermost Normalization. |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Irek Ulidowski |
Finite Axiom Systems for Testing Preorder and De Simone Process Languages. |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Douglas R. Smith |
Toward a Classification Approach to Design. |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Yoshinao Isobe, Yutaka Sato, Kazuhito Ohmaki |
Approximative Analysis by Process Algebra with Graded Spatial Actions. |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
1 | André Arnold, Didier Bégay, Jean-Pierre Radoux |
The Embedded Software of an Electrical Meter: An Experiment in Using Formal Methods in an Industrial Project. |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Amar Bouali, Annie Ressouche, Valérie Roy, Robert de Simone |
The FC2TOOLS Set. |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Stephan Melzer, Stefan Römer, Javier Esparza |
Verification Using PEP. |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Bart Jacobs 0001 |
Coalgebraic Specifications and Models of Determinatistic Hybrid Systems. |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Wolfram Schulte, Thilo Schwinn, Ton Vullinghs |
TkGofer: A Functional GUI Library. |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Eric C. R. Hehner |
Boolean Formalism and Explanations. |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Martin Wirsing, Maurice Nivat (eds.) |
Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996, Proceedings |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Gérard Berry |
Constructive Semantics of Esterel: From Theory to Practice (Abstract). |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
1 | John S. Fitzgerald |
Two Industrial Trials of Formal Specification. |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Gavilanes, Javier Leach, Susana Nieva |
Free Variable Tableaux for a Many Sorted Logic with Preorders. |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Ranan Fraer |
Tracing the Origins of Verification Conditions. |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Richard Buckland, Michael Johnson |
ECHIDNA: A System for Manipulating Explicit Choice Higher Dimensional Automata. |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Deepak Kapur, Mahadevan Subramaniam |
Automating Induction over Mutually Recursive Functions. |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Rolf Hennicker, Christoph Schmitz 0002 |
Object-Oriented Implementation of Abstract Data Type Specifications. |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Dino Mandrioli |
Applying Research Results in the Industrial Environment: the Case of the TRIO Specification Language. |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Mark van den Brand, Arie van Deursen, Paul Klint, Steven Klusener, Emma van der Meulen |
Industrial Applications of ASF+SDF. |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Robert Geisler, Marcus Klar, Felix Cornelius |
InterACT: An Interactive Theorem Prover for Algebraic Specifications. |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Barbara Paech |
Algebraic View Specification. |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Voisin |
A New Proof-Manager and Graphic Interface for the Larch Prover. |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Arnd Poetzsch-Heffter |
Using Occurence and Evolving Algebras for the Specification of Language-Based Programming Tools. |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Sriram Sankar |
Introducing Formal Methods to Software Engineers Through OMG's COBRA Environment and Interface Definition Language. |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Didier Bert, Rachid Echahed, Kamel Adi |
Resolution of Goals with the Functional and Logic Programming Language LPG: Impact of Abstract Interpretation. |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Paul Klint, Pieter A. Olivier |
The TOOLBUS Coordination Architecture - A Demonstration. |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Jan A. Bergstra, Paul Klint |
The Discrete Time TOOLBUS. |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Luca Aceto, Anna Ingólfsdóttir |
An Equational Axiomatization of Observation Congruence for Prefix Iteration. |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Michel Bidoit, Christine Choppy, Frédéric Voisin |
ASSPEQUIE: An Integrated Specification Environment Providing Inter-Operability of Tools. |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Wan J. Fokkink |
On the Completeness of the Euations for the Kleene Star in Bisimulation. |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Douglas J. Howe |
Semantic Foundations for Embedding HOL in Nuprl. |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Nobuo Kawaguchi, Toshiki Sakabe, Yasuyoshi Inagaki |
TERSE: A Visual Environment for Supporting Analysis, Verification and Transformation of Term Rewriting Systems. |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Massimo Marchiori |
Proving Existential Termination of Normal Logic Programs. |
AMAST |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Bharat Jayaraman, Kyonghee Moon |
The SuRE Programming Framework. |
AMAST |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Anne Bergeron |
Symbolic Timing Devices. |
AMAST |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Ewa Orlowska |
Information Algebras. |
AMAST |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Hasan M. Jamil, Laks V. S. Lakshmanan |
An Object-Oriented Front-end for Deductive Databases. |
AMAST |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Naima Brown, Abdelillah Mokkedem |
On Mechanizing Proofs within a Complete Proof System for Unity. |
AMAST |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Mads Dam |
On the Decidability of Process Equivalences for the pi-calculus. |
AMAST |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Catherine Oriat |
Detecting Isomorphisms of Modular Specifications with Diagrams. |
AMAST |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Jeannette M. Wing |
Teaching Mathematics to Software Engineers. |
AMAST |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Deepak Kapur, Mahadevan Subramaniam |
Automated Reasoning About Parallel Algorithms Using Powerlists. |
AMAST |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Anne Elisabeth Haxthausen |
Order-sorted Algebraic Specifications with Higher-order Functions. |
AMAST |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Luca de Alfaro, Zohar Manna |
Verification in Continuous Time by Discrete Reasoning. |
AMAST |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Joseph A. Goguen, Razvan Diaconescu |
An Introduction to Category-based Equational Logic. |
AMAST |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Vangalur S. Alagar, Maurice Nivat (eds.) |
Algebraic Methodology and Software Technology, 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995, Proceedings |
AMAST |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Maritta Heisel |
Specification of the Unix File System: A Comparative Case Study. |
AMAST |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi |
Confluence in Concurrent Constraint Programming. |
AMAST |
1995 |
DBLP DOI BibTeX RDF |
|
1 | David Gries |
Equational Logic as a Tool. |
AMAST |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Elizabeth I. Leonard, Amy E. Zwarico |
An Algebraic Framework for Developing and Maintaining Real-Time Systems. |
AMAST |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Lalita Jategaonkar Jagadeesan, Radha Jagadeesan |
Causality and True Concurrency: A Data-flow Analysis of the Pi-Calculus (Extended Abstract). |
AMAST |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Éric Badouel, Philippe Darondeau, Jean-Claude Raoult |
Context-Free Event Domains are Recognizable. |
AMAST |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Corradini 0001, Fabio Gadducci |
CPO Models for Infinite Term Rewriting. |
AMAST |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Bart Jacobs 0001 |
Mongruences and Cofree Coalgebras. |
AMAST |
1995 |
DBLP DOI BibTeX RDF |
|
1 | María Victoria Cengarle |
Semantic Typing for Parametric Algebraic Specifications. |
AMAST |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Michel Bidoit, Rolf Hennicker |
Proving the Correctness of Behavioural Implementations. |
AMAST |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Axel Dold |
Representing, Verifying and Applying Software Development Steps using the PVS System. |
AMAST |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Houari A. Sahraoui |
The METAGEN System. |
AMAST |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Krzysztof R. Apt, Ingrid Luitjes |
Verification of Logic Programs with Delay Declarations. |
AMAST |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Bharat Jayaraman, Mauricio Osorio 0001, Kyonghee Moon |
Partial Order Programming (Revisited). |
AMAST |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Rohit Parikh |
Knowledge Based Computation (Extended Abstract). |
AMAST |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Peter Bumbulis, Paulo S. C. Alencar, Donald D. Cowan, Carlos José Pereira de Lucena |
A Framework for Machine-Assisted User Interface Verification. |
AMAST |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Angelo Montanari, Maarten de Rijke |
Completeness Results for Two-sorted Metric Temporal Logics. |
AMAST |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Christian Prehofer |
Higher-Order Narrowing with Convergent Systems. |
AMAST |
1995 |
DBLP DOI BibTeX RDF |
|
1 | P. Rajagopalan, Chi Ping Tsang |
A Generic Algebra for Data Collections Based on Constructive Logic. |
AMAST |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Rajiv Bagai, Rajshekhar Sunderraman |
An Algebraic Construction of the Well-Founded Model. |
AMAST |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Yoshinao Isobe, Yutaka Sato, Kazuhito Ohmaki |
A Calculus of Countable Broadcasting Systems. |
AMAST |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Allan Cheng |
Petri Nets, Traces, and Local Model Checking. |
AMAST |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Laks V. S. Lakshmanan, Iyer N. Subramanian, Despina Papoulis, Nematollaah Shiri |
A Declarative System for Multi-database Interoperability. |
AMAST |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Gian-Luigi Ferrari 0002, Ugo Montanari |
Dynamic Matrices and the Cost Analysis of Concurrent Programs. |
AMAST |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Delphine Terrasse |
Encoding Natural Semantics in Coq. |
AMAST |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Ted Ralston, Susan L. Gerhart, Dan Craigen |
The Role of Education and Trainig in the Industrial Application of Formal Methods. |
AMAST |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Adel Bouhoula, Michaël Rusinowitch |
SPIKE: A System for Automatic Inductive Proofs. |
AMAST |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Jutta Eusterbrock |
SEAMLESS: Knowledge Based Evolutionary System Synthesis. |
AMAST |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Collette, Edgar Knapp |
Logical Foundations for Compositional Verification and Development of Concurrent Programs in UNITY. |
AMAST |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Martin Gogolla, Rudolf Herzig |
An Algebraic Development Technique for Information Systems. |
AMAST |
1995 |
DBLP DOI BibTeX RDF |
|
1 | Maurice Nivat, Charles Rattray, Teodor Rus, Giuseppe Scollo (eds.) |
Algebraic Methodology and Software Technology (AMAST '93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993 |
AMAST |
1994 |
DBLP BibTeX RDF |
|
1 | Xue-Miao Lu, Tharam S. Dillon |
Towards an Algebraic Theory of Inheritance in Project Oriented Programming. |
AMAST |
1993 |
DBLP BibTeX RDF |
|
1 | Nicoletta Sabadini, Sebastiano Vigna, Robert F. C. Walters |
A Notion of Refinement for Automata. |
AMAST |
1993 |
DBLP BibTeX RDF |
|
1 | Don Pigozzi, Antonino Salibra |
Dimension-Complemented Lambda Abstraction Algebras. |
AMAST |
1993 |
DBLP BibTeX RDF |
|
1 | Rob J. van Glabbeek |
Full Abstraction in Structural Operational Semantics (Extended Abstract). |
AMAST |
1993 |
DBLP BibTeX RDF |
|
1 | Maura Cerioli, Gianna Reggio |
Algebraic-Oriented Institutions. |
AMAST |
1993 |
DBLP BibTeX RDF |
|
1 | Martin Gogolla, Ingo Claßen |
An Object-Oriented Design for the ACT ONE Environment. |
AMAST |
1993 |
DBLP BibTeX RDF |
|
1 | George Loegel, Chinya V. Ravishankar |
An Algebraic Approach to Modeling in Software Engineering. |
AMAST |
1993 |
DBLP BibTeX RDF |
|
1 | Till Mossakowski |
Parameterized Recursion Theory - A Tool for the Systematic Classification of Specification Methods. |
AMAST |
1993 |
DBLP BibTeX RDF |
|
1 | Steve A. Schneider |
Rigorous Specification of Real-Time Systems. |
AMAST |
1993 |
DBLP BibTeX RDF |
|
1 | Peter Thiemann 0001 |
An Overview of the SODA System. |
AMAST |
1993 |
DBLP BibTeX RDF |
|
1 | David de Frutos-Escrig |
A Characterization of LOTOS Representable Networks of Parallel Processes. |
AMAST |
1993 |
DBLP BibTeX RDF |
|
1 | François Laroussinie, Sophie Pinchinat, Philippe Schnoebelen |
Translation Results for Modal Logics of Reactive Systems. |
AMAST |
1993 |
DBLP BibTeX RDF |
|
1 | Martin Erwig |
Specifying Type Systems with Multi-Level Order-Sorted Algebra. |
AMAST |
1993 |
DBLP BibTeX RDF |
|
1 | Dominique Bolignano, Mourad Debbabi |
A Coherent Type System for a Concurrent, Functional and Imperative Programming Language. |
AMAST |
1993 |
DBLP BibTeX RDF |
|