Author of the publication

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.

 

Other publications of authors with the same name

Real-time Neuron Segmentation for Voltage Imaging., , , , , , , , , and . BIBM, page 813-818. IEEE, (2023)Quantized deep learning models on low-power edge devices for robotic systems., , , , , , and . CoRR, (2019)Real-time Neuron Segmentation for Voltage Imaging., , , , , , , , , and . CoRR, (2024)Finitely Representing Infinite Reachability Graphs of CFSMs with Graph Grammars., and . FORTE, volume 69 of IFIP Conference Proceedings, page 364-379. Chapman & Hall, (1996)A Model for Conformance Testing of Mobile Agents in a MASIF Framework., and . FAABS, volume 2699 of Lecture Notes in Computer Science, page 173-192. Springer, (2002)Techniques for Abstracting SDL Specifications., , , and . SAM, volume 2599 of Lecture Notes in Computer Science, page 141-157. Springer, (2002)Test Generation for CEFSM Combining Specification and Fault Coverage., , , and . TestCom, volume 210 of IFIP Conference Proceedings, page 355-372. Kluwer, (2002)Model-checking of infinite graphs defined by graph grammars., and . INFINITY, volume 5 of Electronic Notes in Theoretical Computer Science, page 16. Elsevier, (1996)Using Probabilist Models for Studying Realistic Systems: A Case Study of Pastry., , and . SDL Forum, volume 4745 of Lecture Notes in Computer Science, page 242-257. Springer, (2007)Application of Two Test Generation Tools to an Industrial Case Study., , , , and . TestCom, volume 3964 of Lecture Notes in Computer Science, page 134-148. Springer, (2006)