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