Autor der Publikation

Parameterisation of Three-Valued Abstractions.

, und . SBMF, Volume 8941 von Lecture Notes in Computer Science, Seite 162-178. Springer, (2014)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

On Symmetries and Spotlights - Verifying Parameterised Systems., und . ICFEM, Volume 6447 von Lecture Notes in Computer Science, Seite 534-548. Springer, (2010)Parameterisation of Three-Valued Abstractions., und . SBMF, Volume 8941 von Lecture Notes in Computer Science, Seite 162-178. Springer, (2014)Generalising the Dining Philosophers Problem: Competitive Dynamic Resource Allocation in Multi-agent Systems., , , und . EUMAS, Volume 11450 von Lecture Notes in Computer Science, Seite 30-47. Springer, (2018)Heuristic-Guided Abstraction Refinement for Concurrent Systems., , und . ICFEM, Volume 7635 von Lecture Notes in Computer Science, Seite 348-363. Springer, (2012)Three-valued bounded model checking with cause-guided abstraction refinement., und . Sci. Comput. Program., (2019)Parameterised three-valued model checking., und . Sci. Comput. Program., (2016)Constraint Reusing and k-Induction for Three-Valued Bounded Model Checking., , und . SBMF, Volume 11254 von Lecture Notes in Computer Science, Seite 126-143. Springer, (2018)Abstraction Refinement with Path Constraints for 3-Valued Bounded Model Checking., und . FTSCS, Volume 1008 von Communications in Computer and Information Science, Seite 139-157. Springer, (2018)Spotlight Abstraction with Shade Clustering - Automatic Verification of Parameterised Systems.. TASE, Seite 18-25. IEEE Computer Society, (2014)Instantiation Reduction in Iterative Parameterised Three-Valued Model Checking., und . SBMF, Volume 9526 von Lecture Notes in Computer Science, Seite 19-35. Springer, (2015)