( en | de | ru )

 

Disambiguation of "Hallé, Sylvain"

Author of the publication

copydeleteadd this publication to your clipboard
Establishing a Search String to Detect Secondary Studies in Software Engineering.

, , , , , , and . SEAA, page 9-16. IEEE, (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

Eliminating navigation errors in web applications via model checking and runtime enforcement of navigation state machines., , , and . ASE, page 235-244. ACM, (2010)Runtime Verification of User Interface Guidelines in Mobile Devices., , and . RV, volume 10548 of Lecture Notes in Computer Science, page 410-415. Springer, (2017)Browser-Based Enforcement of Interface Contracts in Web Applications with BeepBeep., and . CAV, volume 5643 of Lecture Notes in Computer Science, page 648-653. Springer, (2009)Flexible and reliable messaging using runtime monitoring., and . EDOCW, page 116-125. IEEE Computer Society, (2009)An Alternating Automaton for First-Order Linear Temporal Logic-Tech Report., , and . CoRR, (2016)Are Backdoor Mandates Ethical? - A Position Paper., and . IEEE Technol. Soc. Mag., 41 (4): 63-70 (2022)Offline monitoring of LTL with bit vectors., and . SAC, page 1833-1836. ACM, (2021)Graph Methods for Generating Test Cases with Universal and Existential Constraints., , and . ICTSS, volume 9447 of Lecture Notes in Computer Science, page 55-70. Springer, (2015)A Few Things We Heard About RV Tools (Position Paper)., , and . RV-CuBES, volume 3 of Kalpa Publications in Computing, page 89-95. EasyChair, (2017)Towards Continuous Systematic Literature Review in Software Engineering., , , and . SEAA, page 467-474. IEEE, (2022)