Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
tool
Papers
From Spot 2.0 to Spot 2.10: What's New?
Alexandre Duret-Lutz
,
Etienne Renault
,
Maximilien Colange
,
Florian Renkin
,
Alexandre Gbaguidi Aisse
,
Philipp Schlehuber-Caissier
,
Thomas Medioni
,
Antoine Martin
,
Jérôme Dubois
,
Clément Gillard
and
Henrich Lauko
EasyChair Preprint no. 8618
Navigating the Intricate World of Aphasia Apps: a Guide for Individuals with Aphasia and Their Families
Anjelica Vance
,
Amber Richardson
,
Alexis Pracar
,
Jessica Lawien
,
Sandhya Kannan
,
Vanessa Anderson
,
Nina Dronkers
and
Maria Ivanova
EasyChair Preprint no. 6581
HyReach: A Reachability Tool for Linear Hybrid Systems Based on Support Functions
Ibtissem Ben Makhlouf
,
Norman Hansen
and
Stefan Kowalewski
In
:
ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
High-level Hybrid Systems Analysis with Hypy
Stanley Bak
,
Sergiy Bogomolov
and
Christian Schilling
In
:
ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
Implementation of Interval Arithmetic in CORA 2016
Matthias Althoff
and
Dmitry Grebenyuk
In
:
ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
formalSpec - Semi-Automatic Formalization of System Requirements for Formal Verification
Axel Busboom
,
Simone Schuler
and
Alexander Walsch
In
:
ARCH16. 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
Building trustworthy refactoring tools
Simon Thompson
In
:
VPT 2013. First International Workshop on Verification and Program Transformation
CheAPS: a Checker of Asynchronous Parameterized Systems
Igor Konnov
In
:
WING 2010. Workshop on Invariant Generation 2010
Copyright © 2012-2023 easychair.org. All rights reserved.