A linear algebra approach to OLAP

JOURNAL ARTICLE published March 2015 in Formal Aspects of Computing

Authors: Hugo Daniel Macedo | José Nuno Oliveira

Stepwise development and model checking of adistributed interlocking system using RAISE

JOURNAL ARTICLE published January 2021 in Formal Aspects of Computing

Authors: S. Geisler | A. E. Haxthausen

Towards a Formal Treatment of Implicit Invocation Using Rely/Guarantee Reasoning

JOURNAL ARTICLE published March 1998 in Formal Aspects of Computing

Authors: J. Dingel | D. Garlan | S. Jha | D. Notkin

Review on Verified Functional Programming in Agda

JOURNAL ARTICLE published 31 March 2024 in Formal Aspects of Computing

Authors: Matteo Pradella

From a domain analysis to the specification and detection of code and design smells

JOURNAL ARTICLE published May 2010 in Formal Aspects of Computing

Authors: Naouel Moha | Yann-Gaël Guéhéneuc | Anne-Françoise Le Meur | Laurence Duchien | Alban Tiberghien

Variability-based model transformation: formal foundation and application

JOURNAL ARTICLE published January 2018 in Formal Aspects of Computing

Research funded by Horizon 2020 (653642)

Authors: D. Strüber | J. Rubin | T. Arendt | M. Chechik | G. Taentzer | J. Plöger

An implementation of syntax directed functional programming on nested-stack machines

JOURNAL ARTICLE published July 1992 in Formal Aspects of Computing

Authors: Heinz Fassbender | Heiko Vogler

Architectural CCS

JOURNAL ARTICLE published March 1996 in Formal Aspects of Computing

Authors: Padmanabhan Krishnan

Formal modelling and verification of GALS systems using GRL and CADP

JOURNAL ARTICLE published September 2016 in Formal Aspects of Computing

Authors: Fatma Jebali | Frédéric Lang | Radu Mateescu

Algebraic Composition of Function Tables

JOURNAL ARTICLE published October 2000 in Formal Aspects of Computing

Authors: Martin von Mohrenschildt

Review on Functional Algorithms, Verified!

JOURNAL ARTICLE published 30 June 2023 in Formal Aspects of Computing

Authors: Arthur Charguéraud

Formal relational database design: an exercise in extending the formal template language

JOURNAL ARTICLE published November 2014 in Formal Aspects of Computing

Authors: Nicolas Wu | Andrew Simpson

The certification of the Mondex electronic purse to ITSEC Level E6

JOURNAL ARTICLE published January 2008 in Formal Aspects of Computing

Authors: Jim Woodcock | Susan Stepney | David Cooper | John Clark | Jeremy Jacob

Almost ASAP semantics: from timed models to timed implementations

JOURNAL ARTICLE published October 2005 in Formal Aspects of Computing

Authors: Martin De Wulf | Laurent Doyen | Jean-François Raskin

Model checking CML: tool development and industrial applications

JOURNAL ARTICLE published November 2015 in Formal Aspects of Computing

Research funded by EU Framework 7 Integrated Project (COMPASS) (287829) | National Institute of Science and Technology for Software Engineering (INES) (573964/2008-4)

Authors: A. Mota | A. Farias | J. Woodcock | P. G. Larsen

Emergence and refinement

JOURNAL ARTICLE published January 2012 in Formal Aspects of Computing

Authors: J. W. Sanders | Graeme Smith

Tournaments for mutual exclusion: verification and concurrent complexity

JOURNAL ARTICLE published September 2017 in Formal Aspects of Computing

Authors: Wim H. Hesselink

L∗-based learning of Markov decision processes (extended version)

JOURNAL ARTICLE published August 2021 in Formal Aspects of Computing

Research funded by Technische Universität Graz (LEAD Project 1)

Authors: Martin Tappler | Bernhard K. Aichernig | Giovanni Bacci | Maria Eichlseder | Kim G. Larsen

A computer checked algebraic verification of a distributed summation algorithm

JOURNAL ARTICLE published May 2005 in Formal Aspects of Computing

Authors: Jan Friso Groote | François Monin | Jan Springintveld

Timed CCP compositionally embeds Argos and Lustre

JOURNAL ARTICLE published August 2004 in Formal Aspects of Computing

Authors: Simone Tini