PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Jéron, Thierry"

Author of the publication

copydeleteadd this publication to your clipboard
Testing for Unboundedness of FIFO Channels.

, and . Theor. Comput. Sci., 113 (1): 93-117 (1993)

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.

Jose Juan Jeronimo Rendon University of Stuttgart

 

Other publications of authors with the same name

Validation and Test Generation for Object-Oriented Distributed Software., , and . PDSE, page 51-60. IEEE Computer Society, (1998)A game approach to determinize timed automata., , , and . Formal Methods in System Design, 46 (1): 42-80 (2015)On-the-fly Verification of Finite Transition Systems., , , and . Formal Methods in System Design, 1 (2/3): 251-273 (1992)Using On-The-Fly Verification Techniques for the Generation of test Suites., , , and . CAV, volume 1102 of Lecture Notes in Computer Science, page 348-359. Springer, (1996)More Testable Properties., , , , and . ICTSS, volume 6435 of Lecture Notes in Computer Science, page 30-46. Springer, (2010)Abstracting Time and Data for Conformance Testing of Real-Time Systems., , , and . ICST Workshops, page 9-17. IEEE Computer Society, (2011)Test Cases Generation for Nondeterministic Real-Time Systems., , and . FATES, volume 2931 of Lecture Notes in Computer Science, page 131-146. Springer, (2003)An Approach to Symbolic Test Generation., , and . IFM, volume 1945 of Lecture Notes in Computer Science, page 338-357. Springer, (2000)Model-checking of infinite Kripke structures defined by simple graph grammars., and . Electron. Notes Theor. Comput. Sci., (1995)An Experiment in Automatic Generation of Test Suites for Protocols with Verification Technology., , , and . Sci. Comput. Program., 29 (1-2): 123-146 (1997)