researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
[-]
OR
AND
NOT
1
1988
1997
1998
1999
2000
2001
2002
2003
2004
2006
2007
2008
2009
2010
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
Filter by Tag
[+]
OR
AND
NOT
1
algebra
Meta-Environment
algebraic specification
analysis
architecture
data-flow
graph transformation
graph-rewriting
logic
meta-model
meta-objects
refinement
rewriting
rewriting logic
rule-based
semantics
systematic-approach
term rewriting
transformation
transformation system
Filter by Author
[+]
OR
AND
NOT
1
Alexander Knapp
Amílcar Sernadas
Andrea Corradini
Andrzej Tarlecki
Antónia Lopes
Carlos Caleiro
Christine Choppy
Fabio Gadducci
Fernando Orejas
Florian Rabe
Grigore Rosu
José Luiz Fiadeiro
Lutz Schröder
Markus Roggenbach
Martin Wirsing
Mihai Codescu
Paolo Baldan
Roberto Bruni
Till Mossakowski
Ugo Montanari
Filter by Top terms
[+]
OR
AND
NOT
1
algebraic
approach
casl
data
development
graph
international
logic
papers
recent
selected
semantics
specification
specifications
systems
techniques
towards
trends
wadt
workshop
Workshop on Algebraic Development Techniques (WADT)
Editions
Publications
Viewing Publication 1 - 100 from 293
2023
Recent Trends in Algebraic Development Techniques - 26th IFIP WG 1.3 International Workshop, WADT 2022, Aveiro, Portugal, June 28-30, 2022, Revised Selected Papers
Alexandre Madeira
,
Manuel A. Martins 0001
, editors,
Volume 13710 of
Lecture Notes in Computer Science
, Springer,
2023.
[doi]
2022
Building Correct-by-Construction Systems with Formal Patterns
José Meseguer 0001
.
WADT 2023
:
3-24
[doi]
Shades of Iteration: From Elgot to Kleene
Sergey Goncharov 0001
.
WADT 2023
:
100-120
[doi]
A Computability Perspective on (Verified) Machine Learning
Tonicha Crook
,
Jay Paul Morgan
,
Arno Pauly
,
Markus Roggenbach
.
WADT 2023
:
63-80
[doi]
A Presheaf Semantics for Quantified Temporal Logics
Fabio Gadducci
,
Davide Trotta
.
WADT 2023
:
81-99
[doi]
Automated QoS-Aware Service Selection Based on Soft Constraints
Elias Keis
,
Carlos Gustavo López Pombo
,
Agustín Eloy Martinez Suñé
,
Alexander Knapp
.
WADT 2023
:
121-140
[doi]
Runtime Composition of Systems of Interacting Cyber-Physical Components
Benjamin Lion
,
Farhad Arbab
,
Carolyn L. Talcott
.
WADT 2023
:
141-162
[doi]
Why Adjunctions Matter - A Functional Programmer Perspective
José Nuno Oliveira
.
WADT 2023
:
25-59
[doi]
SpeX: A Rewriting-Based Formal Specification Environment
Ionut Tutu
.
WADT 2023
:
163-178
[doi]
2021
Recent Trends in Algebraic Development Techniques - 25th International Workshop, WADT 2020, Virtual Event, April 29, 2020, Revised Selected Papers
Markus Roggenbach
, editor,
Volume 12669 of
Lecture Notes in Computer Science
, Springer,
2021.
[doi]
2020
Towards General Axiomatizations for Bisimilarity and Trace Semantics
Marco Bernardo 0001
.
WADT 2021
:
31-53
[doi]
The Wheel of Rational Numbers as an Abstract Data Type
Jan A. Bergstra
,
John V. Tucker
.
WADT 2021
:
13-30
[doi]
Parallel Coherent Graph Transformations
Thierry Boy de la Tour
,
Rachid Echahed
.
WADT 2021
:
75-97
[doi]
Monographs, a Category of Graph Structures
Thierry Boy de la Tour
.
WADT 2021
:
54-74
[doi]
$\mathbb {K}$ and KIV: Towards Deductive Verification for Arbitrary Programming Languages
Dominik Klumpp
,
Philip Lenzen
.
WADT 2021
:
98-119
[doi]
Institution-Based Encoding and Verification of Simple UML State Machines in CASL/SPASS
Tobias Rosenberger
,
Saddek Bensalem
,
Alexander Knapp
,
Markus Roggenbach
.
WADT 2021
:
120-141
[doi]
Structure-Preserving Diagram Operators
Navid Roux
,
Florian Rabe 0001
.
WADT 2021
:
142-163
[doi]
On Completeness of Liveness Synthesis for Parametric Timed Automata (Extended Abstract)
Jaco van de Pol
,
Laure Petrucci
.
WADT 2021
:
3-10
[doi]
2019
Recent Trends in Algebraic Development Techniques - 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018, Revised Selected Papers
José Luiz Fiadeiro
,
Ionut Tutu
, editors,
Volume 11563 of
Lecture Notes in Computer Science
, Springer,
2019.
[doi]
2018
An Algebraic Theory for Data Linkage
Liang-Ting Chen
,
Markus Roggenbach
,
John V. Tucker
.
WADT 2019
:
47-66
[doi]
Institutions for SQL Database Schemas and Datasets
Martin Glauer
,
Till Mossakowski
.
WADT 2019
:
67-86
[doi]
Role-Based Development of Dynamically Evolving Esembles
Rolf Hennicker
.
WADT 2019
:
3-24
[doi]
Finite Limits and Anti-unification in Substitution Categories
Wolfram Kahl
.
WADT 2019
:
87-102
[doi]
A Flexible Categorial Formalisation of Term Graphs as Directed Hypergraphs
Wolfram Kahl
,
Yuhang Zhao
.
WADT 2019
:
103-118
[doi]
Term Charters
Alexander Knapp
,
María Victoria Cengarle
.
WADT 2019
:
119-138
[doi]
Constructing Constraint-Preserving Interaction Schemes in Adhesive Categories
Jens Kosiol
,
Lars Fritsche
,
Nebras Nassar
,
Andy Schürr
,
Gabriele Taentzer
.
WADT 2019
:
139-153
[doi]
Structuring Theories with Implicit Morphisms
Florian Rabe
,
Dennis Müller 0001
.
WADT 2019
:
154-173
[doi]
Parameterized Strategies Specification in Maude
Rubén Rubio
,
Narciso Martí-Oliet
,
Isabel Pita
,
Alberto Verdejo
.
WADT 2019
:
27-44
[doi]
2017
Recent Trends in Algebraic Development Techniques - 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers
Phillip James
,
Markus Roggenbach
, editors,
Volume 10644 of
Lecture Notes in Computer Science
, Springer,
2017.
[doi]
2016
Probability Functions in the Context of Signed Involutive Meadows (Extended Abstract)
Jan A. Bergstra
,
Alban Ponse
.
WADT 2017
:
73-87
[doi]
An Institution for Event-B
Marie Farrell
,
Rosemary Monahan
,
James F. Power
.
WADT 2017
:
104-119
[doi]
On the Most Suitable Axiomatization of Signed Integers
Hubert Garavel
.
WADT 2017
:
120-134
[doi]
Observational Semantics for Dynamic Logic with Binders
Rolf Hennicker
,
Alexandre Madeira
.
WADT 2017
:
135-152
[doi]
Towards Critical Pair Analysis for the Graph Programming Language GP 2
Ivaylo Hristakiev
,
Detlef Plump
.
WADT 2017
:
153-169
[doi]
A Calculus of Virtually Timed Ambients
Einar Broch Johnsen
,
Martin Steffen
,
Johanna Beate Stumpf
.
WADT 2017
:
88-103
[doi]
Theorising Monitoring: Algebraic Models of Web Monitoring in Organisations
Kenneth Johnson
,
John V. Tucker
,
Victoria Wang
.
WADT 2017
:
13-35
[doi]
Advances in Verification of Multi-agent Systems
Alessio Lomuscio
.
WADT 2017
:
3-4
[doi]
Canonical Selection of Colimits
Till Mossakowski
,
Florian Rabe
,
Mihai Codescu
.
WADT 2017
:
170-188
[doi]
The Distributed Ontology, Model and Specification Language - DOL
Till Mossakowski
.
WADT 2017
:
5-10
[doi]
Asymmetric Combination of Logics is Functorial: A Survey
Renato Neves
,
Alexandre Madeira
,
Luís Soares Barbosa
,
Manuel A. Martins
.
WADT 2017
:
39-55
[doi]
Generic Hoare Logic for Order-Enriched Effects with Exceptions
Christoph Rauch
,
Sergey Goncharov 0001
,
Lutz Schröder
.
WADT 2017
:
208-222
[doi]
Algebraic Model Management: A Survey
Patrick Schultz
,
David I. Spivak
,
Ryan Wisnesky
.
WADT 2017
:
56-69
[doi]
Formalizing and Validating the P-Store Replicated Data Store in Maude
Peter Csaba Ölveczky
.
WADT 2017
:
189-207
[doi]
2015
Recent Trends in Algebraic Development Techniques - 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
Mihai Codescu
,
Razvan Diaconescu
,
Ionut Tutu
, editors,
Volume 9463 of
Lecture Notes in Computer Science
, Springer,
2015.
[doi]
2014
On Logic Embeddings and Gödel's God
Christoph Benzmüller
,
Bruno Woltzenlogel Paleo
.
WADT 2015
:
3-6
[doi]
An Institutional Foundation for the K Semantic Framework
Claudia Elena Chirita
,
Traian-Florin Serbanuta
.
WADT 2015
:
9-29
[doi]
A Theoretical Foundation for Programming Languages Aggregation
Stefan Ciobaca
,
Dorel Lucanu
,
Vlad Rusu
,
Grigore Rosu
.
WADT 2015
:
30-47
[doi]
Coalgebraic Semantics of Heavy-Weighted Automata
Marie Fortin
,
Marcello M. Bonsangue
,
Jan Rutten
.
WADT 2015
:
48-68
[doi]
Foundations of Logic Programming in Hybridised Logics
Daniel Gâinâ
.
WADT 2015
:
69-89
[doi]
Use Case Analysis Based on Formal Methods: An Empirical Study
Marcos Oliveira Jr.
,
Leila Ribeiro
,
Érika F. Cota
,
Lucio Mauro Duarte
,
Ingrid Nunes
,
Filipe Reis
.
WADT 2015
:
110-130
[doi]
What Is a Derived Signature Morphism?
Till Mossakowski
,
Ulf Krumnack
,
Tom Maibaum
.
WADT 2015
:
90-109
[doi]
A Full Operational Semantics for Asynchronous Relational Networks
Ignacio Vissani
,
Carlos Gustavo López Pombo
,
Ionut Tutu
,
José Luiz Fiadeiro
.
WADT 2015
:
131-150
[doi]
A SOC-Based Formal Specification and Verification of Hybrid Systems
Ning Yu
,
Martin Wirsing
.
WADT 2015
:
151-169
[doi]
2013
Recent Trends in Algebraic Development Techniques, 21st International Workshop, WADT 2012, Salamanca, Spain, June 7-10, 2012, Revised Selected Papers
Narciso Martí-Oliet
,
Miguel Palomino
, editors,
Volume 7841 of
Lecture Notes in Computer Science
, Springer,
2013.
[doi]
2012
Bounded Model Checking of Recursive Programs with Pointers in K
Irina Mariuca Asavoae
,
Frank S. de Boer
,
Marcello M. Bonsangue
,
Dorel Lucanu
,
Jurriaan Rot
.
WADT 2013
:
59-76
[doi]
A Probabilistic Strategy Language for Probabilistic Rewrite Theories and Its Application to Cloud Computing
Lucian Bentea
,
Peter Csaba Ölveczky
.
WADT 2013
:
77-94
[doi]
Open Multiparty Interaction
Chiara Bodei
,
Linda Brodo
,
Roberto Bruni
.
WADT 2013
:
1-23
[doi]
Adaptable Transition Systems
Roberto Bruni
,
Andrea Corradini
,
Fabio Gadducci
,
Alberto Lluch-Lafuente
,
Andrea Vandin
.
WADT 2013
:
95-110
[doi]
Compiling Logics
Mihai Codescu
,
Fulya Horozal
,
Aivaras Jakubauskas
,
Till Mossakowski
,
Florian Rabe
.
WADT 2013
:
111-126
[doi]
Transformation Systems with Incremental Negative Application Conditions
Andrea Corradini
,
Reiko Heckel
,
Frank Hermann 0001
,
Susann Gottmann
,
Nico Nachtigall
.
WADT 2013
:
127-142
[doi]
Behaviour Protection in Modular Rule-Based System Specifications
Francisco Durán
,
Fernando Orejas
,
Steffen Zschaler
.
WADT 2013
:
24-49
[doi]
Statistical Model Checking for Composite Actor Systems
Jonas Eckhardt
,
Tobias Mühlbauer
,
José Meseguer
,
Martin Wirsing
.
WADT 2013
:
143-160
[doi]
Barbed Semantics for Open Reactive Systems
Fabio Gadducci
,
Giacoma Valentina Monreale
.
WADT 2013
:
161-177
[doi]
Designing Domain Specific Languages - A Craftsman's Approach for the Railway Domain Using Casl
Phillip James
,
Alexander Knapp
,
Till Mossakowski
,
Markus Roggenbach
.
WADT 2013
:
178-194
[doi]
Quantitative Modal Transition Systems
Kim G. Larsen
,
Axel Legay
.
WADT 2013
:
50-58
[doi]
Recent Trends in Algebraic Development Techniques - 20th International Workshop, WADT 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected Papers
Till Mossakowski
,
Hans-Jörg Kreowski
, editors,
Volume 7137 of
Lecture Notes in Computer Science
, Springer,
2012.
[doi]
Semantics of the Distributed Ontology Language: Institutes and Institutions
Till Mossakowski
,
Oliver Kutz
,
Christoph Lange 0002
.
WADT 2013
:
212-230
[doi]
Formal Specification of the Kademlia and the Kad Routing Tables in Maude
Isabel Pita
,
María-Inés Fernández-Camacho
.
WADT 2013
:
231-247
[doi]
Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics
Carlos Gustavo López Pombo
,
Pablo F. Castro
,
Nazareno Aguirre
,
T. S. E. Maibaum
.
WADT 2013
:
195-211
[doi]
A Generic Program Slicing Technique Based on Language Definitions
Adrián Riesco
,
Irina Mariuca Asavoae
,
Mihail Asavoae
.
WADT 2013
:
248-264
[doi]
Distances between Processes: A Pure Algebraic Approach
David Romero-Hernández
,
David de Frutos-Escrig
.
WADT 2013
:
265-282
[doi]
2010
Sharing in the Graph Rewriting Calculus
Paolo Baldan
,
Clara Bertolissi
.
WADT 2012
:
27-41
[doi]
Building a Modal Interface Theory for Concurrency and Data
Sebastian S. Bauer
,
Rolf Hennicker
,
Martin Wirsing
.
WADT 2012
:
1-12
[doi]
New Results on Timed Specifications
Timothy Bourke
,
Alexandre David
,
Kim G. Larsen
,
Axel Legay
,
Didier Lime
,
Ulrik Nyman
,
Andrzej Wasowski
.
WADT 2012
:
175-192
[doi]
A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions
Roberto Bruni
,
Anne Kersten
,
Ivan Lanese
,
Giorgio Spagnolo
.
WADT 2012
:
42-60
[doi]
Towards a First-Order Deontic Action Logic
Pablo F. Castro
,
T. S. E. Maibaum
.
WADT 2012
:
61-75
[doi]
Casl-Mdl, Modelling Dynamic Systems with a Formal Foundation and a UML-Like Notation
Christine Choppy
,
Gianna Reggio
.
WADT 2012
:
76-97
[doi]
Lambda Expressions in Casl Architectural Specifications
Mihai Codescu
.
WADT 2012
:
98-117
[doi]
A Proof Theoretic Interpretation of Model Theoretic Hiding
Mihai Codescu
,
Fulya Horozal
,
Michael Kohlhase
,
Till Mossakowski
,
Florian Rabe
.
WADT 2012
:
118-138
[doi]
Towards Logical Frameworks in the Heterogeneous Tool Set Hets
Mihai Codescu
,
Fulya Horozal
,
Michael Kohlhase
,
Till Mossakowski
,
Florian Rabe
,
Kristina Sojakova
.
WADT 2012
:
139-159
[doi]
An Institution for Graph Transformation
Andrea Corradini
,
Fabio Gadducci
,
Leila Ribeiro
.
WADT 2012
:
160-174
[doi]
My ADT Shrine
Hans-Dieter Ehrich
.
WADT 2012
:
13-24
[doi]
Evolving SOA in the Q-ImPrESS Project
Jan Kofron
,
Frantisek Plasil
.
WADT 2012
:
25-26
[doi]
Combining Graph Transformation and Algebraic Specification into Model Transformation
Hans-Jörg Kreowski
,
Sabine Kuske
,
Caroline von Totth
.
WADT 2012
:
193-208
[doi]
Towards Bialgebraic Semantics for the Linear Time - Branching Time Spectrum
Ana Paula Maldonado
,
Luís Monteiro
,
Markus Roggenbach
.
WADT 2012
:
209-225
[doi]
Algebraic Signatures Enriched by Dependency Structure
Grzegorz Marczynski
.
WADT 2012
:
226-250
[doi]
Compositional Modelling and Reasoning in an Institution for Processes and Data
Liam O'Reilly
,
Till Mossakowski
,
Markus Roggenbach
.
WADT 2012
:
251-269
[doi]
Test-Case Generation for Maude Functional Modules
Adrián Riesco
.
WADT 2012
:
287-301
[doi]
Proving Properties about Functions on Lists Involving Element Tests
Daniel Seidel
,
Janis Voigtländer
.
WADT 2012
:
270-286
[doi]
2009
Recent Trends in Algebraic Development Techniques, 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers
Andrea Corradini
,
Ugo Montanari
, editors,
Volume 5486 of
Lecture Notes in Computer Science
, Springer,
2009.
[doi]
2008
Concurrent Abstract State Machines and :::+:::CAL Programs
Michael Altenhofen
,
Egon Börger
.
WADT 2009
:
1-17
[doi]
Molecules as Automata
Luca Cardelli
.
WADT 2009
:
18-20
[doi]
Generalized Theoroidal Institution Comorphisms
Mihai Codescu
.
WADT 2009
:
88-101
[doi]
Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi
Pietro Di Gianantonio
,
Furio Honsell
,
Marina Lenisa
.
WADT 2009
:
119-134
[doi]
Transformations of Conditional Rewrite Systems Revisited
Karl Gmeiner
,
Bernhard Gramlich
.
WADT 2009
:
166-186
[doi]
Property Preserving Refinement for Csp-Casl
Temesghen Kahsai
,
Markus Roggenbach
.
WADT 2009
:
206-220
[doi]
A Rewrite Approach for Pattern Containment
Barbara Kordy
.
WADT 2009
:
236-250
[doi]
A Coalgebraic Characterization of Behaviours in the Linear Time - Branching Time Spectrum
LuÃs Monteiro
.
WADT 2009
:
251-265
[doi]
Heterogeneous Logical Environments for Distributed Specifications
Till Mossakowski
,
Andrzej Tarlecki
.
WADT 2009
:
266-289
[doi]
Translating a Dependently-Typed Logic to First-Order Logic
Kristina Sojakova
,
Florian Rabe
.
WADT 2009
:
326-341
[doi]
Sign in
or
sign up
to see more results.