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

SPIN Model Checking: An Introduction., , and . Int. J. Softw. Tools Technol. Transf., 2 (4): 321-327 (2000)Infinite types for distributed object interfaces., , and . FMOODS, volume 139 of IFIP Conference Proceedings, Kluwer, (1999)Specification & Detection of IN Service Interference Using LOTOS., and . FORTE, volume C-22 of IFIP Transactions, page 53-69. North-Holland, (1993)Consistent Semantics for ODP Information and Computational Models., and . FORTE, volume 107 of IFIP Conference Proceedings, page 107-126. Chapman & Hall, (1997)Verification of Distributed Systems Using Structured Communicating Agents Nets.. PSTV, page 295-308. North-Holland, (1984)HKD-SHO: A hybrid smart home system based on knowledge-based and data-driven services., , , and . CoRR, (2024)Operational Semantics of Ada Ravenscar., and . Ada-Europe, volume 5026 of Lecture Notes in Computer Science, page 44-58. Springer, (2008)Behavioural Contracts for a Sound Assembly of Components., , and . FORTE, volume 2767 of Lecture Notes in Computer Science, page 111-126. Springer, (2003)Rule-Based Data Access: A Use-case in Agroecology., , and . RuleML+RR (Companion), volume 3229 of CEUR Workshop Proceedings, CEUR-WS.org, (2022)Websocket enabler: achieving IMS and web services end-to-end convergence., , and . IPTComm, page 3:1-3:3. ACM, (2011)