A Journey from Process Algebra via Timed Automata to Model Learning

Publications

2022

David N. Jansen, Xinxin Liu
Rooted Divergence-Preserving Branching Bisimilarity is a Congruence: A Simpler Proof. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Herman Geuvers
Apartness and Distinguishing Formulas in Hennessy-Milner Logic. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir
Non-finite Axiomatisability Results via Reductions: CSP Parallel Composition and CCS Restriction. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Petra van den Bos, Marieke Huisman
The Integration of Testing and Program Verification - A Position Paper. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Rance Cleaveland
Better Automata Through Process Algebra. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Falk Howar, Bernhard Steffen
Active Automata Learning as Black-Box Search and Lazy Partition Refinement. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Joshua Moerman, Thorsten Wißmann
State Identification and Verification with Satisfaction. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Alex Thieme, Twan Basten
Minesweeper is Difficult Indeed! - Technology Scaling for Minesweeper Circuits. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Benedikt Bollig, Martin Leucker, Daniel Neider
A Survey of Model Learning Techniques for Recurrent Neural Networks. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Markus Frohme, Bernhard Steffen
From Languages to Behaviors and Back. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Jan Friso Groote, Kevin H. J. Jilissen, Maurice Laveaux, P. H. M. van Spaendonck, Tim A. C. Willemse
Using the Parallel ATerm Library for Parallel Model Checking and State Space Generation. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Carlos Diego Nascimento Damasceno, Daniel Strüber
Family-Based Fingerprint Analysis: A Position Paper. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Bart Jacobs
A Reconstruction of Ewens' Sampling Formula via Lists of Coins. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Ivan Kurtev, Jozef Hooman
Runtime Verification of Compound Components with ComMA. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Hans Zantema
Passive Automata Learning: DFAs and NFAs. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Tiago Ferreira, Gerco van Heerdt, Alexandra Silva
Tree-Based Adaptive Model Learning. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Vincenzo Ciancia, Diego Latella, Mieke Massink, Erik P. de Vink
Back-and-Forth in Space: On Logics and Bisimilarity in Closure Spaces. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Rob van Glabbeek
Fair Must Testing for I/O Automata. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Wil M. P. van der Aalst
Discovering Directly-Follows Complete Petri Nets from Event Data. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Henk Barendregt, Antonino Raffone
Axiomatizing Consciousness with Applications. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Hubert Garavel, Frédéric Lang
Equivalence Checking 40 Years After: A Review of Bisimulation Tools. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Jan Tretmans, Ramon Janssen
Goodbye ioco. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Jakob Piribauer, Robin Ziemek
Operational Causality - Necessarily Sufficient and Sufficiently Necessary. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Martin Fränzle
The Quest for an Adequate Semantic Basis of Dense-Time Metric Temporal Logic. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Jan A. Bergstra, John V. Tucker
Symmetric Transrationals: The Data Type and the Algorithmic Degree of its Equational Theory. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Saidgani Musaev, Wan J. Fokkink
A Note on the Message Complexity of Cidon's Distributed Depth-First Search Algorithm. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Sebastian Junges, Jurriaan Rot
Learning Language Intersections. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani
Process Algebras and Flocks of Birds. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Ansgar Fehnker
What's in School? - Topic Maps for Secondary School Computer Science. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Nancy A. Lynch, Cameron Musco
A Basic Compositional Model for Spiking Neural Networks. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Peter Gjøl Jensen, Kim G. Larsen, Marius Mikucionis
Playing Wordle with Uppaal Stratego. A Journey from Process Algebra via Timed Automata to Model Learning (2022)

volume 13560, 2022

A Journey from Process Algebra via Timed Automata to Model Learning - Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday A Journey from Process Algebra via Timed Automata to Model Learning 13560 (2022)