Ahmad Siyar Andisha

According to our database, Ahmad Siyar Andisha authored at least 3 papers between 2014 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Ready for testing: ensuring conformance to industrial standards through formal verification.

Sergio Feo-Arenis, Bernd Westphal, Daniel Dietsch, Marco Muñiz, Ahmad Siyar Andisha, Andreas Podelski

Formal Aspects Comput., 2016

2015

Directed Model Checking for PROMELA with Relaxation-Based Distance Functions.

Ahmad Siyar Andisha, Martin Wehrle, Bernd Westphal

Proceedings of the Model Checking Software - 22nd International Symposium, 2015

2014

The Wireless Fire Alarm System: Ensuring Conformance to Industrial Standards through Formal Verification.

Sergio Feo-Arenis, Bernd Westphal, Daniel Dietsch, Marco Muñiz, Ahmad Siyar Andisha

Proceedings of the FM 2014: Formal Methods, 2014