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

Strengthening Component Architectures by Modeling Fine-Grained Entities., , , , and . EUROMICRO-SEAA, page 124-128. IEEE Computer Society, (2011)DeSpec: Modeling the Windows Driver Environment., and . FESCA@ETAPS, volume 203 of Electronic Notes in Theoretical Computer Science, page 55-69. Elsevier, (2007)Model Checking of Component Behavior Specification: A Real Life Experience., , and . FACS, volume 160 of Electronic Notes in Theoretical Computer Science, page 197-210. Elsevier, (2005)Eight-Year-Olds' Conceptions of Computer Viruses: A Quantitative Study., , , , , and . WiPSCE, page 2:1-2:7. ACM, (2019)Modelling the Hybrid ERTMS/ETCS Level 3 Case Study in Spin., , and . ABZ, volume 10817 of Lecture Notes in Computer Science, page 277-291. Springer, (2018)Principles of Computers and the Internet - Model Lessons for Primary School Children: Experience Report., , , , , and . ITiCSE (1), page 215-221. ACM, (2023)Supporting Real-Life Applications in Hierarchical Component Systems., , and . SERA (selected papers), volume 253 of Studies in Computational Intelligence, page 107-118. Springer, (2009)Validation of the Hybrid ERTMS/ETCS Level 3 using Spin., , and . Int. J. Softw. Tools Technol. Transf., 22 (3): 265-279 (2020)CoCoME in Fractal., , , , , , , , , and 1 other author(s). CoCoME, volume 5153 of Lecture Notes in Computer Science, page 357-387. Springer, (2007)Automated evaluation of regular lab assignments: A bittersweet experience?, , and . CSEE&T, page 249-258. IEEE, (2013)