Publications

• Conférences avec comité de lecture/Refereed Conferences

  • 2024
    • Florent Avellaneda, Roger Villemaire: Delegation-Relegation for Boolean Matrix Factorization, In Proceedings of the AAAI Conference on Artificial Intelligence, , . https://doi.org/
  • 2023
    • Roger Villemaire: Tools, methods, and purposes for teaching logic, V International Congress on Tools for Teaching Logic: Madrid, March 23-24, 2023. Acétates/Slides
  • 2022
    • Florent Avellaneda, Roger Villemaire:Undercover Boolean Matrix Factorization with MaxSAT, In Proceedings of the AAAI Conference on Artificial Intelligence, 36(4), 3672-3681. https://doi.org/10.1609/aaai.v36i4.20280
    • Roger Villemaire: Undergraduate Logic Teaching in Computing: Why, What, How?, LogTeach-22: Why and how to teach Logic for CS undergraduates, LICS 2022 Workshop, 2022. Acétates/Slides
  • 2021
    • Steve Boucher, Roger Villemaire: Quantified Boolean Solving for Achievement Games, In Proceedings of the German Conference on Artificial Intelligence (KI 2021), pp. 30-43, LNAI 12873, Springer, 2021.
  • 2020
    • Dennis J. Drown, Roger Villemaire, Serge Robert: Big Players: Emotion in Twitter Communities Tweeting About Global Warming, In Proceedings of the Canadian Conference on AI, pp. 189-200, Springer, 2020.
  • 2019
    • Benoit Potvin, Roger Villemaire: Robust Web Data Extraction Based on Unsupervised Visual Validation, In Proceedings of the Asian Conference on Intelligent Information and Database Systems, ACIIDS 2019, pp. 77-89, Springer, 2019.
  • 2018
    • Benoit Potvin, Roger Villemaire: When Different is Wrong: Visual Unsupervised Validation for Web Information Extraction, In Proceedings of the International Conference on Machine Learning and Data Mining, MLDM 2018, pp. 132-146, NY, Springer, 2018.
  • 2016
    • Benoit Potvin, Roger Villemaire, Ngoc-Tan Le: A Position-Based Method for the Extraction of Financial Information in PDF Documents, In Proceedings of the 21st Australasian Document Computing Symposium, ADCS 2016, pp. 9-16, Caulfield, VIC, Australia, ACM, 2016.
  • 2015
    • Roger Villemaire: Logic Modelling, In M. Antonia Huertas, João Marcos, María Manzano, Sophie Pinchinat and François Schwarzentruber, eds., Proceedings of the 4th International Conference on Tools for Teaching Logic, pp. 263–271, Rennes, France, LIPICS-IRISA, 2015.
  • 2013
    • Sylvain Hallé, Éric Lunaud Ngoupé, Roger Villemaire and Omar Cherkaoui: 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, pp. 194-201, Ghent, Belgium. IEEE, 2013.
  • 2012
    • Anthony Monnet, Roger Villemaire: Efficient Partial Order CDCL Using Assertion Level Choice Heuristics, 12th International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2012), pp. 26-40, September 2012.
    • Anthony Monnet, Roger Villemaire: CDCL with Less Destructive Backtracking through Partial Ordering, Third Workshop on Practical Aspects of Automated Reasoning (PAAR-2012), pp. 124-138.
    • Sylvain Hallé, Roger Villemaire: Constraint-Based Invocation of Stateful Web Services: the Beep Store (Case Study), 4th International Workshop on Principles of Engineering Service-Oriented Systems, PESOS 2012, ICSE Workshop on, pp. 61-62.
    • Bassam Khorchani, Sylvain Hallé, Roger Villemaire: Firewall Anomaly Detection With A Model Checker for Visibility Logic, IEEE/IFIP Network Operations and Management Symposium (NOMS 2012). IEEE Communications Society, pp. 466-469.
    • Sylvain Hallé, Éric Lunaud Ngoupé, Gaëtan Nijdam, Omar Cherkaoui, Petko Valtchev, Roger Villemaire: ValidMaker: A Tool for Managing Device Configurations Using Logical Constraints, Proceedings of ManFI 2012. IEEE Communications Society, pp. 1111-1118.
  • 2010
    • Sylvain Hallé, Roger Villemaire: Tutorial: Runtime Verification for the Web, International Conference on runtime verification (RV 2010), Springer LNCS 6418, pp. 106-121.
    • Anthony Monnet, Roger Villemaire: Scalable Formula Decomposition for Propositional Satisfiability, C* Conference on Computer Science & Software Engineering (C3S2E 2010 ), pp. 43-52.
  • 2009
    • Sylvain Hallé, Roger Villemaire: Flexible and reliable messaging using runtime monitoring, 13th Enterprise Distributed Object Computing Conference Workshops (AQuSerM, EDOCW 2009), pp. 116-125.
    • Roger Villemaire,Sylvain Hallé: Strong Temporal, Weak Spatial Logic for Rule Based Filters, 16th International Symposium on Temporal Representation and Reasoning (TIME 2009), IEEE Computer Society Press, pp. 115-121.
    • Sylvain Hallé, Roger Villemaire: Browser-based Enforcement of Interface Contracts in Web Applications with BeepBeep, 21th International Conference on Computer Aided Verification (CAV 2009), pp. 648-653.
    • Sylvain Hallé, Roger Villemaire: Runtime Monitoring of Web Service Choreographies Using Streaming XML, 24th Annual ACM Symposium on Applied Computing, Track on Service Oriented Architectures and Programming (SAC-SOAP 2009), pp. 1851-1858.
  • 2008
    • Sylvain Hallé, Roger Villemaire: Runtime Monitoring of Message-Based Workflows with Data, 12th IEEE International EDOC Conference (EDOC 2008), IEEE Computer Society Press, pp. 63-72.
    • Sylvain Hallé, Roger Villemaire: XML Methods for Validation of Temporal Properties on Message Traces With Data, 16th International Conference on Cooperative Information Systems (CoopIS 2008), Springer LNCS vol. 5331, pp. 337-353.
    • Sylvain Hallé, Roger Villemaire: Satisfying a Fragment of XQuery by Branching-Time Reduction, 15th International Symposium on Temporal Representation and Reasoning (TIME 2008), IEEE Computer Society Press, pp. 72-76.
  • 2007
    • Sylvain Hallé, Roger Villemaire, Cherkaoui Omar, Jérôme Tremblay, Boubker Ghandour: Extending Model Checking to Data-Aware Temporal Properties of Web Services, 4th International Workshop on Web Services and Formal Methods (WS-FM 2007), Springer LNCS vol. 4937, pp. 31-45.
    • Sylvain Hallé, Roger Villemaire, Omar Cherkaoui, Boubker Ghandour: Model Checking Data-aware Workflow Properties with CTL-FO+, 11th IEEE International EDOC Conference (EDOC 2007), IEEE Computer Society Press, pp. 267-267.
    • Sylvain Hallé, Rudy Deca, Omar Cherkaoui, Roger Villemaire, Daniel Puche: Modelling the Temporal Aspects of Network Configurations, Fourth IFIP International Conference on Network Control and Engineering for QoS, Security and Mobility (NetCon 2005), IFIP serie, Springer, pp. 269-282.
  • 2006
    • Roger Villemaire, Sylvain Hallé, Rudi Deca, Omar Cherkaoui: Skolem Functions and Herbrand Universes for a Tree Generalization of First-Order Logic, Fifth Mexican International Conference on Artificial Intelligence, Special Session, IEEE Computer Society Press, pp. 22-31.
    • Sylvain Hallé, Éric Wenaas, Omar Cherkaoui, Roger Villemaire: Self-configuration of Network Devices with Configuration Logic, Autonomic Networking 2006, Springer LNCS vol. 4195, pp. 36-49.
    • Sylvain Hallé, Roger Villemaire, Omar Cherkaoui: CTL Model Checking for Labelled Tree Queries, Thirteenth International Symposium on Temporal Representation and Reasoning (TIME 2006), IEEE Computer Society Press, pp. 27-35.
    • Sylvain Hallé, Rudy Deca, Omar Cherkaoui, Roger Villemaire, Daniel Puche: Sequential Dependencies in Configuration Operations, 7ème Colloque francophone de Gestion de Réseaux et de Services (GRES 2006), pp. 112-123.
  • 2005
    • Roger Villemaire, Sylvain Hallé, Omar Cherkaoui: Configuration Logic: A Multi-site Modal Logic, 12th International Symposium on Temporal Representation and Reasoning (TIME 2005), IEEE Computer Society Press, pp. 131-137.
  • 2004
    • Sylvain Hallé, Rudy Deca, Omar Cherkaoui, Roger Villemaire, Daniel Puche: A Formal Validation Model for the Netconf Protocol, 15th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management (DSOM 2004), Springer LNCS vol. 3278, pp. 147-158.
    • Sylvain Hallé, Rudy Deca, Omar Cherkaoui, Roger Villemaire: Automated Validation of Service Configuration on Network Devices, 7th IFIP/IEEE International Conference on Management of Multimedia Networks and Services (MMNS 2004), Springer LNCS vol. 3271, pp. 176-188.
  • 2002
    • Roger Villemaire: An Approximation Semantics for the Propositional Mu-Calculus. Mathematical Foundations of Computer Science (MFCS 2002), Springer LNCS vol. 2420, pp. 637-650.
  • 1993
    • Christian Michaux, Roger Villemaire: Cobham's Theorem seen through Büchi's Theorem. Automata, Languages and Programming (ICALP 1993), Springer LNCS vol. 700, pp. 325-334.
    • Christian Michaux, Roger Villemaire: Open questions around Büchi and Presburger arithmetics, Proceeding of the Association for Symbolic Logic European Summer Meeting (Logic Colloquium 93), Logic: from Foundations to Applications, pp. 353-383.
  • 1992
    • Roger Villemaire: Joining k- and l-Recognizable Sets of Natural Numbers. 9th Annual Symposium on Theoretical Aspects of Computer Science (STACS 1992), Springer LNCS vol. 577, pp. 83-94.

  ---

• Revues avec comité de lecture/Refereed Journal

  • 2024
    • Dimitri Prestat, Naouel Moha, Roger Villemaire, Florent Avellaneda. DynAMICS: A tool-based method for the specification and dynamic detection of Android behavioural code smells. IEEE Transactions on Software Engineering, (2024).
  • 2022
    • Dimitri Prestat, Naouel Moha, Roger Villemaire. An empirical study of Android behavioural code smells detection. Empirical Software Engineering, Springer, 27(7), 179-212 (2022).
  • 2017
    • Eric Lunaud Ngoupe, Clément Parisot, Sylvain Stoesel, Petko Valtchev, Roger Villemaire, Omar Cherkaoui, Pierre Boucher, Sylvain Hallé A Declarative Approach to Network Device Configuration Correctness. Journal of Network and Systems Management, Springer, 25(1), 180-209 (2017).
  • 2015
    • Roger Villemaire Homogeneity and Fix-points: Going Forth!, The Journal of Symbolic Logic 80(2), pp. 636-660 (2015).
  • 2014
    • Pierre Ille, Roger Villemaire Recognition of prime graphs from a prime subgraph, Discrete Mathematics, Volume 327, 2014, Pages 76–90.
  • 2012
    • Roger Villemaire, Sylvain Hallé: Reasoning about Visibility, Journal of Applied Logic, Volume 10, Issue 2, June 2012, Pages 163–178. http://dx.doi.org/10.1016/j.jal.2012.02.001.
  • 2011
    • Sylvain Hallé, Roger Villemaire: Runtime Enforcement of Web Service Message Contracts with Data, IEEE Transactions on Services Computing, Special issue on Enforcement and Management in Services Computing, vol. 5, no. 2, pp. 192-206, 2012. http://dx.doi.org/10.1109/TSC.2011.10.
    • Sylvain Hallé, Roger Villemaire, Omar Cherkaoui, Rudy Deca: A Logical Approach to Data-Aware Automated Sequence Generation, Springer Transactions on Computational Science. Special issue on Advances in Autonomic Computing: Formal Engineering Methods for Nature-Inspired Computing Systems, Lecture Notes in Computer Science 7050, 192-216.
  • 2010
    • Mathieu Bourgeois, Roger Villemaire: Drawing structured diagrams with SDDL, TUGboat: The Communications of the TEX Users Group, 31(2), pp.206-210, 2010. Video presentation.
    • Sylvain Hallé, Tevfik Bultan, Graham Hughes, Muath Alkhalaf, Roger Villemaire: Runtime Verification of Web Service Interface Contracts, IEEE Computer, Research Feature Paper, vol. 43, no. 3 (March 2010), ISSN: 0018-9162, pp. 59-66, 2009.
  • 2009
    • Sylvain Hallé, Roger Villemaire, Omar Cherkaoui: Specifying and Validating Data-Aware Temporal Web Service Properties, IEEE Transactions on Software Engineering, (regular paper), vol. 35 no 5, sept.-oct., pp. 669-683, 2009.
  • 1996
    • Christian Michaux, Roger Villemaire: Presburger Arithmetic and Recognizability of Sets of Natural Numbers by Automata: New Proofs of Cobham's and Semenov's Theorems. Annals of Pure Applied Logic 77(3), pp. 251-277 (1996).
  • 1992
    • Roger Villemaire: Theories of Modules Closed Under Direct Products, The Journal of Symbolic Logic 57(2), pp. 515-521 (1992).
    • Roger Villemaire: The Theory of (N, +, Vk, V1) is Undecidable. Theoretical Computer Science 106(2), pp. 337-349 (1992).
    • Roger Villemaire: (N,+,V2,V3) est indécidable, C.R. Académie des Sciences de Paris, t. 314, Série I, pp. 775-777 (1992).
    • Roger Villemaire: Completely Decomposable Abelian Groups Aleph-0 Categorical over a Subgroup, Archive for Mathematical Logic, 31, p 263-275 (1992).
    • Roger Villemaire: Abelian Groups Aleph-0 Categorical over a Subgroup, Journal of Pure and Applied Algebra, vol. 69, No 2, pp. 193-204 (1990).
    • Roger Villemaire: Catégoricité relative et groupes abéliens, C.R. Académie des Sciences de Paris, t. 309, Série I, p 747-749 (1989).
  • 1994
    • V. Bruyère, C. Michaux et G. Hansel, R. Villemaire: Logic and p-recognizable Sets of Integers, Bulletin of the Belgian Mathematical Society Simon-Stevin vol 1, No 2, pp 191-238 (1994).

  ---

• Contribution à une monographie avec comité de lecture/Contribution to a refereed monograph

  • 2011
    • Sylvain Hallé, Roger Villemaire, Omar Cherkaoui: Logical Methods for Self-Configuration of Network Devices, In Phan Cong-Vinh, (ed.), Formal and Practical Aspects of Autonomic Computing and Networking: Specification, Development and Verification, IGI Global. ISBN
  • 2010
    • Sylvain Hallé, Roger Villemaire: XML Query Evaluation in Validation and Monitoring of Web Service Interface Contracts, In Changqing Li, Tok Wang Ling (eds.), Advanced Applications and Structures in XML Processing: Label Streams, Semantics Utilization and Data Query Technologies, IGI Global, ISBN 1-61520-727-9, pp. 406-424, 2010.
  • 2007
    • Roger Villemaire, Michel Hébert: Theories of abelian Groups and Modules preserved under Extensions, In Frieder Haug, Benedikt Löwe, Torsten Schatz (eds.), Algebra, Logic, Set Theory, Festschrift für Ulrich Felgner zum 65. Geburtstag, College Publications, London, 2007 [Studies in Logic, Volume 4].

  ---

• Présentations courtes avec comité de lecture/Refereed Short Presentations

  • 2005
    • Roger Villemaire, Sylvain Hallé, Omar Cherkaoui, Rudy Deca: A Hierarchical Logic for Network Configuration, 12th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR-12).
  • 2004
    • Roger Villemaire: Lazy Structure Preserving Translation of Boolean Expressions into CNF, Logic in Computer Science (LICS 2004).

  ---

• Présentations par affiches/Posters

  • 2005
    • Sylvain Hallé, Rudy Deca, Omar Cherkaoui, Roger Villemaire, Daniel Puche: Modelling the Sequential Aspects of Network Configurations. (Poster), 9th IFIP/IEEE International Symposium on Integrated Network Management.

  ---

• Autres présentations/Other presentations

  • 2014
    • Roger Villemaire: An ordinal rank characterising when Forth suffices (Contributed talk), Logic Colloquium 2014, Vienna, Austria.
  • 2013
    • Roger Villemaire: Characterising homogeneous structures for which Forth suffices. (Contributed talk), Association for Symbolic Logic 2013 North American Annual Meeting, Waterloo, Canada.
  • 2010
    • Mathieu Bourgeois, Roger Villemaire: Drawing structured diagrams with SDDL, TUG 2010: The 31st Annual Meeting of the TeX Users Group, San Francisco, California, USA.
  • 2005
    • Roger Villemaire, Sylvain Hallé, Omar Cherkaoui, Rudy Deca: A first-order logic with a forest of variables. (Contributed talk), Association for Symbolic Logic 2006 Annual Meeting, Montreal, Canada.

  ---

• Rapports de recherche/Research reports

  • 2008-2009
    • Roger Villemaire: The Monadic Theory of Modular Decomposition, Rapport de recherche 2009-01, Département d'informatique, Université du Québec à Montréal, 2009.

  ---

• Présentations/Talks

  • Journée Mondiale de la logique/World Logic Day
    • Roger Villemaire, Logique, raisonnement, inférence : quand, comment, pourquoi ?, 2023-01-13
    • Roger Villemaire, Logique : Modélisation, Inférence, Raisonnement, 2022-01-14
    • Roger Villemaire, Logique et Cognition : Logique de Description, 2021-01-14
    • Roger Villemaire, Logique : Modélisation, inférence, calcul, 2020-01-14
  • 2008-2009
    • Groupe de travail HPT/HPT workgroup
      • Roger Villemaire, Homomorphism Preservation Theorems de B. Rossman 2. Préliminaires (1/3), 2009/01/30
      • Roger Villemaire, Homomorphism Preservation Theorems de B. Rossman 2. Préliminaires (2/3), 2009/02/13
      • Roger Villemaire, Homomorphism Preservation Theorems de B. Rossman 2. Préliminaires (3/3), 2009/03/13
  • 2007-2008
    • Roger Villemaire, Va-et-vient de Fraissé en théorie des modèles finis, 2008/02/07
    • Roger Villemaire, Localité en logique du premier ordre, 2008/04/17
    • Roger Villemaire, Automates et Logique, 2008/12/05
  • 2006-2007
    • Roger Villemaire, Théorème de représentation des familles intervallaires, 2007/02/01.
    • Roger Villemaire, La logique du fini, 2007/04/19

  ---

• Autres publications/Other publications

  • 2010
    • Dragan Gašević, Tobias Graml, Sylvain Hallé, Roger Villemaire: Guest Editorial: Special Issue on Dynamic and Declarative Business Processes, Int. J. Business Process Integration and Management, 2010.
  • 2008
    • Sylvain Hallé, Roger Villemaire: 15th International Symposium on Temporal Representation and Reasoning (TIME 2008), Montréal, Canada, June 16-18, 2008. Bulletion of Symbolic Logic 15 (3), pp. 377-378.
    • Alessandro Artale, Stéphane Demri, Christian S. Jensen, Sylvain Hallé, Roger Villemaire: Message from the Chairs. Proceedings of TIME 2008, IEEE Computer Society, p. vii.

Pour tout commentaire/Comments to