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
1987
1991
1992
1994
1995
1997
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
Filter by Tag
[+]
OR
AND
NOT
1
algebra
C++
Meta-Environment
analysis
context-aware
data-flow
design
e-science
grammar
graph-rewriting
logic
logic programming
meta-model
meta-objects
programming
rewriting
rule-based
semantics
systematic-approach
transformation
Filter by Author
[+]
OR
AND
NOT
1
Arto Salomaa
Bernhard Steffen
Carlos Martín-Vide
Carolyn L. Talcott
Daniel J. Rosenkrantz
David Naccache
Ephraim Nissan
Erzsébet Csuhaj-Varjú
Etienne E. Kerre
Flemming Nielson
Gheorghe Paun
Grzegorz Rozenberg
Hanne Riis Nielson
Jie Lu
José Meseguer
Juhani Karhumäki
Manfred Broy
Moshe Y. Vardi
Ugo Montanari
Victor Mitrana
Filter by Top terms
[+]
OR
AND
NOT
1
analysis
automata
birthday
complexity
computing
data
dedicated
essays
formal
fuzzy
languages
logic
model
occasion
programming
software
systems
theory
time
using
BIRTHDAY (BIRTHDAY)
Editions
Publications
Viewing Publication 1 - 100 from 4629
2023
Visitor Optimization Revisited - Realizing Traversal Graph Pruning by Runtime Bytecode Generation
Markus Lepper 0001
,
Baltasar Trancón-y-Widemann
.
BIRTHDAY 2023
:
[doi]
The Consensus Machine: Formalising Consensus in the Presence of Malign Agents
A. W. Roscoe 0001
,
Pedro Antonino
,
Jonathan Lawrence
.
BIRTHDAY 2023
:
136-162
[doi]
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday
Pedro López-García 0001
,
John P. Gallagher
,
Roberto Giacobazzi
, editors,
Volume 13160 of
Lecture Notes in Computer Science
, Springer,
2023.
[doi]
Towards a Unifying Framework for Uncertainty in Cyber-Physical Systems
Jim Woodcock 0001
.
BIRTHDAY 2023
:
237-253
[doi]
Linking Formal Methods in Software Development - A Reflection on the Development of rCOS
Zhiming Liu 0001
.
BIRTHDAY 2023
:
52-84
[doi]
UTP, Circus, and Isabelle
Jim Woodcock 0001
,
Ana Cavalcanti 0001
,
Simon Foster 0001
,
Marcel Oliveira
,
Augusto Sampaio
,
Frank Zeyda
.
BIRTHDAY 2023
:
19-51
[doi]
Bringing RoboStar and RT-Tester Together
Ana Cavalcanti 0001
,
Alvaro Miyazawa
,
Uwe Schulze
,
Jon Timmis
.
BIRTHDAY 2023
:
16-33
[doi]
Towards Efficient Data-Flow Test Data Generation
Ting Su 0001
,
Chengyu Zhang 0001
,
Yichen Yan
,
Lingling Fan 0003
,
Yang Liu 0003
,
Zhoulai Fu
,
Zhendong Su 0001
.
BIRTHDAY 2023
:
257-293
[doi]
Reasoning About Paths in the Interface Graph
Michael Greenberg 0002
.
BIRTHDAY 2023
:
[doi]
Characterizations of Parallel Real-Time Workloads
Xu Jiang 0004
,
Jinghao Sun
,
Wang Yi 0001
.
BIRTHDAY 2023
:
235-256
[doi]
Front Matter, Table of Contents, Preface, Conference Organization
BIRTHDAY 2023
:
[doi]
Strategies in Conditional Narrowing Modulo SMT Plus Axioms
Luis Aguirre
,
Narciso Martí-Oliet
,
Miguel Palomino
,
Isabel Pita
.
BIRTHDAY 2023
:
1-20
[doi]
On Testing Ethical Autonomous Decision-Making
Michael E. Akintunde
,
Martim Brandão
,
Gunel Jahangirova
,
Hector Menendez
,
Mohammad Reza Mousavi
,
Jie Zhang
.
BIRTHDAY 2023
:
3-15
[doi]
Automated Synthesis of Software Contracts with KindSpec
María Alpuente
,
Alicia Villanueva
.
BIRTHDAY 2023
:
51-71
[doi]
Optimizing Maude Programs via Program Specialization
María Alpuente
,
Demis Ballis
,
Santiago Escobar 0001
,
José Meseguer
,
Julia Sapiña
.
BIRTHDAY 2023
:
21-50
[doi]
Injecting Language Workbench Technology into Mainstream Languages
Michael Ballantyne
,
Matthias Felleisen
.
BIRTHDAY 2023
:
[doi]
Time for Traffic Manoeuvres
Christopher Bischopink
,
Ernst-Rüdiger Olderog
.
BIRTHDAY 2023
:
163-179
[doi]
Domain Modelling: A Foundation for Software Development
Dines Bjørner
.
BIRTHDAY 2023
:
165-210
[doi]
The Importance of Being Eelco
Andrew P. Black
,
Kim B. Bruce
,
James Noble 0001
.
BIRTHDAY 2023
:
[doi]
Spoofax at Oracle: Domain-Specific Language Engineering for Large-Scale Graph Analytics
Houda Boukham
,
Guido Wachsmuth
,
Toine Hartman
,
Hamza Boucherit
,
Oskar van Rest
,
Hassan Chafi
,
Sungpack Hong
,
Martijn Dwars
,
Arnaud Delamare
,
Dalila Chiadmi
.
BIRTHDAY 2023
:
[doi]
Theories of Programming and Formal Methods - Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday
Jonathan P. Bowen
,
Qin Li 0002
,
Qiwen Xu
, editors,
Volume 14080 of
Lecture Notes in Computer Science
, Springer,
2023.
[doi]
Jifeng He at Oxford and Beyond: An Appreciation
Jonathan P. Bowen
,
Huibiao Zhu
.
BIRTHDAY 2023
:
3-18
[doi]
Safety vs. Security - Why Separation of Concerns is a Good Strategy for Safety-Critical Systems
Jens Braband
.
BIRTHDAY 2023
:
85-95
[doi]
Source-Code-to-Object-Code Traceability Analysis for Airborne Software: A Case for Tool Support
Jörg Brauer
.
BIRTHDAY 2023
:
257-271
[doi]
Dependently Typed Languages in Statix
Jonathan Brouwer
,
Jesper Cockx
,
Aron Zwaan
.
BIRTHDAY 2023
:
[doi]
Applying Formal Verification to an Open-Source Real-Time Operating System
Andrew Butterfield
,
Frédéric Tuong
.
BIRTHDAY 2023
:
348-366
[doi]
Generating Software for Well-Understood Domains
Jacques Carette
,
W. Spencer Smith
,
Jason Balaci
.
BIRTHDAY 2023
:
[doi]
Consciousness by Degree
Yifeng Chen
,
Jeff W. Sanders
.
BIRTHDAY 2023
:
87-109
[doi]
Abstract Interpretation of Graphs
Patrick Cousot
.
BIRTHDAY 2023
:
72-96
[doi]
Stack Graphs: Name Resolution at Scale
Douglas A. Creager
,
Hendrik van Antwerpen
.
BIRTHDAY 2023
:
[doi]
Assume-Guarantee Reasoning for Additive Hybrid Behaviour
Pieter J. L. Cuijpers
,
Jonas Hansen
,
Kim G. Larsen
.
BIRTHDAY 2023
:
297-322
[doi]
Applications of Muli: Solving Practical Problems with Constraint-Logic Object-Oriented Programming
Jan C. Dageförde
,
Herbert Kuchen
.
BIRTHDAY 2023
:
97-112
[doi]
Grammar Induction for Under-Resourced Languages: The Case of Ch'ol
Verónica Dahl
,
Gemma Bel Enguix
,
Velina Tirado
,
J. Emilio Miralles
.
BIRTHDAY 2023
:
113-132
[doi]
Type Theory as a Language Workbench
Jan de Muijnck-Hughes
,
Guillaume Allais
,
Edwin C. Brady
.
BIRTHDAY 2023
:
[doi]
Space Telemetry Analysis with PyContract
Bevin Duckett
,
Klaus Havelund
,
Luke Stewart
.
BIRTHDAY 2023
:
272-288
[doi]
On Solving Solved Problems
Sebastian Erdweg
.
BIRTHDAY 2023
:
[doi]
Answer Set Programming Made Easy
Jorge Fandinno
,
Seemran Mishra
,
Javier Romero 0003
,
Torsten Schaub
.
BIRTHDAY 2023
:
133-150
[doi]
Concurrent Hyperproperties
Bernd Finkbeiner
,
Ernst-Rüdiger Olderog
.
BIRTHDAY 2023
:
211-231
[doi]
Safer Than Perception: Assuring Confidence in Safety-Critical Decisions of Automated Vehicles
Martin Fränzle
,
Willem Hagemann
,
Werner Damm
,
Astrid Rakow
,
Mani Swaminathan
.
BIRTHDAY 2023
:
180-201
[doi]
The Role of Abstraction in Model Checking
María-del-Mar Gallardo
,
Pedro Merino 0001
,
Laura Panizo
.
BIRTHDAY 2023
:
151-169
[doi]
Supervision of Intelligent Systems: An Overview
Mario Gleirscher
.
BIRTHDAY 2023
:
202-221
[doi]
Eating Your Own Dog Food: WebDSL Case Studies to Improve Academic Workflows
Danny M. Groenewegen
,
Elmer van Chastelet
,
Max M. de Krieger
,
Daniël A. A. Pelsmaeker
.
BIRTHDAY 2023
:
[doi]
Conf Researchr: A Domain-Specific Content Management System for Managing Large Conference Websites
Danny M. Groenewegen
,
Elmer van Chastelet
,
Max M. de Krieger
,
Daniël A. A. Pelsmaeker
,
Craig Anslow
.
BIRTHDAY 2023
:
[doi]
Applicable Formal Methods for Safe Industrial Products - Essays Dedicated to Jan Peleska on the Occasion of His 65th Birthday
Anne E. Haxthausen
,
Wen-ling Huang
,
Markus Roggenbach
, editors,
Volume 14165 of
Lecture Notes in Computer Science
, Springer,
2023.
[doi]
Decomposing the Verification of Interlocking Systems
Anne E. Haxthausen
,
Alessandro Fantechi
,
Gloria Gori
.
BIRTHDAY 2023
:
96-113
[doi]
Specifying and Reasoning About Shared-Variable Concurrency
Ian J. Hayes
,
Cliff B. Jones
,
Larissa A. Meinicke
.
BIRTHDAY 2023
:
110-135
[doi]
Pattern-Based Risk Identification for Model-Based Risk Management
Maritta Heisel
,
Marvin Wagner
.
BIRTHDAY 2023
:
114-129
[doi]
Implementation Relations for Distributed Testing
Robert M. Hierons
,
Mercedes G. Merayo
,
Manuel Núñez 0001
.
BIRTHDAY 2023
:
34-48
[doi]
KnowLang - A Formal Specification Model for Self-adaptive Systems
Mike Hinchey
,
Emil Vassev
.
BIRTHDAY 2023
:
367-392
[doi]
Conformance Relations Between Input/Output Languages
Wen-ling Huang
,
Robert Sachtleben
.
BIRTHDAY 2023
:
49-67
[doi]
Software Model Checking of Interlocking Programs
Phillip James
,
Faron Moller
,
Markus Roggenbach
.
BIRTHDAY 2023
:
130-146
[doi]
Reflections on the Birth of Spoofax
Karl Trygve Kalleberg
.
BIRTHDAY 2023
:
[doi]
Eelco Visser as a Typographic Designer
Paul Klint
.
BIRTHDAY 2023
:
[doi]
An Intermediate Language-Based Approach to Implementing and Verifying Communicating UML State Machines
Alexander Knapp
.
BIRTHDAY 2023
:
289-307
[doi]
Typed Multi-Language Strategy Combinators
James Koppel
.
BIRTHDAY 2023
:
[doi]
Justifications and a Reconstruction of Parity Game Solving Algorithms
Ruben Lapauw
,
Maurice Bruynooghe
,
Marc Denecker
.
BIRTHDAY 2023
:
170-187
[doi]
Fault Injection in Co-simulation and Digital Twins for Cyber-Physical Robotic Systems
Peter Gorm Larsen
,
Lukas Esterle
,
John S. Fitzgerald
,
Mirgita Frasheri
.
BIRTHDAY 2023
:
222-236
[doi]
On the Origins of Coccinelle
Julia Lawall
.
BIRTHDAY 2023
:
[doi]
Formal Modelling to Improve Safety and Security
Thierry Lecomte
.
BIRTHDAY 2023
:
147-159
[doi]
Eelco Visser as a Founding Member of the IFIP WG 2.11
Christian Lengauer
,
Jacques Carette
.
BIRTHDAY 2023
:
[doi]
Eelco Visser - An Exceptional SLE Researcher
Ralf Lämmel
.
BIRTHDAY 2023
:
[doi]
Eelco Visser Commemorative Symposium, EVCS 2023, April 5, 2023, Delft, The Netherlands
Ralf Lämmel
,
Peter D. Mosses
,
Friedrich Steimann
, editors,
Volume 109 of
OASIcs
, Schloss Dagstuhl - Leibniz-Zentrum für Informatik,
2023.
[doi]
Polynomial Formal Verification of Complex Circuits Using a Hybrid Proof Engine
Alireza Mahzoon
,
Rolf Drechsler
.
BIRTHDAY 2023
:
308-319
[doi]
Time: It is only Logical!
Frédéric Mallet
.
BIRTHDAY 2023
:
323-347
[doi]
Using Spoofax to Support Online Code Navigation
Peter D. Mosses
.
BIRTHDAY 2023
:
[doi]
A Coq Implementation of the Program Algebra in Jifeng He's New Roadmap for Linking Theories of Programming
Rundong Mu
,
Qin Li
.
BIRTHDAY 2023
:
395-412
[doi]
SMT-Based Test-Case Generation and Validation for Programs with Complex Specifications
Ricardo Peña
,
Jaime Sánchez-Hernández
,
Miguel Garrido
,
Javier Sagredo
.
BIRTHDAY 2023
:
188-205
[doi]
Layerings of Logic Programs - Layer Decomposable Semantics and Incremental Model Computation
Alexandre Miguel Pinto
,
Luís Moniz Pereira
.
BIRTHDAY 2023
:
206-221
[doi]
Modularization of Logic Programs
Alexandre Miguel Pinto
,
Luís Moniz Pereira
.
BIRTHDAY 2023
:
222-232
[doi]
Renamingless Capture-Avoiding Substitution for Definitional Interpreters
Casper Bach Poulsen
.
BIRTHDAY 2023
:
[doi]
On Scenario-Based Testing of Cyber-Physical Systems
Alexander Pretschner
,
Florian Hauer 0002
,
Tabea Schmidt
.
BIRTHDAY 2023
:
68-82
[doi]
Towards Modular Compilation Using Higher-Order Effects
Jaro S. Reinders
.
BIRTHDAY 2023
:
[doi]
Proof-Theoretic Foundations of Normal Logic Programs
Elmer Salazar
,
Gopal Gupta 0001
.
BIRTHDAY 2023
:
233-252
[doi]
Debugging Frame Conditions
Thomas Santen
.
BIRTHDAY 2023
:
320-332
[doi]
Analysing the SML97 Definition: Lexicalisation
Elizabeth Scott
,
Adrian Johnstone
.
BIRTHDAY 2023
:
[doi]
A Simply Numbered Lambda Calculus
Friedrich Steimann
.
BIRTHDAY 2023
:
[doi]
The Ultimate GUI Framework: Are We There Yet?
Knut Anders Stokke
,
Mikhail Barash
,
Jaakko Järvi
.
BIRTHDAY 2023
:
[doi]
Refactoring = Substitution + Rewriting: Towards Generic, Language-Independent Refactorings
Simon J. Thompson
,
Dániel Horpácsi
.
BIRTHDAY 2023
:
[doi]
Eelco Visser: The Oregon Connection
Andrew Tolmach
.
BIRTHDAY 2023
:
[doi]
A Discourse on Guessing and Reasoning
Enric Trillas
.
BIRTHDAY 2023
:
253-265
[doi]
Semantics Engineering with Concrete Syntax
Tijs van der Storm
.
BIRTHDAY 2023
:
[doi]
Eelco Visser and IFIP WG 2.16
Tijs van der Storm
.
BIRTHDAY 2023
:
[doi]
Getting Things Done: The Eelco Way
Arie van Deursen
.
BIRTHDAY 2023
:
[doi]
Reversible Debugging in Logic Programming
Germán Vidal
.
BIRTHDAY 2023
:
266-280
[doi]
Comparing Bottom-Up with Top-Down Parsing Architectures for the Syntax Definition Formalism from a Disambiguation Standpoint
Jurgen J. Vinju
.
BIRTHDAY 2023
:
[doi]
Towards Systematically Engineering Autonomous Systems Using Reinforcement Learning and Planning
Martin Wirsing
,
Lenz Belzner
.
BIRTHDAY 2023
:
281-306
[doi]
Context in Parsing: Techniques and Applications
Eric Van Wyk
.
BIRTHDAY 2023
:
[doi]
Strand Spaces with Choice via a Process Algebra Semantics
Fan Yang
,
Santiago Escobar 0001
,
Catherine A. Meadows
,
José Meseguer
,
Sonia Santiago
.
BIRTHDAY 2023
:
307-350
[doi]
Scope Graphs: The Story so Far
Aron Zwaan
,
Hendrik van Antwerpen
.
BIRTHDAY 2023
:
[doi]
2022
Contagion Dynamics in Complex Networks
Lucas Böttcher
.
BIRTHDAY 2022
:
75-82
[doi]
A Spectral Outlook on the Elementary Cellular Automata with Cyclic Configurations and Block-Sequential Asynchronous Updates
Pedro Paulo Balbi de Oliveira
,
G. S. Etchebehere
,
Eurico L. P. Ruivo
.
BIRTHDAY 2022
:
93-115
[doi]
Seven Things I Know About Them
Jacques Demongeot
.
BIRTHDAY 2022
:
9-19
[doi]
What's in School? - Topic Maps for Secondary School Computer Science
Ansgar Fehnker
.
BIRTHDAY 2022
:
151-163
[doi]
Apartness and Distinguishing Formulas in Hennessy-Milner Logic
Herman Geuvers
.
BIRTHDAY 2022
:
266-282
[doi]
On Birth, Death and Symmetry: Some Principles of Complex Ecological Systems
Pablo A. Marquet
.
BIRTHDAY 2022
:
83-92
[doi]
Thermodynamics of Small Systems Through a Reversible and Conservative Discrete Automaton
Marco Montalva-Medel
,
Sergio Rica
,
Felipe Urbina
.
BIRTHDAY 2022
:
203-217
[doi]
Computing in Łukasiewicz Logic and AF-Algebras
Daniele Mundici
.
BIRTHDAY 2022
:
382-396
[doi]
A Survey on the Stability of (Extended) Linear Sand Pile Model
Thi Ha Duong Phan
.
BIRTHDAY 2022
:
253-281
[doi]
Periods in the Q2R, X2R and Kawasaki-Q2R Cellular Automata
Lidia Stocker
,
Hans J. Herrmann
.
BIRTHDAY 2022
:
43-55
[doi]
Passive Automata Learning: DFAs and NFAs
Hans Zantema
.
BIRTHDAY 2022
:
575-580
[doi]
Sign in
or
sign up
to see more results.