| 037 |
RespiratoryMotion |
NTA (Uppaal) |
MARS'24
|
| 036 |
NRPFD |
Rebeca |
MARS'24
|
| 035 |
ResourceIsolation |
LNT (CADP); PSS |
MARS'24
|
| 034 |
DutchTunnels |
Spoofax; Dezyne; Enterprise-architect; mCRL2 |
MARS'24
|
| 033 |
Firewire |
mCRL; LOTOS (CADP); mCRL2; LNT (CADP) |
MARS'24
|
| 032 |
4SECURail |
UMC; ProB; LNT (CADP) |
MARS'22
|
| 031 |
AutoVehicles |
LNT (CADP) |
MARS'22
|
| 030 |
Stateless Ethereum |
Hugin Expert |
MARS'22
|
| 029 |
Raft Distributed Consensus Protocol |
LNT (CADP); mCRL2 |
MARS'20
MARS'24
|
| 028 |
Electronic Control Unit (ECU) of an Electronic Power-Assisted Steering (EPAS) Unit |
Gamma |
MARS'20
|
| 027 |
Needle Steering |
Uppaal |
MARS'20
MARS'22
|
| 026 |
Aircraft Velocity Control System with Redundancy Mechanisms |
Prism |
MARS'20
|
| 025 |
End-to-EndLatencies in Automotive Cyber-physical Systems |
MiniZinc |
MARS'20
|
| 024 |
OLSR version2 Routing Protocol |
AWN |
MARS'20
|
| 023 |
OSPF Routing Protocol |
AWN; Uppaal |
MARS'20
MARS'22
|
| 022 |
Asynchronous Circuit Dedicated to the Protection Against Physical Attacks |
LNT (CADP) |
MARS'20
|
| 021 |
Distributed Integrated Modular Avionics (DIMA) |
Uppaal |
MARS'18
|
| 020 |
CBTC Automatic Train Supervision System |
UMC; Promela (Spin); NuSMV/nuXmv; mCRL2; CPN tools; FDR4; ProB; LNT (CADP); TLA toolbox; Uppaal |
MARS'18
|
| 019 |
Tera-Scale ARchitecture (TSAR) |
Promela (Spin); Divine (DiVine, ITS-tools); ITS-tools |
MARS'18
|
| 018 |
TLS Handshake Model |
LNT (CADP) |
MARS'18
|
| 017 |
Robotic Cell Injection |
Discrete-Time Markov Chain (PRISM) |
MARS'17
|
| 016 |
Production Cell |
LNT (CADP); LOTOS (CADP) |
MARS'17
|
| 015 |
A Model-Derivation Framework for Software Analysis |
Uppaal |
MARS'17
|
| 014 |
Emergency Power Supply |
BDMP(KB3); FIGSEQ(KB3); YAMS; STORM; RiskSpectrum |
MARS'17
|
| 013 |
AUTOSAR |
Erlang QuickCheck |
MARS'17
|
| 012 |
Message Authenticator Algorithm |
REC tool; AProVE tool; Clean; Haskell; LNT (CADP); LOTOS (CADP); Maude; mCRL2; OCaml; Opal; Rascal; Scala; Standard ML; Stratego/XT; Tom; Lustre; Scade |
MARS'17
MARS'18
MARS'20
|
| 011 |
IEEE 802.15.4 TCSH MAC |
mCRL2 tool suite |
MARS'17
|
| 010 |
Memory Access and Interrupts |
Isabelle/HOL |
MARS'17
|
| 009 |
B.A.T.M.A.N. |
Uppaal |
MARS'17
|
| 008 |
Fragmentation and Reassembly for CAN |
AWN |
MARS'17
|
| 007 |
Stream Control Transmission Protocol |
Uppaal |
MARS'17
|
| 006 |
DES Standard |
LNT (CADP); LOTOS (CADP) |
MARS'15
|
| 005 |
Bitcoin Protocol |
Uppaal |
MARS'15
|
| 004 |
Caches and Pipelines |
Uppaal |
MARS'15
|
| 003 |
Self-Balancing Unicycles |
SpaceEx; Mathematica |
MARS'15
|
| 002 |
eChronos |
Isabelle/HOL |
MARS'15
|
| 001 |
Bilby File System |
Isabelle/HOL |
MARS'15
|
