| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Narciso Martí-Oliet, Miguel Palomino (eds.) |
Recent Trends in Algebraic Development Techniques, 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers  |
WADT  |
2013 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim G. Larsen, Axel Legay |
Quantitative Modal Transition Systems. |
WADT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni, Andrea Corradini, Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin |
Adaptable Transition Systems. |
WADT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Francisco Durán, Fernando Orejas, Steffen Zschaler |
Behaviour Protection in Modular Rule-Based System Specifications. |
WADT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Isabel Pita, María-Inés Fernández-Camacho |
Formal Specification of the Kademlia and the Kad Routing Tables in Maude. |
WADT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Till Mossakowski, Hans-Jörg Kreowski (eds.) |
Recent Trends in Algebraic Development Techniques - 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers |
WADT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Phillip James, Alexander Knapp, Till Mossakowski, Markus Roggenbach |
Designing Domain Specific Languages - A Craftsman's Approach for the Railway Domain Using Casl. |
WADT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Mihai Codescu, Fulya Horozal, Aivaras Jakubauskas, Till Mossakowski, Florian Rabe |
Compiling Logics. |
WADT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrián Riesco, Irina Mariuca Asavoae, Mihail Asavoae |
A Generic Program Slicing Technique Based on Language Definitions. |
WADT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Corradini, Reiko Heckel, Frank Hermann, Susann Gottmann, Nico Nachtigall |
Transformation Systems with Incremental Negative Application Conditions. |
WADT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Gustavo López Pombo, Pablo F. Castro, Nazareno Aguirre, T. S. E. Maibaum |
Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics. |
WADT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | David Romero-Hernández, David de Frutos-Escrig |
Distances between Processes: A Pure Algebraic Approach. |
WADT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jonas Eckhardt, Tobias Mühlbauer, José Meseguer, Martin Wirsing |
Statistical Model Checking for Composite Actor Systems. |
WADT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucian Bentea, Peter Csaba Ölveczky |
A Probabilistic Strategy Language for Probabilistic Rewrite Theories and Its Application to Cloud Computing. |
WADT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Till Mossakowski, Oliver Kutz, Christoph Lange 0002 |
Semantics of the Distributed Ontology Language: Institutes and Institutions. |
WADT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Chiara Bodei, Linda Brodo, Roberto Bruni |
Open Multiparty Interaction. |
WADT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Gadducci, Giacoma Valentina Monreale |
Barbed Semantics for Open Reactive Systems. |
WADT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Irina Mariuca Asavoae, Frank S. de Boer, Marcello M. Bonsangue, Dorel Lucanu, Jurriaan Rot |
Bounded Model Checking of Recursive Programs with Pointers in K. |
WADT |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Kofron, Frantisek Plasil |
Evolving SOA in the Q-ImPrESS Project. |
WADT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mihai Codescu |
Lambda Expressions in Casl Architectural Specifications. |
WADT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans-Jörg Kreowski, Sabine Kuske, Caroline von Totth |
Combining Graph Transformation and Algebraic Specification into Model Transformation. |
WADT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Hans-Dieter Ehrich |
My ADT Shrine. |
WADT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe, Kristina Sojakova |
Towards Logical Frameworks in the Heterogeneous Tool Set Hets. |
WADT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mihai Codescu, Fulya Horozal, Michael Kohlhase, Till Mossakowski, Florian Rabe |
A Proof Theoretic Interpretation of Model Theoretic Hiding. |
WADT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto Bruni, Anne Kersten, Ivan Lanese, Giorgio Spagnolo |
A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions. |
WADT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Grzegorz Marczynski |
Algebraic Signatures Enriched by Dependency Structure. |
WADT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Christine Choppy, Gianna Reggio |
Casl-Mdl, Modelling Dynamic Systems with a Formal Foundation and a UML-Like Notation. |
WADT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing |
Building a Modal Interface Theory for Concurrency and Data. |
WADT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrián Riesco |
Test-Case Generation for Maude Functional Modules. |
WADT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo F. Castro, T. S. E. Maibaum |
Towards a First-Order Deontic Action Logic. |
WADT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Liam O'Reilly, Till Mossakowski, Markus Roggenbach |
Compositional Modelling and Reasoning in an Institution for Processes and Data. |
WADT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Corradini, Fabio Gadducci, Leila Ribeiro |
An Institution for Graph Transformation. |
WADT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Seidel, Janis Voigtländer |
Proving Properties about Functions on Lists Involving Element Tests. |
WADT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Paula Maldonado, Luís Monteiro, Markus Roggenbach |
Towards Bialgebraic Semantics for the Linear Time - Branching Time Spectrum. |
WADT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Timothy Bourke, Alexandre David, Kim G. Larsen, Axel Legay, Didier Lime, Ulrik Nyman, Andrzej Wasowski |
New Results on Timed Specifications. |
WADT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Paolo Baldan, Clara Bertolissi |
Sharing in the Graph Rewriting Calculus. |
WADT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Corradini, Ugo Montanari (eds.) |
Recent Trends in Algebraic Development Techniques, 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers |
WADT |
2009 |
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 | Mark Hills, Grigore Rosu |
Towards a Module System for K. |
WADT |
2008 |
DBLP DOI BibTeX RDF |
K, modularity, rewriting logic, language semantics |
| 1 | Michael Altenhofen, Egon Börger |
Concurrent Abstract State Machines and +CAL Programs. |
WADT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Artur Boronat, Alexander Knapp, José Meseguer, Martin Wirsing |
What Is a Multi-modeling Language? |
WADT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Luís Monteiro |
A Coalgebraic Characterization of Behaviours in the Linear Time - Branching Time Spectrum. |
WADT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrián Riesco, Alberto Verdejo, Rafael Caballero, Narciso Martí-Oliet |
Declarative Debugging of Rewriting Logic Specifications. |
WADT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Till Mossakowski, Andrzej Tarlecki |
Heterogeneous Logical Environments for Distributed Specifications. |
WADT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Kristina Sojakova, Florian Rabe |
Translating a Dependently-Typed Logic to First-Order Logic. |
WADT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Gadducci |
A Term-Graph Syntax for Algebras over Multisets. |
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 | Farhad Arbab, Roberto Bruni, Dave Clarke, Ivan Lanese, Ugo Montanari |
Tiles for Reo. |
WADT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara Kordy |
A Rewrite Approach for Pattern Containment. |
WADT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Chucky Ellison, Traian-Florin Serbanuta, Grigore Rosu |
A Rewriting Logic Approach to Type Inference. |
WADT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Francesco Santini |
C-semiring Frameworks for Minimum Spanning Tree Problems. |
WADT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Temesghen Kahsai, Markus Roggenbach |
Property Preserving Refinement for Csp-Casl. |
WADT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Koehler, Farhad Arbab, Erik P. de Vink |
Reconfiguring Distributed Reo Connectors. |
WADT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Karl Gmeiner, Bernhard Gramlich |
Transformations of Conditional Rewrite Systems Revisited. |
WADT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Cardelli |
Molecules as Automata. |
WADT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrei Popescu, Grigore Rosu |
Term-Generic Logic. |
WADT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Mihai Codescu |
Generalized Theoroidal Institution Comorphisms. |
WADT |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrea Corradini, Luciana Foss, Leila Ribeiro |
Graph Transformation with Dependencies for the Specification of Interactive Systems. |
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 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 | Carlos Caleiro, Ricardo Gonçalves |
On the Algebraization of Many-Sorted Logics. |
WADT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Uwe Wolter |
A (Co)Algebraic Analysis of Synchronization in CSP. |
WADT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Lutz Schröder, Till Mossakowski |
Coalgebraic Modal Logic in CoCasl. |
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 | Paolo Baldan, Andrea Corradini, Barbara König, Alberto Lluch-Lafuente |
A Temporal Graph Logic for Verification of Graph Transformation Systems. |
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 | Till Mossakowski, Markus Roggenbach |
Structured CSP - A Process Algebra as an Institution. |
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 | Reiko Heckel, Sebastian Thöne |
Behavior-Preserving Refinement Relations between Dynamic Software Architectures. |
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 | Antónia Lopes, José Luiz Fiadeiro |
Algebraic Semantics of Design Abstractions for Context-Awareness. |
WADT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Grigore Rosu |
From Conditional to Unconditional Rewriting. |
WADT |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Caleiro, Jaime Ramos |
Cryptomorphisms at Work. |
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 | Arnd Poetzsch-Heffter, Nicole Rauch |
Application and Formal Specification of Sorted Term-Position Algebras. |
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 | Klaus Lüttich, Till Mossakowski, Bernd Krieg-Brückner |
Ontologies for the Semantic Web in Casl. |
WADT |
2004 |
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 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 | Narciso Martí-Oliet, José Meseguer, Miguel Palomino |
Theoroidal Maps as Algebraic Simulations. |
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 | 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 | Marek A. Bednarczyk, Luca Bernardinello, Wieslaw Pawlowski, Lucia Pomello |
Modelling Mobility with Petri Hypernets. |
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 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 | Yngve Lamo, Michal Walicki |
Combining Specification Formalisms in the ?General Logic? of Multialgebras. |
WADT |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryoko Amadee Goguen, Joseph A. Goguen |
Zero, Connected, Empty. |
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 | David Aspinall |
Type Checking Parametrised Programs and Specifications in ASL+FPC. |
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 | 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 | Jesse Hughes, Martijn Warnier |
The Coinductive Approach to Verifying Cryptographic Protocols. |
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 |
Notions of Behaviour and Reachable-Part and Their Institutions. |
WADT |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Till Mossakowski |
Foundations of Heterogeneous Specification. |
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 | Paolo Baldan, Roberto Bruni, Ugo Montanari |
Pre-nets, Read Arcs and Unfolding: A Functorial Presentation. |
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 |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")