Parametric probabilistic transition systems for system design and analysis

JOURNAL ARTICLE published March 2007 in Formal Aspects of Computing

Authors: Ruggero Lanotte | Andrea Maggiolo-Schettini | Angelo Troina

Statistical model checking for variability-intensive systems: applications to bug detection and minimization

JOURNAL ARTICLE published December 2021 in Formal Aspects of Computing

Research funded by Fonds National de la Recherche Luxembourg (C19/IS/13566661/BEEHIVE/Cordy)

Authors: Maxime Cordy | Sami Lazreg | Mike Papadakis | Axel Legay

CaPiTo: protocol stacks for services

JOURNAL ARTICLE published July 2011 in Formal Aspects of Computing

Authors: Han Gao | Flemming Nielson | Hanne Riis Nielson

A program analysis framework for tccp based on abstract interpretation

JOURNAL ARTICLE published May 2017 in Formal Aspects of Computing

Research funded by Agencia de Innovación y Desarrollo de Andalucía (P11-TIC-7659) | Secretaría de Estado de Investigación, Desarrollo e Innovación (TIN 2015-69175-C4-1-R,TIN 2013-45732-C4-1-P) | Generalitat Valenciana (ES) (PROMETEOII/2015/013)

Authors: Marco Comini | María-del-Mar Gallardo | Laura Titolo | Alicia Villanueva

Compensation by design

JOURNAL ARTICLE published July 2014 in Formal Aspects of Computing

Authors: Xi Liu | Shaofa Yang | J. W. Sanders

Experiments in program verification using Event-B

JOURNAL ARTICLE published January 2012 in Formal Aspects of Computing

Authors: Stefan Hallerstede | Michael Leuschel

A Weakness Measure for GR(1) Formulae

JOURNAL ARTICLE published January 2021 in Formal Aspects of Computing

Authors: Davide G. Cavezza | Dalal Alrajeh | András György

Milestones from the Pure Lisp theorem prover to ACL2

JOURNAL ARTICLE published December 2019 in Formal Aspects of Computing

Authors: J. Strother Moore

Formal Verification of Robotic Cell Injection systems up to 4-DOF using HOL Light

JOURNAL ARTICLE published July 2020 in Formal Aspects of Computing

Authors: Adnan Rashid | Osman Hasan

Operational semantics of resolution and productivity in Horn clause logic

JOURNAL ARTICLE published May 2017 in Formal Aspects of Computing

Research funded by Engineering and Physical Sciences Research Council (EP/K031864/1-2)

Authors: Peng Fu | Ekaterina Komendantskaya

Three tokens in Herman’s algorithm

JOURNAL ARTICLE published July 2012 in Formal Aspects of Computing

Authors: Stefan Kiefer | Andrzej S. Murawski | Joël Ouaknine | Björn Wachter | James Worrell

Security invariants in discrete transition systems

JOURNAL ARTICLE published January 2013 in Formal Aspects of Computing

Authors: Thai Son Hoang

Sharp Retrenchment, Modulated Refinement and Simulation

JOURNAL ARTICLE published December 1999 in Formal Aspects of Computing

Authors: R. Banach | M. Poppleton

Formalizing and testing the consistency of DSL transformations

JOURNAL ARTICLE published April 2016 in Formal Aspects of Computing

Authors: Sarmen Keshishzadeh | Arjan J. Mooij

Editorial

JOURNAL ARTICLE published July 2015 in Formal Aspects of Computing

Authors: Michael Butler | Einar Broch Johnsen | Luigia Petre

Editorial

JOURNAL ARTICLE published January 2021 in Formal Aspects of Computing

Authors: Erik de Vink | Ana Cavalcanti

Test-data generation for control coverage by proof

JOURNAL ARTICLE published July 2014 in Formal Aspects of Computing

Authors: Ana Cavalcanti | Steve King | Colin O’Halloran | Jim Woodcock

On partial state matching

JOURNAL ARTICLE published September 2017 in Formal Aspects of Computing

Research funded by Grantová Agentura České Republiky (CZ) (14-11384S)

Authors: Pavel Jančík | Jan Kofroň

Z2SAL: a translation-based model checker for Z

JOURNAL ARTICLE published January 2011 in Formal Aspects of Computing

Authors: John Derrick | Siobhán North | Anthony J. H. Simons

Typed context awareness Ambient Calculus for pervasive applications

JOURNAL ARTICLE published November 2015 in Formal Aspects of Computing

Authors: Douglas Pereira Pasqualin | Juliana Kaizer Vizzotto | Eduardo Kessler Piveta