( en | de | ru )

 

Disambiguation of "Hallé, Sylvain"

Author of the publication

copydeleteadd this publication to your clipboard
Offline monitoring of LTL with bit vectors.

, and . SAC, page 1833-1836. ACM, (2021)

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.

Martin Halle

Maria Halle

Horst Halle

Gunda Halle

Willi Halle

 

Other publications of authors with the same name

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)Efficient Generation of Test Data with Extended Cardinality Constraints., and . QRS, page 386-393. IEEE, (2019)Electric Device Recognition and Recommendation in Real-Time Based on Complex Event Processing for Smart Homes., , , and . GOODTECHS, page 43-48. ACM, (2019)Predictive Analytics for Event Stream Processing., , , and . EDOC, page 171-182. IEEE, (2019)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)A Case for "Piggyback" Runtime Monitoring., and . ISoLA (1), volume 7609 of Lecture Notes in Computer Science, page 295-311. Springer, (2012)Automated Generation of Web Service Stubs Using LTL Satisfiability Solving.. WS-FM, volume 6551 of Lecture Notes in Computer Science, page 42-55. Springer, (2010)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)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)