PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Quilbeuf, Jean"

Author of the publication

copydeleteadd this publication to your clipboard
An Application of SMC to continuous validation of heterogeneous systems.

, , , , , , , and . EAI Endorsed Trans. Indust. Netw. & Intellig. Syst., 4 (11): e2 (2017)

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.

Jean-Noel Grad University of Stuttgart

Jean-Louis Hoslauer University of Stuttgart

Dr. Eric Jean Kervio University of Stuttgart

 

Other publications of authors with the same name

Optimized distributed implementation of multiparty interactions with observation., , , and . AGERE!@SPLASH, page 71-82. ACM, (2012)Tutorial: An Overview of Malware Detection and Evasion Techniques., , , , and . ISoLA (1), volume 11244 of Lecture Notes in Computer Science, page 565-586. Springer, (2018)Dynamic Verification of SystemC with Statistical Model Checking., , and . CoRR, (2014)Security policies for distributed systems., , , and . CoRR, (2013)Verification of interlocking systems using statistical model checking., , , , , and . CoRR, (2016)Performance Evaluation of Process Partitioning Using Probabilistic Model Checking., , , , and . Haifa Verification Conference, volume 8244 of Lecture Notes in Computer Science, page 344-358. Springer, (2013)Automated distributed implementation of component-based models with priorities., , and . EMSOFT, page 59-68. ACM, (2011)Comparative Analysis of Leakage Tools on Scalable Case Studies., , and . SPIN, volume 9232 of Lecture Notes in Computer Science, page 263-281. Springer, (2015)Detection of Mirai by Syntactic and Behavioral Analysis., , , , , , and . ISSRE, page 224-235. IEEE Computer Society, (2018)The sosADL studio: an architecture development environment for software-intensive systems-of-systems., , , , and . SiSoS@ECSA, page 3:1-3:8. ACM, (2016)