Login / Signup
Ahmad Siyar Andisha
Publication Activity (10 Years)
Years Active: 2014-2016
Publications (10 Years): 2
Top Topics
Deterministic Finite Automaton
Formal Verification
Linear Temporal Logic
Iso Iec
Top Venues
Formal Aspects Comput.
FM
SPIN
</>
Publications
</>
Sergio Feo Arenis
,
Bernd Westphal
,
Daniel Dietsch
,
Marco Muñiz
,
Ahmad Siyar Andisha
,
Andreas Podelski
Ready for testing: ensuring conformance to industrial standards through formal verification.
Formal Aspects Comput.
28 (3) (2016)
Ahmad Siyar Andisha
,
Martin Wehrle
,
Bernd Westphal
Directed Model Checking for PROMELA with Relaxation-Based Distance Functions.
SPIN
(2015)
Sergio Feo Arenis
,
Bernd Westphal
,
Daniel Dietsch
,
Marco Muñiz
,
Ahmad Siyar Andisha
The Wireless Fire Alarm System: Ensuring Conformance to Industrial Standards through Formal Verification.
FM
(2014)