( en | de | ru )

 

Disambiguation of "Pierre, Laurence"

Author of the publication

copydeleteadd this publication to your clipboard
A Customizable Monitoring Infrastructure for Hardware/Software Embedded Systems.

, and . ICTSS, volume 8763 of Lecture Notes in Computer Science, page 173-179. Springer, (2014)

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.

Laurence Lapopin

Laurence Germond

Laurence Vidrascu

Laurence Tricot

Laurence Clark

 

Other publications of authors with the same name

Dynamic Verification of SystemC Transactional Models, and . Model-based testing for embedded systems, CRC Press, Boca Raton, (2011)Automated Testing for Cyber-physical Systems: From Scenarios to Executable Tests., , and . FDL, page 5-16. IEEE, (2018)A requirement driven testing method for multi-disciplinary system design., , and . MoDELS, page 396-405. ACM, (2016)A Mixed Verification Strategy Tailored for Networks on Chip., and . NOCS, page 161-168. IEEE Computer Society, (2012)Mechanical Verification of Hypercube Algorithms., and . IPDPS, IEEE Computer Society, (2002)Theorem proving techniques for the formal verification of NoC communications with non-minimal adaptive routing., , and . DDECS, page 221-224. IEEE Computer Society, (2010)Formal Specification of a Reactive System: An Exercise in VHDL, LOTOS and UNITY.. ED&TC, page 607. IEEE Computer Society, (1996)Runtime Verification of Typical Requirements for a Space Critical SoC Platform., , , , and . FMICS, volume 6959 of Lecture Notes in Computer Science, page 21-36. Springer, (2011)A Design Flow for Critical Embedded Systems., , , , , , , , , and . SIES, page 229-233. IEEE, (2010)Towards a toolchain for assertion-driven test sequence generation.. FDL, page 82-89. IEEE, (2015)