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

Policy formalization to combine separate systems into larger connected network of trust., , , and . Net-Con, volume 235 of IFIP Conference Proceedings, page 425-430. Kluwer, (2002)Interfaces and binding in component based development of formal models., , , , , and . VALUETOOLS, page 44. ICST/ACM, (2009)A Systematic Approach to the Petri Net Based Specification of Concurrent Systems., , , and . Real Time Syst., 13 (3): 219-236 (1997)Compositional modeling of railway Virtual Coupling with Stochastic Activity Networks., , , and . Formal Aspects Comput., 33 (6): 989-1007 (2021)Model-Driven V&V Processes for Computer Based Control Systems: A Unifying Perspective., , , , and . ISoLA (2), volume 7610 of Lecture Notes in Computer Science, page 190-204. Springer, (2012)A SAN-Based Modeling Approach to Performance Evaluation of an IMS-Compliant Conferencing Framework., , , , , and . Trans. Petri Nets Other Model. Concurr., (2012)A Study on Multiformalism Modeling of Critical Infrastructures., , , and . CRITIS, volume 5508 of Lecture Notes in Computer Science, page 336-343. Springer, (2008)Workflow Principles Applied to Multi-Solution Analysis of Dependable Distributed Systems., , and . PDP, page 134-. IEEE Computer Society, (2004)Repairable Fault Tree for the Automatic Evaluation of Repair Policies., , , and . DSN, page 659-668. IEEE Computer Society, (2004)A new modeling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance, , , and . CoRR, (2013)