Author of the publication

Specification and Verification of a MPI Implementation for a MP-SoC.

, , and . ICTAC, volume 6255 of Lecture Notes in Computer Science, page 168-183. Springer, (2010)

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

Hard-Wiring CSP Hiding: Implementing Channel Abstraction to Generate Verified Concurrent Hardware., and . SBMF, volume 9526 of Lecture Notes in Computer Science, page 3-18. Springer, (2015)Formal Development of a Cardiac Pacemaker: From Specification to Code., and . SBMF, volume 6527 of Lecture Notes in Computer Science, page 210-225. Springer, (2010)B to CSP Migration: Towards a Formal and Automated Model-Driven Engineering of Hardware/Software Co-design., , and . SBMF, volume 7021 of Lecture Notes in Computer Science, page 44-59. Springer, (2011)BTS: A Tool for Formal Component-Based Development., , , and . IFM, volume 10510 of Lecture Notes in Computer Science, page 211-226. Springer, (2017)CSP specification and verification of relay-based railway interlocking systems., , , , and . SAC, page 97-106. ACM, (2022)CSP Specification and Verification of a Relay-Based Railway Interlocking System., , , and . SBMF, volume 14414 of Lecture Notes in Computer Science, page 36-54. Springer, (2023)Formal Specification of a Cardiac Pacing System., and . FM, volume 5850 of Lecture Notes in Computer Science, page 692-707. Springer, (2009)Specification and Verification of a MPI Implementation for a MP-SoC., , and . ICTAC, volume 6255 of Lecture Notes in Computer Science, page 168-183. Springer, (2010)Implementing Tactics of Refinement in CRefine., and . SEFM, volume 7504 of Lecture Notes in Computer Science, page 342-351. Springer, (2012)Tool Support for the CircusRefinement Calculus., , and . ABZ, volume 5238 of Lecture Notes in Computer Science, page 349. Springer, (2008)