Publications

English

Vous pouvez également consulter mes entrées sur DBLP et Google Scholar, qui ne les listent pas toutes. Cliquez sur l'icône [Paper] pour obtenir l'accès à la référence complète et au fichier PDF; cliquez sur l'icône [Slides] pour voir les diapositives de la présentation de l'article.

Le nombre de citations indiqué à côté des références provient de Google Scholar. Il est mis à jour périodiquement.

Quelques statistiques (discutables)

La dernière fois que j'ai vérifié…

Chapitres de livres

  1. S. Hallé, R. Villemaire and O. Cherkaoui. (2011). Logical Methods for Self-Configuration of Network Devices. In , P. Cong-VinhFormal and Practical Aspects of Autonomic Computing and Networking: Specification, Development and Verification. IGI Global, 189-216. [Article] (1 citation)
  2. S. Hallé and R. Villemaire. (2010). XML Query Evaluation in Validation and Monitoring of Web Service Interface Contracts. In , C. Li and T. LingAdvanced Applications and Structures in XML Processing. IGI Global. [Article] (1 citation)

Journaux

  1. S. Hallé, N. Bergeron, F. Guerin, G.L. Breton and O. Beroual. (2016). Declarative layout constraints for testing web applications. In J. Log. Algebr. Meth. Program., 85 (5), 737-758. [Article] (Impact Factor en 2015: 0.636)
  2. K. Xie, S. Gaboury and S. Hallé. (2016). Real-Time Streaming Communication With Optical Codes. In IEEE Access, 4, 284-298. [Article]
  3. É.L. Ngoupé, C. Parisot, S. Stoesel, P. Valtchev, R. Villemaire, O. Cherkaoui, P. Boucher and S. Hallé. (2016). A Declarative Approach to Network Device Configuration Correctness. In J. Network Syst. Manage., 1-30. [Article] (Impact Factor en 2015: 1.078)
  4. S. Hallé, J. Vallet and R. Tremblay-Lessard. (2015). On piggyback runtime monitoring of object-oriented programs. In STTT, 17 (2), 125-142. [Article] (2 citations)
  5. R. Khoury and S. Hallé. (2015). Runtime Enforcement With Partial Control. In CoRR, abs/1508.06525.
  6. S. Hallé and M. Soucy-Boivin. (2015). MapReduce for parallel trace validation of LTL properties. In J. Cloud Comp., 4:8. [Article]
  7. S. Hallé. (2013). Cooperative runtime monitoring. In Enterprise IS, 7 (4), 395-423. [Article] (3 citations) (Impact Factor en 2011: 3.684)
  8. A. Betin-Can, S. Hallé and T. Bultan. (2013). Modular Verification of Asynchronous Service Interactions Using Behavioral Interfaces. In IEEE Transactions on Services Computing, 6 (2), IEEE, 262-275. [Article] (1 citation) (Impact Factor en 2011: 1.468)
  9. A.B. Massé, S. Desmeules, S. Gaboury and S. Hallé. (2013). Multipseudoperiodic Words. In Int. J. Found. Comput. Sci., 24 (7), 1153-1166. [Article] (Impact Factor en 2013: 0.550)
  10. S. Hallé, R. Villemaire, O. Cherkaoui and R. Deca. (2012). A Logical Approach to Data-Aware Automated Sequence Generation. In Transactions on Computational Science, 15, Springer, 192-216. [Article] (3 citations) (Impact Factor en 2013: 0.75)
  11. R. Villemaire and S. Hallé. (2012). Reasoning About Visibility. In J. Applied Logic, 10 (2), 163-178. [Article] (3 citations) (Impact Factor en 2011: 0.574)
  12. S. Hallé and R. Villemaire. (2012). Runtime Enforcement of Web Service Message Contracts with Data. In IEEE T. Services Computing, 5 (2), 192-206. [Article] (60 citations) (Impact Factor en 2011: 1.468)
  13. S. Hallé, T. Bultan, G. Hughes, M. Alkhalaf and R. Villemaire. (2010). Runtime Verification of Web Service Interface Contracts. In IEEE Computer, 43 (3), 59-66. [Article] (45 citations) (Impact Factor en 2010: 1.79)
  14. S. Hallé, R. Villemaire and O. Cherkaoui. (2009). Specifying and Validating Data-Aware Temporal Web Service Properties. In IEEE Trans. Software Eng., 35 (5), IEEE Computer Society, 669-683. [Article] (39 citations) (Impact Factor en 2009: 3.75)

Conférences

  1. S. Hallé, S. Gaboury and B. Bouchard. (2016). Activity Recognition Through Complex Event Processing: First Findings. In Artificial Intelligence Applied to Assistive Technologies and Smart Environments, Papers from the 2016 AAAI Workshop, Phoenix, Arizona, USA, February 12, 2016 [Article|Diapositives] (1 citation)
  2. S. Hallé, R. Khoury, A. El-Hokayem and Y. Falcone. (2016). Decentralized Enforcement of Artifact Lifecycles. In 20th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2016, Vienna, Austria, September 5-9, 2016. , 1-10. (Taux d'acceptation: 23%) [Article|Diapositives] Best Paper Award
  3. R. Khoury, S. Hallé and O. Waldmann. (2016). Execution Trace Analysis Using LTL-FO+. In Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II. , 356-362. [Article]
  4. S. Hallé. (2016). When RV Meets CEP. In Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings. , 68-91. [Article|Diapositives] (1 citation)
  5. S. Hallé and O. Beroual. (2016). Fault Localization in Web Applications via Model Finding. In Proceedings First Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, CREST@ETAPS 2016, Eindhoven, The Netherlands, 8th April 2016.. , 55-67. (Taux d'acceptation: 37%) [Article] Invited Paper
  6. S. Hallé, S. Gaboury and B. Bouchard. (2016). Towards User Activity Recognition Through Energy Usage Analysis And Complex Event Processing. In F. Makedon, eds., Proceedings of the 9th ACM International Conference on PErvasive Technologies Related to Assistive Environments, PETRA 2016, Corfu, Greece, June 29-July 1, 2016. ACM, 1:1-1:8. [Article]
  7. S. Hallé. (2015). A Declarative Language Interpreter for CEP. In J. Kolb, B. Weber, S. Hallé, W. Mayer, A.K. Ghose and G. Grossmann, eds., 19th IEEE International Enterprise Distributed Object Computing Workshop, EDOC Workshops 2015, Adelaide, Australia, September 21-25, 2015. IEEE Computer Society, 156-159. [Article] (2 citations)
  8. R. Khoury and S. Hallé. (2015). Runtime Enforcement with Partial Control. In Foundations and Practice of Security - 8th International Symposium, FPS 2015, Clermont-Ferrand, France, October 26-28, 2015, Revised Selected Papers. , 102-116. (Taux d'acceptation: 21%) [Article]
  9. S. Hallé and R. Khoury. (2015). Runtime Monitoring of Stream Logic Formulae. In Foundations and Practice of Security - 8th International Symposium, FPS 2015, Clermont-Ferrand, France, October 26-28, 2015, Revised Selected Papers. , 251-258. (Taux d'acceptation: 21%) [Article|Diapositives]
  10. S. Hallé, N. Bergeron, F. Guerin and G.L. Breton. (2015). Testing Web Applications Through Layout Constraints. In 8th IEEE International Conference on Software Testing, Verification and Validation, ICST 2015, Graz, Austria, April 13-17, 2015. , 1-8. (Taux d'acceptation: 25%) [Article] (4 citations) Best Paper Award
  11. E.L. Ngoupe, S. Stoesel, C. Parisot, S. Hallé, P. Valtchev, O. Cherkaoui and P. Boucher. (2015). A data model for management of network device configuration heterogeneity. In IFIP/IEEE International Symposium on Integrated Network Management, IM 2015, Ottawa, ON, Canada, 11-15 May, 2015. , 1230-1233. [Article] (1 citation)
  12. S. Hallé, E.L. Chance and S. Gaboury. (2015). Graph Methods for Generating Test Cases with Universal and Existential Constraints. In Testing Software and Systems - 27th IFIP WG 6.1 International Conference, ICTSS 2015, Sharjah and Dubai, United Arab Emirates, November 23-25, 2015, Proceedings. , 55-70. (Taux d'acceptation: 33%) [Article|Diapositives]
  13. S. Varvaressos, K. Lavoie, S. Gaboury and S. Hallé. (2015). A generalized monitor verdict for log trace triaging. In 6th IEEE International Workshop on Program Comprehension through Dynamic Analysis, PCODA 2015, Montreal, QC, Canada, March 2, 2015. , 13-18. [Article]
  14. A.B. Massé, S. Gaboury, S. Hallé and M. Larouche. (2014). Solving Equations on Words with Morphisms and Antimorphisms. In A.H. Dediu, C. Martín-Vide, J.L. Sierra-Rodríguez and B. Truthe, eds., Language and Automata Theory and Applications - 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings. Springer, Lecture Notes in Computer Science 8370. (Taux d'acceptation: 39%) [Article|Diapositives] (3 citations)
  15. S. Varvaressos, K. Lavoie, A.B. Massé, S. Gaboury and S. Hallé. (2014). Automated Bug Finding in Video Games: A Case Study for Runtime Monitoring. In ICST. , 143-152. (Taux d'acceptation: 28%) [Article] (6 citations) Accepté pour publication
  16. S. Hallé, G.L. Breton, F. Maronnaud, A.B. Massé and S. Gaboury. (2014). Exhaustive Exploration of Ajax Web Applications With Selective Jumping. In Seventh IEEE International Conference on Software Testing, Verification and Validation, ICST 2014 Workshops Proceedings, March 31 - April 4, 2014, Cleveland, Ohio, USA. IEEE Computer Society, 243-252. (Taux d'acceptation: 28%) [Article] (3 citations)
  17. É.L. Ngoupé, S. Stoesel, C. Parisot, S. Hallé, P. Valtchev, O. Cherkaoui and P. Boucher. (2014). A Lazy Evaluation Strategy for Assessing Network Device Configuration Correctness. In J. Dong, Z. Feng, É. André and L. Zhang, eds., 19th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2014, Tianjin, China, 4-7 August 2014. IEEE Computer Society, 190-193. (Taux d'acceptation: 24%) [Article]
  18. G.L. Breton, N. Bergeron and S. Hallé. (2014). A Reference Framework for the Automated Exploration of Web Applications. In J. Dong, Z. Feng, É. André and L. Zhang, eds., 19th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2014, Tianjin, China, 4-7 August 2014. IEEE Computer Society. (Taux d'acceptation: 24%) [Article] (2 citations)
  19. S. Hallé and S. Varvaressos. (2014). A Formalization of Complex Event Stream Processing. In Proceedings of the 18th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2014, Ulm, Germany, September 1-5, 2014. IEEE Computer Society, 2-11. (Taux d'acceptation: 20%) [Article|Diapositives] (4 citations)
  20. K. Lavoie, C. Leplongeon, S. Varvaressos, S. Gaboury and S. Hallé. (2014). Portable Runtime Verification with Smartphones and Optical Codes. In B. Bonakdarpour and S.A. Smolka, eds., Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings. Springer, Lecture Notes in Computer Science 8734, 80-84. (Taux d'acceptation: 34%) [Article] (1 citation)
  21. S. Varvaressos, K. Lavoie, S. Gaboury and S. Hallé. (2014). Multiple Ways to Fail: A Generalized Monitor Verdict for the Classification of Execution Traces. In B. Bonakdarpour and S.A. Smolka, eds., Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings. Springer, Lecture Notes in Computer Science 8734, 10-14. (Taux d'acceptation: 34%) [Article]
  22. S. Hallé, É.L. Ngoupé, R. Villemaire and O. Cherkaoui. (2013). Distributed Firewall Anomaly Detection Through LTL Model Checking. In A. Clemm, P. Demeester, F. de Turck, Y. Diao and C.S. Hong, eds., Proceedings of the 13th IFIP/IEEE International Symposium on Integrated Network Management, IM 2013, Ghent, Belgium. IEEE, 194-201. (Taux d'acceptation: 27%) [Article|Diapositives] (1 citation)
  23. B. Barre, M. Klein, M. Soucy-Boivin, P. Ollivier and S. Hallé. (2013). MapReduce for Parallel Trace Validation of LTL Properties. In S. Tasiran and S. Qadeer, eds., Runtime Verification - Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012. Proceedings. Springer, Lecture Notes in Computer Science 7687, 184-198. (Taux d'acceptation: 40%) [Article|Diapositives] (28 citations) Best Paper Award
  24. A. Mrad, S. Ahmed, É. Beaudet and S. Hallé. (2013). BabelTrace: A Collection of Transducers For Trace Validation. In S. Tasiran and S. Qadeer, eds., Runtime Verification - Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012. Proceedings. Springer, Lecture Notes in Computer Science 7687, 126-130. (Taux d'acceptation: 40%) [Article] (7 citations)
  25. M. Larouche, A.B. Massé, S. Gaboury and S. Hallé. (2013). Solving Equations on Words through Boolean Satisfiability. In J.C. Maldonado and S.Y. Shin, eds., Proceedings of the 2013 ACM Symposium on Applied Computing (SAC), Coimbra, Portugal, March 18-22, 2013. ACM, 104-106. (Taux d'acceptation: 24%) [Article] (2 citations)
  26. G.L. Breton, F. Maronnaud and S. Hallé. (2013). Automated exploration and analysis of Ajax web applications with WebMole. In L. Carr, A.H.F. Laender, B.F. Lóscio, I. King, M. Fontoura, D. Vrandecic, L. Aroyo, J.P.M. de Oliveira, F. Lima and E. Wilde, eds., 22nd International World Wide Web Conference, WWW '13, Rio de Janeiro, Brazil, May 13-17, 2013, Companion Volume. International World Wide Web Conferences Steering Committee / ACM, 245-248. (Taux d'acceptation: 28%) [Article] (4 citations)
  27. J. Vallet, A. Mrad and S. Hallé. (2013). The Relational Database Engine: an Efficient Validator of Temporal Properties on Event Traces. In Workshops Proceedings of the 17th IEEE International Enterprise Distributed Object Computing Conference, EDOCW 2013, Vancouver, Canada, 25-29 September 2013. IEEE Computer Society, 285-294. [Article] (3 citations)
  28. S. Varvaressos, D. Vaillancourt, A.B. Massé, S. Gaboury and S. Hallé. (2013). Runtime Verification of Temporal Logic Properties in a Platform Game. In A. Legay, U. Fahrenberg, L. Traonouez, B. Boyer and E. Blin, eds., Runtime Verification - Fourth International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings. Springer, Lecture Notes in Computer Science 8174, 346-351. [Article] (1 citation)
  29. A.B. Massé, S. Gaboury and S. Hallé. (2012). Pseudoperiodic Words. In H. Yen and O.H. Ibarra, eds., Developments in Language Theory - 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012. Proceedings. Springer, Lecture Notes in Computer Science 7410, 308-319. [Article] (5 citations)
  30. G. Demarty, F. Maronnaud, G.L. Breton and S. Hallé. (2012). SiteHopper: Abstracting Navigation State Machines for the Efficient Verification of Web Applications. In M.H.t. Beek and N. Lohmann, eds., Web Services and Formal Methods - 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012. Revised Selected Papers. Springer, Lecture Notes in Computer Science 7843, 103-117. (Taux d'acceptation: 42%) [Article] (4 citations)
  31. S. Hallé and R. Tremblay-Lessard. (2012). A Case for "Piggyback" Runtime Monitoring. In T. Margaria and B. Steffen, eds., Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part I. Springer, Lecture Notes in Computer Science 7609, 295-311. [Article|Diapositives] (2 citations)
  32. S. Hallé and R. Villemaire. (2012). Constraint-based invocation of stateful web services: The Beep Store (case study). In 4th International ICSE Workshop on Principles of Engineering Service-Oriented Systems, PESOS 2012, June 4, 2012, Zurich, Switzerland. IEEE, 61-62. [Article]
  33. J. Calvar, R. Tremblay-Lessard and S. Hallé. (2012). A Runtime Monitoring Framework for Event Streams with Non-primitive Arguments. In G. Antoniol, A. Bertolino and Y. Labiche, eds., 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation, Montreal, QC, Canada, April 17-21, 2012. IEEE, 499-508. [Article|Diapositives] (2 citations)
  34. B. Khorchani, S. Hallé and R. Villemaire. (2012). Firewall anomaly detection with a model checker for visibility logic. In 2012 IEEE Network Operations and Management Symposium, Maui, HI, USA, April 16-20, 2012. IEEE, 466-469. (Taux d'acceptation: 26%) [Article] (13 citations)
  35. S. Hallé, E.L. Ngoupe, G. Nijdam, O. Cherkaoui, P. Valtchev and R. Villemaire. (2012). ValidMaker: A tool for managing device configurations using logical constraints. In 2012 IEEE Network Operations and Management Symposium, Maui, HI, USA, April 16-20, 2012. IEEE, 1111-1118. [Article] (4 citations) Best Paper Award
  36. S. Hallé, O. Cherkaoui and P. Valtchev. (2012). Towards a semantic virtualization of configurations. In 2012 IEEE Network Operations and Management Symposium, Maui, HI, USA, April 16-20, 2012. IEEE, 1268-1271. [Article] (1 citation)
  37. S. Hallé. (2011). Causality in Message-Based Contract Violations: A Temporal Logic ``Whodunit''. In Proceedings of the 15th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2011, Helsinki, Finland, August 29 - September 2, 2011. IEEE Computer Society, 171-180. (Taux d'acceptation: 20%) [Article|Diapositives] (1 citation)
  38. S. Hallé. (2011). Model-Based Simulation of SOAP Web Services from Temporal Logic Specifications. In I. Perseil, K. Breitman and R. Sterritt, eds., 16th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2011, Las Vegas, Nevada, USA, 27-29 April 2011. IEEE Computer Society, 95-104. (Taux d'acceptation: 23%) [Article|Diapositives] (2 citations)
  39. S. Hallé. (2010). Automated Generation of Web Service Stubs Using LTL Satisfiability Solving. In M. Bravetti and T. Bultan, eds., Web Services and Formal Methods, 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Proceedings. Springer, Lecture Notes in Computer Science. (Taux d'acceptation: 42%) [Article|Diapositives] (2 citations)
  40. S. Hallé, T. Ettema, C. Bunch and T. Bultan. (2010). Eliminating navigation errors in web applications via model checking and runtime enforcement of navigation state machines. In C. Pecheur, J. Andrews and E.D. Nitto, eds., ASE 2010, 25th IEEE/ACM International Conference on Automated Software Engineering, Antwerp, Belgium, September 20-24, 2010. ACM, 235-244. (Taux d'acceptation: 17%) [Article] (43 citations)
  41. S. Hallé. (2010). Cooperative Runtime Monitoring of LTL Interface Contracts. In 14th International Enterprise Distributed Object Computing Conference (EDOC 2010), 25-29 October 2010, Vitória, ES, Brazil, Proceedings. IEEE Computer Society, 227-236. (Taux d'acceptation: 29%) [Article|Diapositives] (1 citation) Best Paper Award
  42. S. Hallé and T. Bultan. (2010). Realizability analysis for message-based interactions using shared-state projections. In G. Roman and K.J. Sullivan, eds., Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010, Santa Fe, NM, USA, November 7-11, 2010. ACM, 27-36. (Taux d'acceptation: 20%) [Article|Diapositives] (20 citations)
  43. S. Hallé and R. Villemaire. (2010). Runtime Verification for the Web - A Tutorial Introduction to Interface Contracts in Web Applications. In H. Barringer, Y. Falcone, B. Finkbeiner, K. Havelund, I. Lee, G.J. Pace, G. Rosu, O. Sokolsky and N. Tillmann, eds., Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings. Springer, Lecture Notes in Computer Science 6418, 106-121. [Article|Diapositives] (45 citations)
  44. S. Hallé and R. Villemaire. (2009). Runtime Monitoring of Web Service Choreographies Using Streaming XML. In S.Y. Shin and S. Ossowski, eds., Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009. ACM, 2118-2125. (Taux d'acceptation: 29%) [Article] (29 citations)
  45. S. Hallé and R. Villemaire. (2009). Browser-based Enforcement of Interface Contracts in Web Applications with BeepBeep. In A. Bouajjani and O. Maler, eds., Computer Aided Verification, 21st International Conference, CAV 2009, Grenoble, France, June 26-July 2, 2009, Proceedings. Springer, Lecture Notes in Computer Science 5643, 648-653. (Taux d'acceptation: 27%) [Article|Diapositives] (18 citations)
  46. S. Hallé, G. Hughes, T. Bultan and M. Alkhalaf. (2009). Generating Interface Grammars from WSDL for Automated Verification of Web Services. In L. Baresi, C. Chi and J. Suzuki, eds., Service-Oriented Computing - ICSOC-ServiceWave 2009, 7th International Joint Conference, Stockholm, Sweden, November 23-27, 2009. Proceedings. , Lecture Notes in Computer Science 5900, 516-530. (Taux d'acceptation: 16%) [Article|Diapositives] (19 citations)
  47. S. Hallé and R. Villemaire. (2009). Flexible and Reliable Messaging Using Runtime Monitoring. In Thirteenth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2009), 1-4 September 2009, Auckland, New Zealand, Workshops. IEEE Computer Society, 116-125. [Article] (5 citations)
  48. R. Villemaire and S. Hallé. (2009). Strong Temporal, Weak Spatial Logic for Rule Based Filters. In C. Lutz and J. Raskin, eds., TIME 2009, 16th International Symposium on Temporal Representation and Reasoning, Bressanone-Brixen, Italy, 23-25 July 2009, Proceedings. IEEE Computer Society, 115-121. [Article] (8 citations)
  49. S. Hallé and R. Villemaire. (2008). Satisfying a Fragment of XQuery by Branching-Time Reduction. In 15th International Symposium on Temporal Representation and Reasoning (TIME 2006), 16-18 June 2008, Montreal, Canada. IEEE Computer Society, 72-76. (Taux d'acceptation: 34%) [Article] (1 citation)
  50. S. Hallé and R. Villemaire. (2008). XML Methods for Validation of Temporal Properties on Message Traces With Data. In R. Meersman and Z. Tari, eds., On the Move to Meaningful Internet Systems 2008: CoopIS, DOA, and ODBASE, OTM Confederated International Conferences, Monterrey, Mexico, October 10-14, 2008, Proceedings, Part I. Springer, Lecture Notes in Computer Science 5331, 337-353. (Taux d'acceptation: 22%) [Article] (21 citations)
  51. S. Hallé and R. Villemaire. (2008). Runtime Monitoring of Message-Based Workflows with Data. In 12th International Enterprise Distributed Object Computing Conference (EDOC 2008), 15-19 September 2008, Munich, Germany, Proceedings. IEEE Computer Society, 63-72. (Taux d'acceptation: 25%) [Article] (54 citations)
  52. S. Hallé, R. Deca, O. Cherkaoui, R. Villemaire and D. Puche. (2007). Modelling the Temporal Aspects of Network Configurations. In D. Gaïti, eds., Network Control and Engineering for QoS, Security and Mobility, IV, Fourth IFIP International Conference on Network Control and Engineering for QoS, Security and Mobility, Lannion, France, November 14-18, 2005. Springer, IFIP International Federation for Information Processing, 269-282. [Article] (1 citation)
  53. S. Hallé, R. Villemaire, O. Cherkaoui and B. Ghandour. (2007). Model-checking Data-Aware Temporal Workflow Properties with CTL-FO+. In 11th International Enterprise Distributed Object Computing Conference (EDOC 2007), 15-19 October 2007, Annapolis, USA, Proceedings. IEEE Computer Society, 267-278. (Taux d'acceptation: 28%) [Article] (16 citations)
  54. S. Hallé, R. Villemaire, O. Cherkaoui, J. Tremblay and B. Ghandour. (2007). Extending Model Checking to Data-Aware Temporal Properties of Web Services. In M. Dumas and R. Heckel, eds., Web Services and Formal Methods, Fourth International Workshop, WS-FM 2007 Brisbane, Australia, September 28-29, 2007, Proceedings. Springer, Lecture Notes in Computer Science 4937, 31-45. (Taux d'acceptation: 41%) [Article] (6 citations)
  55. S. Hallé, R. Villemaire and O. Cherkaoui. (2006). CTL Model Checking for Labelled Tree Queries. In 13th International Symposium on Temporal Representation and Reasoning (TIME 2006), 15-17 June 2006, Budapest, Hungary. IEEE Computer Society, 27-35. (Taux d'acceptation: 39%) [Article] (8 citations)
  56. R. Villemaire, S. Hallé, R. Deca and O. Cherkaoui. (2006). Skolem Functions and Herbrand Universes for a Tree Generalization of First-Order Logic. In A. Gelbukh and C.A. Reyes-García, eds., MICAI. IEEE Computer Society, 22-31. (Taux d'acceptation: 26%) [Article] (1 citation)
  57. S. Hallé. (2006). An Efficient Heuristic for Discovering Multiple Ill-Defined Attributes in Datasets. In M.A. Wani, T. Li, L. Kurgan, J. Ye and Y. Lu, eds., Proceedings of the 2006 International Conference on Machine Learning and Applications - ICMLA 2006, December 14-16, 2006, Orlando, Florida, USA. IEEE Computer Society, 43-47. (Taux d'acceptation: 23%) [Article]
  58. S. Hallé, É. Wenaas, R. Villemaire and O. Cherkaoui. (2006). Self-configuration of Network Devices with Configuration Logic. In D. Gaïti, G. Pujolle, E.S. Al-Shaer, K.L. Calvert, S.A. Dobson, G. Leduc and O. Martikainen, eds., Autonomic Networking, First International IFIP TC6 Conference, AN 2006, Paris, France, September 27-29, 2006, Proceedings. Springer, Lecture Notes in Computer Science 4195, 36-49. [Article] (11 citations)
  59. S. Hallé, R. Deca, O. Cherkaoui and R. Villemaire. (2006). Sequential Dependencies in Configuration Operations. In F. Krief, eds., GRES 2006: 7e Colloque Francophone de Gestion de Réseaux et de Services. , 112-123. [Article] (2 citations)
  60. R. Villemaire, S. Hallé and O. Cherkaoui. (2005). Configuration Logic: A Multi-site Modal Logic. In 12th International Symposium on Temporal Representation and Reasoning (TIME 2005), 23-25 June 2005, Burlington, Vermont, USA. IEEE Computer Society, 131-137. (Taux d'acceptation: 49%) [Article] (12 citations)
  61. S. Hallé. (2005). Using Boolean Differences for Discovering Ill-Defined Attributes in Propositional Machine Learning. In A.F. Gelbukh, A. de Albornoz and H. Terashima-Marín, eds., MICAI 2005: Advances in Artificial Intelligence, 4th Mexican International Conference on Artificial Intelligence, Monterrey, Mexico, November 14-18, 2005, Proceedings. Springer, Lecture Notes in Computer Science 3789, 425-434. (Taux d'acceptation: 29%) [Article] (1 citation)
  62. R. Villemaire, S. Hallé and O. Cherkaoui. (2005). A Hierarchical Logic for Network Configuration. In G. Sutcliffe and A. Voronkov, eds., Logic for Programming, Artificial Intelligence, and Reasoning, 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings. Springer, Lecture Notes in Computer Science 3835. [Article] (1 citation)
  63. S. Hallé, R. Deca, O. Cherkaoui and R. Villemaire. (2004). Automated Validation of Service Configuration on Network Devices. In J.B. Vicente and D. Hutchison, eds., Management of Multimedia Networks and Services: 7th IFIP/IEEE International Conference, MMNS 2004, San Diego, CA, USA, October 2004, Proceedings. Springer, Lecture Notes in Computer Science 3271, 176-188. (Taux d'acceptation: 31%) [Article] (14 citations)
  64. S. Hallé, R. Deca, O. Cherkaoui, R. Villemaire and D. Puche. (2004). A Formal Validation Model for the Netconf Protocol. In A. Sahai and F. Wu, eds., Utility Computing: 15th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management, DSOM 2004, Davis, CA, USA, November 15-17, 2004. Proceedings. Springer, Lecture Notes in Computer Science 3278, 147-158. (Taux d'acceptation: 22%) [Article] (13 citations)

Autres articles

  1. G. Reger, S. Hallé and Y. Falcone. (2016). Third International Competition on Runtime Verification - CRV 2016. In Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings. , 21-37. [Article] (1 citation)
  2. D. Karastoyanova and S. Hallé. (2014). Message from the EDOC 2014 Workshops Co-Chairs. In 18th IEEE International Enterprise Distributed Object Computing Conference Workshops, EDOC Workshops. IEEE Computer Society, xiv.
  3. E. Bagheri and S. Hallé. (2013). Message from the EDOC Workshops Chairs. In Workshops Proceedings of the 17th IEEE International Enterprise Distributed Object Computing Conference, EDOCW 2013, Vancouver, Canada, 25-29 September 2013. IEEE Computer Society, xii.
  4. D. Gašević, G. Grossmann, S. Hallé and F. Rosenberg. (2011). Message from the EVL-BP 2011 Workshop Chairs. In Workshops Proceedings of the 15th IEEE International Enterprise Distributed Object Computing Conference, EDOCW 2011, Helsinki, Finland, August 29 - September 2, 2011. IEEE Computer Society, 143-145.
  5. D. Gašević, T. Graml, S. Hallé and R. Villemaire. (2011). Guest Editorial: Dynamic and Declarative Business Processes. In Int. J. Business Process Integration and Management (IJBPIM). Inderscience, 273-275.
  6. J. Dietrich, D. Gašević, G. Grossmann and S. Hallé. (2011). Guest Editorial: Special Collection on Dynamic and Declarative Business Processes (DDBP), and Vocabularies, Ontologies and Languages for the Enterprises (VORTE). In J. of Research and Practice in Information Technology (JRPIT). Australian Computer Society, 1-4.
  7. D. Gašević, G. Grossmann, S. Hallé and F. Rosenberg. (2010). Dynamic and Declarative Business Processes - DDBP 2010 (Editorial). In Workshops Proceedings of the 14th IEEE International Enterprise Distributed Object Computing Conference, EDOCW 2010, Vitória, Brazil, 25-29 October 2010. IEEE Computer Society, xxiv-xxvii.
  8. G. Salaün, X. Fu and S. Hallé. (2010). Preface. In Proceedings Fourth International Workshop on Testing, Analysis and Verification of Web Software, TAV-WEB 2010. Elec. Proc. in Theoretical Computer Science, 1.
  9. D. Gašević, G. Grossmann and S. Hallé. (2009). Dynamic and Declarative Business Processes: Editorial. In Thirteenth IEEE International Enterprise Distributed Object Computing Conference (EDOC 2009), 1-4 September 2009, Auckland, New Zealand, Workshops. IEEE Computer Society, 1-4.
  10. S. Hallé and R. Villemaire. (2009). 15th International Symposium on Temporal Representation and Reasoning (TIME 2008), Montréal, Canada, June 16-18, 2008. In Bul. Symb. Log.. Association for Symbolic Logic, 377-378.
  11. A. Artale, S. Demri, C.S. Jensen, S. Hallé and R. Villemaire. (2008). Message from the Chairs. In 15th International Symposium on Temporal Representation and Reasoning (TIME 2006), 16-18 June 2008, Montreal, Canada. IEEE Computer Society, vii.
  12. S. Hallé, R. Deca, O. Cherkaoui, R. Villemaire and D. Puche. (2005). Modelling the Sequential Aspects of Network Configurations. In IM. IEEE. [Article]

Navigation