Review of Understanding Programming Languages

JOURNAL ARTICLE published 31 December 2022 in Formal Aspects of Computing

Authors: Andrew Butterfield

A Debugging Game for Probabilistic Models

JOURNAL ARTICLE published 30 June 2022 in Formal Aspects of Computing

Authors: Hichem Debbi

Distributing Finite Automata Through Petri Net Synthesis

JOURNAL ARTICLE published August 2002 in Formal Aspects of Computing

Authors: Éric Badouel | Benoît Caillaud | P. Darondeau

Optimal and robust controller synthesis using energytimed automata with uncertainty

JOURNAL ARTICLE published January 2021 in Formal Aspects of Computing

Authors: Giovanni Bacci | Patricia Bouyer | Uli Fahrenberg | Kim G. Larsen | Nicolas Markey | Pierre-Alain Reynier

Complete model-based equivalence class testing for nondeterministic systems

JOURNAL ARTICLE published March 2017 in Formal Aspects of Computing

Authors: Wen-ling Huang | Jan Peleska

Hybrid dynamic logic institutions for event/data-based systems

JOURNAL ARTICLE published December 2021 in Formal Aspects of Computing

Authors: Rolf Hennicker | Alexander Knapp | Alexandre Madeira

An operational semantics for object-oriented concepts based on the class hierarchy

JOURNAL ARTICLE published May 2014 in Formal Aspects of Computing

Authors: Robert J. Colvin

Structural transformations for data-enriched real-time systems

JOURNAL ARTICLE published July 2015 in Formal Aspects of Computing

Authors: Ernst-Rüdiger Olderog | Mani Swaminathan

A behavioral type system and its application in Ptolemy II

JOURNAL ARTICLE published August 2004 in Formal Aspects of Computing

Authors: Edward A. Lee | Yuhong Xiong

Stability, Sequentiality and Demand Driven Evaluation in Dataflow

JOURNAL ARTICLE published December 1994 in Formal Aspects of Computing

Authors: Arnon Avron | Nada Sasson

Editorial

JOURNAL ARTICLE published May 2015 in Formal Aspects of Computing

Authors: George Eleftherakis | Michael Butler | Mike Hinchey

Editorial

JOURNAL ARTICLE published July 2020 in Formal Aspects of Computing

Authors: Ana Cavalcanti | Pedro Ribeiro

Foundations of programming languages

JOURNAL ARTICLE published December 2021 in Formal Aspects of Computing

Authors: Reinhard Wilhelm

Refinement in hybridised institutions

JOURNAL ARTICLE published March 2015 in Formal Aspects of Computing

Authors: Alexandre Madeira | Manuel A. Martins | Luís S. Barbosa | Rolf Hennicker

A security flow control algorithm and its denotational semantics correctness proof

JOURNAL ARTICLE published November 1992 in Formal Aspects of Computing

Authors: Masaaki Mizuno | David Schmidt

On the purpose of Event-B proof obligations

JOURNAL ARTICLE published January 2011 in Formal Aspects of Computing

Authors: Stefan Hallerstede

A unification of probabilistic choice within a design-based model of reversible computation

JOURNAL ARTICLE published January 2013 in Formal Aspects of Computing

Authors: Bill Stoddart | Frank Zeyda

Formalizing a hierarchical file system

JOURNAL ARTICLE published January 2012 in Formal Aspects of Computing

Authors: Wim H. Hesselink | Muhammad Ikram Lali

Shallow Linear Action Graphs and their Embeddings

JOURNAL ARTICLE published July 2002 in Formal Aspects of Computing

Authors: James J. Leifer | Robin Milner

Verifying traits: an incremental proof system for fine-grained reuse

JOURNAL ARTICLE published July 2014 in Formal Aspects of Computing

Authors: Ferruccio Damiani | Johan Dovland | Einar Broch Johnsen | Ina Schaefer