PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Ouaknine, Joël"

Author of the publication

copydeleteadd this publication to your clipboard
A Static Analysis Framework for Livelock Freedom in CSP

, , , and . Logical Methods in Computer Science, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Joel Kimmich University of Stuttgart

Dr. Soviana Joelie University of Stuttgart

 

Other publications of authors with the same name

On the Complexity of Linear Arithmetic with Divisibility., , and . LICS, page 667-676. IEEE Computer Society, (2015)Reachability Problems for Infinite-State Systems (Dagstuhl Seminar 14141)., , , and . Dagstuhl Reports, 4 (3): 153-180 (2014)Abstraction and Counterexample-Guided Refinement in Model Checking of Hybrid Systems., , , , , , and . Int. J. Found. Comput. Sci., 14 (4): 583-604 (2003)Three tokens in Herman's algorithm., , , , and . Formal Asp. Comput., 24 (4-6): 671-678 (2012)Concurrent software verification with states, events, and deadlocks., , , , and . Formal Asp. Comput., 17 (4): 461-483 (2005)Domain theory, testing and simulation for labelled Markov processes., , , and . Theor. Comput. Sci., 333 (1-2): 171-197 (2005)Verifying multi-threaded software with impact., , and . FMCAD, page 210-217. IEEE, (2013)Model-Checking Temporal Behaviour in CSP., and . PDPTA, page 295-304. CSREA Press, (1999)On the Monniaux Problem in Abstract Interpretation., , , , , and . CoRR, (2019)Faster FDR Counterexample Generation Using SAT-Solving., , and . ECEASST, (2009)