Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Till Mossakowski, Andrzej Tarlecki |
Heterogeneous Logical Environments for Distributed Specifications. |
WADT |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Allan Clark, Stephen Gilmore, Mirco Tribastone |
Service-Level Agreements for Service-Oriented Computing. |
WADT |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Michael Altenhofen, Egon Börger |
Concurrent Abstract State Machines and +CAL Programs. |
WADT |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Mark Hills 0001, Grigore Rosu |
Towards a Module System for K. |
WADT |
2008 |
DBLP DOI BibTeX RDF |
K, modularity, rewriting logic, language semantics |
1 | Adrián Riesco 0001, Alberto Verdejo, Rafael Caballero 0001, Narciso Martí-Oliet |
Declarative Debugging of Rewriting Logic Specifications. |
WADT |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Christian Koehler 0001, Farhad Arbab, Erik P. de Vink |
Reconfiguring Distributed Reo Connectors. |
WADT |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Barbara Kordy |
A Rewrite Approach for Pattern Containment. |
WADT |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Farhad Arbab, Roberto Bruni, Dave Clarke 0001, Ivan Lanese, Ugo Montanari |
Tiles for Reo. |
WADT |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Luca Cardelli |
Molecules as Automata. |
WADT |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Pietro Di Gianantonio, Furio Honsell, Marina Lenisa |
Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi. |
WADT |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Artur Boronat, Alexander Knapp, José Meseguer 0001, Martin Wirsing |
What Is a Multi-modeling Language? |
WADT |
2008 |
DBLP DOI BibTeX RDF |
|
1 | José Luiz Fiadeiro, Pierre-Yves Schobbens (eds.) |
Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers |
WADT |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Uwe Wolter |
A (Co)Algebraic Analysis of Synchronization in CSP. |
WADT |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Till Mossakowski, Markus Roggenbach |
Structured CSP - A Process Algebra as an Institution. |
WADT |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Baldan, Andrea Corradini 0001, Barbara König 0001, Alberto Lluch-Lafuente |
A Temporal Graph Logic for Verification of Graph Transformation Systems. |
WADT |
2006 |
DBLP DOI BibTeX RDF |
|
1 | José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi |
Algebraic Semantics of Service Component Modules. |
WADT |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Lutz Schröder, Till Mossakowski |
Coalgebraic Modal Logic in CoCasl. |
WADT |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Sara Van Langenhove, Albert Hoogewijs |
SVtL: System Verification Through Logic Tool Support for Verifying Sliced Hierarchical Statecharts. |
WADT |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Tom Mens, Ragnhild Van Der Straeten |
Incremental Resolution of Model Inconsistencies. |
WADT |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Jörg Kreowski, Sabine Kuske |
Autonomous Units and Their Semantics - The Parallel Case. |
WADT |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Lüttich, Till Mossakowski |
Reasoning Support for Caslwith Automated Theorem Proving Systems. |
WADT |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Caleiro, Ricardo Gonçalves 0001 |
On the Algebraization of Many-Sorted Logics. |
WADT |
2006 |
DBLP DOI BibTeX RDF |
|
1 | José Luiz Fiadeiro, Peter D. Mosses, Fernando Orejas (eds.) |
Recent Trends in Algebraic Development Techniques, 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers |
WADT |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Marek A. Bednarczyk, Luca Bernardinello, Wieslaw Pawlowski, Lucia Pomello |
Modelling Mobility with Petri Hypernets. |
WADT |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Narciso Martí-Oliet, José Meseguer 0001, Miguel Palomino |
Theoroidal Maps as Algebraic Simulations. |
WADT |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Michal Misiak |
Behavioural Semantics of Algebraic Specifications in Arbitrary Logical Systems. |
WADT |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Till Mossakowski, Donald Sannella, Andrzej Tarlecki |
A Simple Refinement Language for Casl. |
WADT |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Andy Gimblett, Markus Roggenbach, Bernd-Holger Schlingloff |
Towards a Formal Specification of an Electronic Payment System in CSP-CASL. |
WADT |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Lutz Schröder, Till Mossakowski, Christoph Lüth |
Type Class Polymorphism in an Institutional Framework. |
WADT |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Grigore Rosu |
From Conditional to Unconditional Rewriting. |
WADT |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Lüth, Markus Roggenbach, Lutz Schröder |
CCC - The Casl Consistency Checker. |
WADT |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Arnd Poetzsch-Heffter, Nicole Rauch |
Application and Formal Specification of Sorted Term-Position Algebras. |
WADT |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Reiko Heckel, Sebastian Thöne |
Behavior-Preserving Refinement Relations between Dynamic Software Architectures. |
WADT |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Artur Zawlocki |
Architectural Specifications for Reactive Systems. |
WADT |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Nikos Mylonakis, Fernando Orejas |
A Distributed and Mobile Component System Based on the Ambient Calculus. |
WADT |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Antónia Lopes, José Luiz Fiadeiro |
Algebraic Semantics of Design Abstractions for Context-Awareness. |
WADT |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Lüttich, Till Mossakowski, Bernd Krieg-Brückner |
Ontologies for the Semantic Web in Casl. |
WADT |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Caleiro, Jaime Ramos |
Cryptomorphisms at Work. |
WADT |
2004 |
DBLP DOI BibTeX RDF |
|
1 | Martin Wirsing, Dirk Pattinson, Rolf Hennicker (eds.) |
Recent Trends in Algebraic Development Techniques, 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers |
WADT |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Piotr Hoffman |
Verifying Generative Casl Architectural Specifications. |
WADT |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Baldan, Andrea Corradini 0001, Ugo Montanari, Leila Ribeiro 0001 |
Coreflective Concurrent Semantics for Single-Pushout Graph Grammars. |
WADT |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Luís Andrade 0001, Paolo Baldan, Hubert Baumeister, Roberto Bruni, Andrea Corradini 0001, Rocco De Nicola, José Luiz Fiadeiro, Fabio Gadducci, Stefania Gnesi, Piotr Hoffman, Nora Koch, Piotr Kosiuczenko, Alessandro Lapadula, Diego Latella, Antónia Lopes, Michele Loreti, Mieke Massink, Franco Mazzanti, Ugo Montanari, Cristóvão Oliveira, Rosario Pugliese, Andrzej Tarlecki, Michel Wermelinger, Martin Wirsing, Artur Zawlocki |
AGILE: Software Architecture for Mobility. |
WADT |
2002 |
DBLP DOI BibTeX RDF |
|
1 | David Aspinall 0001 |
Type Checking Parametrised Programs and Specifications in ASL+FPC. |
WADT |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Egidio Astesiano, Gianna Reggio |
An Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic Viewpoint. |
WADT |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Lutz Schröder, Till Mossakowski |
Monad-Independent Dynamic Logic in Has Casl. |
WADT |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Till Mossakowski, Horst Reichel, Markus Roggenbach, Lutz Schröder |
Algebraic-Coalgebraic Specification in Co Casl. |
WADT |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Antónia Lopes, José Luiz Fiadeiro |
On How Distribution and Mobility Interfere with Coordination. |
WADT |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Baldan, Roberto Bruni, Ugo Montanari |
Pre-nets, Read Arcs and Unfolding: A Functorial Presentation. |
WADT |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Yngve Lamo, Michal Walicki |
Combining Specification Formalisms in the ?General Logic? of Multialgebras. |
WADT |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Joseph A. Goguen, Ryoko Amadee Goguen |
Zero, Connected, Empty: An Essay after a Cantata. |
WADT |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Kurz 0001 |
Notions of Behaviour and Reachable-Part and Their Institutions. |
WADT |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Jesse Hughes, Martijn Warnier |
The Coinductive Approach to Verifying Cryptographic Protocols. |
WADT |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Joseph A. Goguen, Kai Lin, Grigore Rosu |
Conditional Circular Coinductive Rewriting with Case Analysis. |
WADT |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Ryoko Amadee Goguen, Joseph A. Goguen |
Zero, Connected, Empty. |
WADT |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Caleiro, Paula Gouveia, Jaime Ramos |
Completeness Results for Fibred Parchments: Beyond the Propositional Base. |
WADT |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Milan Urbásek |
Preserving Properties in System Redesign: Rule-Based Approach. |
WADT |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Till Mossakowski |
Foundations of Heterogeneous Specification. |
WADT |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Kathrin Hoffmann, Till Mossakowski |
Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens. |
WADT |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Bernd Krieg-Brückner, Dieter Hutter, Arne Lindow, Christoph Lüth, Achim Mahnke, Erica Melis, Philipp Meier, Arnd Poetzsch-Heffter, Markus Roggenbach, George Russell, Jan-Georg Smaus, Martin Wirsing |
MultiMedia Instruction in Safe and Secure Systems. |
WADT |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Shin-ya Katsumata |
Behavioural Equivalence and Indistinguishability in Higher-Order Typed Languages. |
WADT |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Jörg Kreowski, Sabine Kuske |
Approach-Independent Structuring Concepts for Rule-Based Systems. |
WADT |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Wieslaw Pawlowski |
Presenting and Combining Inference Systems: Presentations with Inference Rules. |
WADT |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Farhad Arbab, Jan J. M. M. Rutten |
A Coinductive Calculus of Component Connectors. |
WADT |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Dirk Pattinson |
Translating Logics for Coalgebras. |
WADT |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Christine Choppy, Maritta Heisel |
Use of Patterns in Formal Development: Systematic Transition from Problems to Architectural Designs. |
WADT |
2002 |
DBLP DOI BibTeX RDF |
|
1 | Carlos Caleiro, Paulo Mateus, Jaime Ramos, Amílcar Sernadas |
Combining Logics: Parchments Revisited. |
WADT |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Donald Sannella |
The Common Framework Initiative for Algebraic Specification and Development of Software: Recent Progress. |
WADT |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Neal A. Harman |
Verifying a Simple Pipelined Microprocessor Using Maude. |
WADT |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Wieslaw Pawlowski |
Presentations for Abstract Context Institutions. |
WADT |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Maura Cerioli, Gianna Reggio (eds.) |
Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001, Selected Papers |
WADT |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Antónia Lopes, Michel Wermelinger, José Luiz Fiadeiro |
A Compositional Approach to Connector Construction. |
WADT |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Till Mossakowski, Bartek Klin |
Institution Independent Static Analysis for CASL. |
WADT |
2001 |
DBLP DOI BibTeX RDF |
|
1 | José Félix Costa, Hugo Lourenço |
Canonical Institutions of Behaviour. |
WADT |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Markus Roggenbach, Lutz Schröder |
Towards Trustworthy Specifications I: Consistency Checks. |
WADT |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Michel Bidoit, Alexandre Boisseau |
Algebraic Abstractions. |
WADT |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Fernando Orejas, Hartmut Ehrig, Elvira Pino |
Tight and Loose Semantics for Transformation Systems. |
WADT |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Magdalena Gajewsky, Francesco Parisi-Presicce |
On the Compatibility of Model and Model-Class Transformations. |
WADT |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Iman Poernomo, John N. Crossley, Martin Wirsing |
Programs, Proofs and Parametrized Specifications. |
WADT |
2001 |
DBLP DOI BibTeX RDF |
Parametrized specifications, CASL, SML, Curry-Howard isomorphism |
1 | Walter Dosch, Sönke Magnussen |
The Lübeck Transformation System: A Transformation System for Equational Higher Order Algebraic Specifications. |
WADT |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Roswitha Bardohl, Martin Große-Rhode, Marta Simeoni |
Interactive Rule-Based Specification with an Application to Visual Language Definition. |
WADT |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Piotr Hoffman |
Verifying Architectural Specifications. |
WADT |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Franck Ledoux, Agnès Arnould, Pascale Le Gall, Yves Bertrand |
Geometric Modelling with CASL. |
WADT |
2001 |
DBLP DOI BibTeX RDF |
CASL language, specification methodology, formal specifications, geometric modelling, algebraic specifications |
1 | Didier Bert, Christine Choppy, Peter D. Mosses (eds.) |
Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT '99, Château de Bonas, France, September 15-18, 1999, Selected Papers |
WADT |
2000 |
DBLP DOI BibTeX RDF |
|
1 | Alexander A. Letichevsky, David R. Gilbert |
A Model for Interaction of Agents and Environments. |
WADT |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Magne Haveraaen, Eric G. Wagner |
Guarded Algebras: Disguising Partiality so You Won't Know Whether It's There. |
WADT |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Broy |
From States to Histories. |
WADT |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Ataru T. Nakagawa |
Algebra-Coalgebra Structures and Bialgebras. |
WADT |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Markus Roggenbach, Lutz Schröder, Till Mossakowski |
Specifying Real Numbers in CASL. |
WADT |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Hugo Lourenço, Amílcar Sernadas |
An Institution of Hybrid Systems. |
WADT |
1999 |
DBLP DOI BibTeX RDF |
|
1 | José Luiz Fiadeiro (eds.) |
Recent Trends in Algebraic Development Techniques, 13th International Workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998, Selected Papers |
WADT |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Baldan, Andrea Corradini 0001, Ugo Montanari |
History Preserving Bisimulation for Contextual Nets. |
WADT |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Tomasz Borzyszkowski |
Higher-Order Logic and Theorem Proving for Structured Specifications. |
WADT |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Paulo Mateus, Amílcar Sernadas, Cristina Sernadas |
Realization of Probabilistic Automata: Categorial Approach. |
WADT |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Jo Erskine Hannay |
Specification Refinement with System F - The Higher-Order Case. |
WADT |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Serge Autexier, Dieter Hutter, Heiko Mantel, Axel Schairer |
Towards an Evolutionary Formal Software-Development Using CASL. |
WADT |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Joachim van den Berg, Marieke Huisman, Bart Jacobs 0001, Erik Poll |
A Type-Theoretic Memory Model for Verification of Sequential Java Programs. |
WADT |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Didier Bert, Stéphane Lo Presti |
Algebraic Specification of Operator-Based Multimedia Scenarios. |
WADT |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Fernando Orejas, Elvira Pino |
A General Algebraic Framework for Studying Modular Systems. |
WADT |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Horst Reichel |
A Uniform Model Theory for the Specification of Data and Process Types. |
WADT |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Hubert Baumeister |
Relating Abstract Datatypes and Z-Schemata. |
WADT |
1999 |
DBLP DOI BibTeX RDF |
|