default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5. AMAST 1996: Munich, Germany
- Martin Wirsing, Maurice Nivat:
Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, Munich, Germany, July 1-5, 1996, Proceedings. Lecture Notes in Computer Science 1101, Springer 1996, ISBN 3-540-61463-X
Education Day: Industrial Applications of Formal Methods
- John S. Fitzgerald:
Two Industrial Trials of Formal Specification. 1-8 - Mark van den Brand, Arie van Deursen, Paul Klint, Steven Klusener, Emma van der Meulen:
Industrial Applications of ASF+SDF. 9-18 - 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. 19-32 - Dino Mandrioli:
Applying Research Results in the Industrial Environment: the Case of the TRIO Specification Language. 33-42 - Bernd J. Krämer:
Using Heterogeneous Formal Methods in Distributed Software Engineering Education. 43-51 - Sriram Sankar:
Introducing Formal Methods to Software Engineers Through OMG's COBRA Environment and Interface Definition Language. 52-61
Conference
Invited Talk
- Douglas R. Smith:
Toward a Classification Approach to Design. 62-84
Session 1: Theorem Proving
- Douglas J. Howe:
Semantic Foundations for Embedding HOL in Nuprl. 85-101 - Antonio Gavilanes, Javier Leach, Susana Nieva:
Free Variable Tableaux for a Many Sorted Logic with Preorders. 102-116 - Deepak Kapur, Mahadevan Subramaniam:
Automating Induction over Mutually Recursive Functions. 117-131
Session 2: Algebraic Specification
- Anne Elisabeth Haxthausen, Friederike Nickl:
Pushouts of Order-Sorted Algebraic Specifications. 132-147 - Davide Ancona, Elena Zucca:
A Formal Framework for Modules with State. 148-162 - Rolf Hennicker, Christoph Schmitz:
Object-Oriented Implementation of Abstract Data Type Specifications. 163-179
Session 3: Concurrent and Reactive Systems I
- Wan J. Fokkink:
On the Completeness of the Euations for the Kleene Star in Bisimulation. 180-194 - Luca Aceto, Anna Ingólfsdóttir:
An Equational Axiomatization of Observation Congruence for Prefix Iteration. 195-209 - Irek Ulidowski
:
Finite Axiom Systems for Testing Preorder and De Simone Process Languages. 210-224
Invited Talk
- Gérard Berry:
Constructive Semantics of Esterel: From Theory to Practice (Abstract). 225
Session 4: Program Verification
- Monica Marcus, Amir Pnueli:
Using Ghost Variables to Prove Refinement. 226-240 - Ranan Fraer:
Tracing the Origins of Verification Conditions. 241-255 - E. Pascal Gribomont:
Preprocessing for Invariant Validation. 256-270 - Michel Le Borgne, Hervé Marchand, Éric Rutten, Mazen Samaan:
Formal Verification of SIGNAL Programs: Application to a Power Transformer Station Controller. 271-285
Invited Talk
- Jan A. Bergstra, Paul Klint:
The Discrete Time TOOLBUS. 286-305
Session 5: Concurrent and Reactive Systems II
- Xiao Jun Chen, Flavio Corradini, Roberto Gorrieri:
A Study on the Specification and Verification of Performance Properties (Extended Abstract). 306-320 - Michele Boreale:
Symbolic Bisimulation for Timed Processes. 321-335 - Yoshinao Isobe, Yutaka Sato, Kazuhito Ohmaki:
Approximative Analysis by Process Algebra with Graded Spatial Actions. 336-350
Invited Talk
- Eric C. R. Hehner:
Boolean Formalism and Explanations. 351-374
Session 6: Logic Programming and Term Rewriting
- Massimo Marchiori:
Proving Existential Termination of Normal Logic Programs. 375-390 - James Harland, David J. Pym, Michael Winikoff:
Programming in Lygon: An Overview. 391-405 - M. R. K. Krishna Rao:
Some Characteristics of Strong Innermost Normalization. 406-420
Invited Talk
- José Luiz Fiadeiro:
On the Emergence of Properties in Component-Based Systems. 421-443
Session 7: Algebraic and Logical Foundations
- Barbara Paech:
Algebraic View Specification. 444-457 - Gilles Bernot, Sophie Coudert, Pascale Le Gall:
Towards Heterogeneous Formal Specification. 458-472 - Christel Baier, Mila E. Majster-Cederbaum:
A Categorical Characterization of Consistency Results. 473-486
Invited Talk
- Manfred Broy:
Algebraic Specification of Reactive Systems. 487-503
Session 8: Concurrent and Reactive Systems III
- Radu Grosu, Ketil Stølen:
A Model for Mobile Point-to-Point Data-flow Networks without Channel Sharing. 504-519 - Bart Jacobs:
Coalgebraic Specifications and Models of Determinatistic Hybrid Systems. 520-535 - Jan Friso Groote, Jaco van de Pol:
A Bounded Retransmission Protocol for Large Data Packets. 536-550
System Presentations
- Richard Jüllig, Yellamraju V. Srinivas, J. Liu:
SPECWARE: An Advanced Evironment for the Formal Development of Complex Software Systems. 551-554 - Michel Bidoit, Christine Choppy, Frédéric Voisin:
ASSPEQUIE: An Integrated Specification Environment Providing Inter-Operability of Tools. 555-558 - Klaus Didrich, Carola Gerke, Wolfgang Grieskamp, Christian Maeder, Peter Pepper:
Towards Integrating Algebraic Specification and Functional Programming: the Opal System (Extended Abstract). 559-562 - Robert Geisler, Marcus Klar, Felix Cornelius:
InterACT: An Interactive Theorem Prover for Algebraic Specifications. 563-566 - Frédéric Voisin:
A New Proof-Manager and Graphic Interface for the Larch Prover. 567-570 - Nobuo Kawaguchi, Toshiki Sakabe, Yasuyoshi Inagaki:
TERSE: A Visual Environment for Supporting Analysis, Verification and Transformation of Term Rewriting Systems. 571-574 - Paul Klint, Pieter A. Olivier:
The TOOLBUS Coordination Architecture - A Demonstration. 575-578 - Arie van Deursen, Peter D. Mosses:
ASD: The Action Semantic Description Tools. 579-582 - Arnd Poetzsch-Heffter:
Using Occurence and Evolving Algebras for the Specification of Language-Based Programming Tools. 583-586 - Richard Buckland, Michael Johnson:
ECHIDNA: A System for Manipulating Explicit Choice Higher Dimensional Automata. 587-590 - Stephan Melzer, Stefan Römer, Javier Esparza:
Verification Using PEP. 591-594 - Amar Bouali, Annie Ressouche, Valérie Roy, Robert de Simone:
The FC2TOOLS Set. 595-598 - James Harland, David J. Pym, Michael Winikoff:
Programming in Lygon: A System Demonstration. 599 - Janet Bertot, Yves Bertot:
CtCoq: A System Presentation. 600-603 - Friedrich W. von Henke, Marko Luther, Holger Pfeifer, Harald Rueß, Detlef Schwier, Martin Strecker, Matthias Wagner:
The TYPELAB Specification and Verification Environment. 604-607 - Bernhard Steffen, Tiziana Margaria, Andreas Claßen, Volker Braun:
Incremental Formalization. 608-611 - Jeanine Souquières, Nicole Lévy:
PROPLANE: A Specification Development Environment. 612-615 - Patrick Parot:
A Logic-Based Technology to Mechanize Software Components Reuse. 616-620 - Wolfram Schulte, Thilo Schwinn, Ton Vullinghs:
TkGofer: A Functional GUI Library. 621-624 - Sebastian Erdmann, Ingo Claßen:
ALPHA - A Class Library for a Metamodel Based on Algebraic Graph Theory. 625-628 - Didier Bert, Rachid Echahed, Kamel Adi:
Resolution of Goals with the Functional and Logic Programming Language LPG: Impact of Abstract Interpretation. 629-632 - Reinhard Bündgen, Werner Lauterbach:
Combining Reductions and Computations in ReDuX. 633-636 - Sébastien Limet, Pierre Réty:
Conditional Directed Narrowing. 637-640
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-07 20:40 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
