( en | de | ru )

 

Disambiguation of "Hallé, Sylvain"

Author of the publication

copydeleteadd this publication to your clipboard
Third International Competition on Runtime Verification - CRV 2016.

, , and . RV, volume 10012 of Lecture Notes in Computer Science, page 21-37. Springer, (2016)

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.

Maria Halle

Martin Halle

Horst Halle

Gunda Halle

Willi Halle

 

Other publications of authors with the same name

Decentralized enforcement of document lifecycle constraints., , , , and . Inf. Syst., 74 (Part): 117-135 (2018)Automated exploration and analysis of ajax web applications with WebMole., , and . WWW (Companion Volume), page 245-248. International World Wide Web Conferences Steering Committee / ACM, (2013)Self-configuration of Network Devices with Configuration Logic., , , and . Autonomic Networking, volume 4195 of Lecture Notes in Computer Science, page 36-49. Springer, (2006)MapReduce for parallel trace validation of LTL properties., and . J. Cloud Comput., (2015)Structural Profiling of Web Sites in the Wild., and . ICWE, volume 12128 of Lecture Notes in Computer Science, page 27-34. Springer, (2020)Detecting Responsive Web Design Bugs with Declarative Specifications., , and . ICWE, volume 12128 of Lecture Notes in Computer Science, page 3-18. Springer, (2020)Open Source Software Development Process: A Systematic Review., , and . EDOC, page 135-144. IEEE, (2020)Electric Device Recognition and Recommendation in Real-Time Based on Complex Event Processing for Smart Homes., , , and . GOODTECHS, page 43-48. ACM, (2019)A Comparison of Inertial Data Acquisition Methods for a Position-Independent Soil Types Recognition., , , , and . SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI, page 1052-1056. IEEE, (2018)Runtime Monitoring of Temporal Logic Properties in a Platform Game., , , , and . RV, volume 8174 of Lecture Notes in Computer Science, page 346-351. Springer, (2013)