publications:
- title: "Model-Checking Access Control Policies"
  author:
  - name: "Dimitar P. Guelev"
    link: "https://researchr.org/alias/dimitar-p.-guelev"
  - name: "Mark Ryan"
    link: "https://researchr.org/alias/mark-ryan"
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3225&spage=219"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3225&spage=219"
  tags:
  - "model checking"
  - "meta-model"
  - "access control policies"
  - "Meta-Environment"
  - "access control"
  researchr: "https://researchr.org/publication/GuelevRS04"
  cites: 0
  citedby: 0
  pages: "219-230"
  booktitle: "Information Security, 7th International Conference, ISC 2004, Palo Alto, CA, USA, September 27-29, 2004, Proceedings"
  editor:
  - name: "Kan Zhang"
    link: "https://researchr.org/alias/kan-zhang"
  - name: "Yuliang Zheng"
    link: "https://researchr.org/alias/yuliang-zheng"
  volume: "3225"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-23208-7"
  kind: "inproceedings"
  key: "GuelevRS04"
- title: "State Clock Logic: A Decidable Real-Time Logic"
  author:
  - name: "Jean-François Raskin"
    link: "https://researchr.org/alias/jean-fran%C3%A7ois-raskin"
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  year: "1997"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/RaskinS97%3A0"
  cites: 0
  citedby: 0
  pages: "33-47"
  booktitle: "Hybrid and Real-Time Systems, International Workshop. HART 97, Grenoble, France, March 26-28, 1997, Proceedings"
  editor:
  - name: "Oded Maler"
    link: "https://researchr.org/alias/oded-maler"
  volume: "1201"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-62600-X"
  kind: "inproceedings"
  key: "RaskinS97:0"
- title: "A More Expressive Softgoal Conceptualization for Quality Requirements Analysis"
  author:
  - name: "Ivan Jureta"
    link: "https://researchr.org/alias/ivan-jureta"
  - name: "Stéphane Faulkner"
    link: "https://researchr.org/alias/st%C3%A9phane-faulkner"
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  year: "2006"
  doi: "http://dx.doi.org/10.1007/11901181_22"
  links:
    doi: "http://dx.doi.org/10.1007/11901181_22"
  tags:
  - "analysis"
  researchr: "https://researchr.org/publication/JuretaFS06%3A1"
  cites: 0
  citedby: 0
  pages: "281-295"
  booktitle: "Conceptual Modeling - ER 2006, 25th International Conference on Conceptual Modeling, Tucson, AZ, USA, November 6-9, 2006, Proceedings"
  editor:
  - name: "David W. Embley"
    link: "https://researchr.org/alias/david-w.-embley"
  - name: "Antoni Olivé"
    link: "https://researchr.org/alias/antoni-oliv%C3%A9"
  - name: "Sudha Ram"
    link: "https://researchr.org/alias/sudha-ram"
  volume: "4215"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-47224-X"
  kind: "inproceedings"
  key: "JuretaFS06:1"
- title: "Synthèse de diagrammes d états par classe à partir de diagrammes de séquence"
  author:
  - name: "Yves Bontemps"
    link: "https://researchr.org/alias/yves-bontemps"
  - name: "Germain Saval"
    link: "https://researchr.org/alias/germain-saval"
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  - name: "Patrick Heymans"
    link: "https://researchr.org/alias/patrick-heymans"
  year: "2007"
  doi: "http://tsi.revuesonline.com/article.jsp?articleId=10682"
  links:
    doi: "http://tsi.revuesonline.com/article.jsp?articleId=10682"
  researchr: "https://researchr.org/publication/BontempsSSH07"
  cites: 0
  citedby: 0
  journal: "Technique et Science Informatiques"
  volume: "26"
  number: "7"
  pages: "797-817"
  kind: "article"
  key: "BontempsSSH07"
- title: "Two Approaches towards the Formalisation of VDM"
  author:
  - name: "Christine Lafontaine"
    link: "https://researchr.org/alias/christine-lafontaine"
  - name: "Yves Ledru"
    link: "https://researchr.org/alias/yves-ledru"
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  year: "1990"
  tags:
  - "systematic-approach"
  researchr: "https://researchr.org/publication/LafontaineLS90"
  cites: 0
  citedby: 0
  pages: "370-398"
  booktitle: "VDM  90, VDM and Z - Formal Methods in Software Development, Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings"
  editor:
  - name: "Dines Bjørner"
    link: "https://researchr.org/alias/dines-bj%C3%B8rner"
  - name: "C. A. R. Hoare"
    link: "https://researchr.org/alias/c.-a.-r.-hoare"
  - name: "Hans Langmaack"
    link: "https://researchr.org/alias/hans-langmaack"
  volume: "428"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-52513-0"
  kind: "inproceedings"
  key: "LafontaineLS90"
- title: "Model checking lots of systems: efficient verification of temporal properties in software product lines"
  author:
  - name: "Andreas Classen"
    link: "http://www.classen.be"
  - name: "Patrick Heymans"
    link: "http://www.info.fundp.ac.be/~phe"
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  - name: "Axel Legay"
    link: "https://researchr.org/alias/axel-legay"
  - name: "Jean-François Raskin"
    link: "https://researchr.org/alias/jean-fran%C3%A7ois-raskin"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1806799.1806850"
  links:
    doi: "http://doi.acm.org/10.1145/1806799.1806850"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icse/ClassenHSLR10"
  tags:
  - "software product lines"
  - "model checking"
  - "meta-model"
  - "Variability-Aware Analysis"
  - "analysis"
  - "context-aware"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/ClassenHSLR10"
  cites: 0
  citedby: 0
  pages: "335-344"
  booktitle: "Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1, ICSE 2010, Cape Town, South Africa, 1-8 May 2010"
  editor:
  - name: "Jeff Kramer"
    link: "https://researchr.org/alias/jeff-kramer"
  - name: "Judith Bishop"
    link: "https://researchr.org/alias/judith-bishop"
  - name: "Premkumar T. Devanbu"
    link: "https://researchr.org/alias/premkumar-t.-devanbu"
  - name: "Sebastián Uchitel"
    link: "https://researchr.org/alias/sebasti%C3%A1n-uchitel"
  publisher: "ACM"
  isbn: "978-1-60558-719-6"
  kind: "inproceedings"
  key: "ClassenHSLR10"
- title: "Clear justification of modeling decisions for goal-oriented requirements engineering"
  author:
  - name: "Ivan Jureta"
    link: "https://researchr.org/alias/ivan-jureta"
  - name: "Stéphane Faulkner"
    link: "https://researchr.org/alias/st%C3%A9phane-faulkner"
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  year: "2008"
  doi: "http://dx.doi.org/10.1007/s00766-007-0056-y"
  links:
    doi: "http://dx.doi.org/10.1007/s00766-007-0056-y"
  tags:
  - "meta-model"
  - "modeling"
  - "requirements engineering"
  - "model-driven engineering"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/JuretaFS08"
  cites: 0
  citedby: 0
  journal: "Requir. Eng."
  volume: "13"
  number: "2"
  pages: "87-115"
  kind: "article"
  key: "JuretaFS08"
- title: "Achieving, Satisficing, and Excelling"
  author:
  - name: "Ivan Jureta"
    link: "https://researchr.org/alias/ivan-jureta"
  - name: "Stéphane Faulkner"
    link: "https://researchr.org/alias/st%C3%A9phane-faulkner"
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-76292-8_34"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-76292-8_34"
  researchr: "https://researchr.org/publication/JuretaFS07"
  cites: 0
  citedby: 0
  pages: "286-295"
  booktitle: "Advances in Conceptual Modeling - Foundations and Applications, ER 2007 Workshops CMLSA, FP-UML, ONISW, QoIS, RIGiM,SeCoGIS, Auckland, New Zealand, November 5-9, 2007, Proceedings"
  editor:
  - name: "Jean-Luc Hainaut"
    link: "https://researchr.org/alias/jean-luc-hainaut"
  - name: "Elke A. Rundensteiner"
    link: "https://researchr.org/alias/elke-a.-rundensteiner"
  - name: "Markus Kirchberg"
    link: "https://researchr.org/alias/markus-kirchberg"
  - name: "Michela Bertolotto"
    link: "https://researchr.org/alias/michela-bertolotto"
  - name: "Mathias Brochhausen"
    link: "https://researchr.org/alias/mathias-brochhausen"
  - name: "Yi-Ping Phoebe Chen"
    link: "https://researchr.org/alias/yi-ping-phoebe-chen"
  - name: "Samira Si-Said Cherfi"
    link: "https://researchr.org/alias/samira-si-said-cherfi"
  - name: "Martin Doerr"
    link: "https://researchr.org/alias/martin-doerr"
  - name: "Hyoil Han"
    link: "https://researchr.org/alias/hyoil-han"
  - name: "Sven Hartmann"
    link: "https://researchr.org/alias/sven-hartmann"
  - name: "Jeffrey Parsons"
    link: "https://researchr.org/alias/jeffrey-parsons"
  - name: "Geert Poels"
    link: "https://researchr.org/alias/geert-poels"
  - name: "Colette Rolland"
    link: "https://researchr.org/alias/colette-rolland"
  - name: "Juan Trujillo"
    link: "https://researchr.org/alias/juan-trujillo"
  - name: "Eric S. K. Yu"
    link: "https://researchr.org/alias/eric-s.-k.-yu"
  - name: "Esteban Zimányi"
    link: "https://researchr.org/alias/esteban-zim%C3%A1nyi"
  volume: "4802"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-76291-1"
  kind: "inproceedings"
  key: "JuretaFS07"
- title: "A New Algorithm for Strategy Synthesis in LTL Games"
  author:
  - name: "Aidan Harding"
    link: "https://researchr.org/alias/aidan-harding"
  - name: "Mark Ryan"
    link: "https://researchr.org/alias/mark-ryan"
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  year: "2005"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3440&spage=477"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3440&spage=477"
  researchr: "https://researchr.org/publication/HardingRS05"
  cites: 0
  citedby: 0
  pages: "477-492"
  booktitle: "Tools and Algorithms for the Construction and Analysis of Systems, 11th International Conference, TACAS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings"
  editor:
  - name: "Nicolas Halbwachs"
    link: "https://researchr.org/alias/nicolas-halbwachs"
  - name: "Lenore D. Zuck"
    link: "https://researchr.org/alias/lenore-d.-zuck"
  volume: "3440"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-25333-5"
  kind: "inproceedings"
  key: "HardingRS05"
- title: "Belief Revision and Verisimilitude"
  author:
  - name: "Mark Ryan"
    link: "https://researchr.org/alias/mark-ryan"
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  year: "1995"
  researchr: "https://researchr.org/publication/RyanS95"
  cites: 0
  citedby: 0
  journal: "Notre Dame Journal of Formal Logic"
  volume: "36"
  number: "1"
  pages: "15-29"
  kind: "article"
  key: "RyanS95"
- title: "Real-Time Logics: Fictitious Clock as an Abstraction of Dense Time"
  author:
  - name: "Jean-François Raskin"
    link: "https://researchr.org/alias/jean-fran%C3%A7ois-raskin"
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  year: "1997"
  tags:
  - "logic"
  - "abstraction"
  researchr: "https://researchr.org/publication/RaskinS97"
  cites: 0
  citedby: 0
  pages: "165-182"
  booktitle: "Tools and Algorithms for Construction and Analysis of Systems, Third International Workshop, TACAS  97, Enschede, The Netherlands, April 2-4, 1997, Proceedings"
  editor:
  - name: "Ed Brinksma"
    link: "https://researchr.org/alias/ed-brinksma"
  volume: "1217"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-62790-1"
  kind: "inproceedings"
  key: "RaskinS97"
- title: "The Logic of   Initially   and   Next  : Complete Axiomatization and Complexity"
  author:
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  - name: "Jean-François Raskin"
    link: "https://researchr.org/alias/jean-fran%C3%A7ois-raskin"
  year: "1999"
  doi: "http://dx.doi.org/10.1016/S0020-0190(99)00022-8"
  links:
    doi: "http://dx.doi.org/10.1016/S0020-0190(99)00022-8"
  tags:
  - "completeness"
  - "logic"
  researchr: "https://researchr.org/publication/SchobbensR99"
  cites: 0
  citedby: 0
  journal: "Inf. Process. Lett."
  volume: "69"
  number: "5"
  pages: "221-225"
  kind: "article"
  key: "SchobbensR99"
- title: "Feature Diagrams: A Survey and a Formal Semantics"
  author:
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  - name: "Patrick Heymans"
    link: "http://www.info.fundp.ac.be/~phe"
  - name: "Jean-Christophe Trigaux"
    link: "https://researchr.org/alias/jean-christophe-trigaux"
  year: "2006"
  doi: "http://doi.ieeecomputersociety.org/10.1109/RE.2006.23"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/RE.2006.23"
  tags:
  - "feature diagrams"
  - "semantics"
  - "formal semantics"
  - "survey"
  researchr: "https://researchr.org/publication/SchobbensHT06"
  cites: 0
  citedby: 0
  pages: "136-145"
  booktitle: "14th IEEE International Conference on Requirements Engineering (RE 2006), 11-15 September 2006, Minneapolis/St.Paul, Minnesota, USA"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-2555-5"
  kind: "inproceedings"
  key: "SchobbensHT06"
- title: "Model-checking the Preservation of Temporal Properties upon Feature Integration"
  author:
  - name: "Dimitar P. Guelev"
    link: "https://researchr.org/alias/dimitar-p.-guelev"
  - name: "Mark Dermot Ryan"
    link: "https://researchr.org/alias/mark-dermot-ryan"
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  year: "2005"
  doi: "http://dx.doi.org/10.1016/j.entcs.2005.04.019"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2005.04.019"
  tags:
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/GuelevRS05"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "128"
  number: "6"
  pages: "311-324"
  kind: "article"
  key: "GuelevRS05"
- title: "Synthesis of Open Reactive Systems from Scenario-Based Specifications"
  author:
  - name: "Yves Bontemps"
    link: "https://researchr.org/alias/yves-bontemps"
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  - name: "Christof Löding"
    link: "https://researchr.org/alias/christof-l%C3%B6ding"
  year: "2004"
  doi: "http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=62&issue=2&spage=139"
  links:
    doi: "http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=62&issue=2&spage=139"
  tags:
  - "rule-based"
  - "source-to-source"
  - "open-source"
  researchr: "https://researchr.org/publication/BontempsSL04"
  cites: 0
  citedby: 0
  journal: "Fundamenta Informaticae"
  volume: "62"
  number: "2"
  pages: "139-169"
  kind: "article"
  key: "BontempsSL04"
- title: "Formal Models of Agents: An Introduction"
  author:
  - name: "John-Jules Ch. Meyer"
    link: "https://researchr.org/alias/john-jules-ch.-meyer"
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  year: "1997"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1760/17600001.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1760/17600001.htm"
  tags:
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/MeyerS97"
  cites: 0
  citedby: 0
  pages: "1-7"
  booktitle: "Formal Models of Agents, ESPRIT Project ModelAge Final Workshop, Selected Papers"
  editor:
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  volume: "1760"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-67027-0"
  kind: "inproceedings"
  key: "MeyerS97"
- title: "Lightweight Formal Methods for Scenario-Based Software Engineering"
  author:
  - name: "Yves Bontemps"
    link: "https://researchr.org/alias/yves-bontemps"
  - name: "Patrick Heymans"
    link: "https://researchr.org/alias/patrick-heymans"
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  year: "2003"
  doi: "http://dx.doi.org/10.1007/11495628_10"
  links:
    doi: "http://dx.doi.org/10.1007/11495628_10"
  tags:
  - "rule-based"
  - "software engineering"
  researchr: "https://researchr.org/publication/BontempsHS03"
  cites: 0
  citedby: 0
  pages: "174-192"
  booktitle: "Scenarios: Models, Transformations and Tools, International Workshop, Dagstuhl Castle, Germany, September 7-12, 2003, Revised Selected Papers"
  editor:
  - name: "Stefan Leue"
    link: "https://researchr.org/alias/stefan-leue"
  - name: "Tarja Systä"
    link: "https://researchr.org/alias/tarja-syst%C3%A4"
  volume: "3466"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-26189-3"
  kind: "inproceedings"
  key: "BontempsHS03"
- title: "Clean Algebraic Exception with Implicit Propagation"
  author:
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  year: "1991"
  tags:
  - "exceptions"
  - " algebra"
  researchr: "https://researchr.org/publication/Schobbens91"
  cites: 0
  citedby: 0
  pages: "173-186"
  booktitle: "Algebraic Methodology and Software Technology (AMAST  91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991"
  editor:
  - name: "Maurice Nivat"
    link: "https://researchr.org/alias/maurice-nivat"
  - name: "Charles Rattray"
    link: "https://researchr.org/alias/charles-rattray"
  - name: "Teodor Rus"
    link: "https://researchr.org/alias/teodor-rus"
  - name: "Giuseppe Scollo"
    link: "https://researchr.org/alias/giuseppe-scollo"
  series: "Workshops in Computing"
  publisher: "Springer"
  isbn: "3-540-19797-4"
  kind: "inproceedings"
  key: "Schobbens91"
- title: "Disambiguating the Documentation of Variability in Software Product Lines: A Separation of Concerns, Formalization and Automated Analysis"
  author:
  - name: "Andreas Metzger"
    link: "https://researchr.org/alias/andreas-metzger"
  - name: "Patrick Heymans"
    link: "https://researchr.org/alias/patrick-heymans"
  - name: "Klaus Pohl"
    link: "https://researchr.org/alias/klaus-pohl"
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  - name: "Germain Saval"
    link: "https://researchr.org/alias/germain-saval"
  year: "2007"
  doi: "http://dx.doi.org/10.1109/RE.2007.61"
  links:
    doi: "http://dx.doi.org/10.1109/RE.2007.61"
  tags:
  - "software product lines"
  - "separation of concerns"
  - "Variability-Aware Analysis"
  - "analysis"
  - "context-aware"
  researchr: "https://researchr.org/publication/MetzgerHPSS07"
  cites: 0
  citedby: 0
  pages: "243-253"
  booktitle: "15th IEEE International Requirements Engineering Conference, RE 2007, October 15-19th, 2007, New Delhi, India"
  publisher: "IEEE"
  isbn: "0-7695-2935-6"
  kind: "inproceedings"
  key: "MetzgerHPSS07"
- title: "Towards Symbolic Strategy Synthesis for /left/langle {/left/langle A /right/rangle } /right/rangle-LTL"
  author:
  - name: "Aidan Harding"
    link: "https://researchr.org/alias/aidan-harding"
  - name: "Mark Ryan"
    link: "https://researchr.org/alias/mark-ryan"
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  year: "2003"
  doi: "http://csdl.computer.org/comp/proceedings/time-ictl/2003/1912/00/19120137abs.htm"
  links:
    doi: "http://csdl.computer.org/comp/proceedings/time-ictl/2003/1912/00/19120137abs.htm"
  researchr: "https://researchr.org/publication/HardingRS03"
  cites: 0
  citedby: 0
  pages: "137-146"
  booktitle: "10th International Symposium on Temporal Representation and Reasoning / 4th International Conference on Temporal Logic (TIME-ICTL 2003), 8-10 July 2003, Cairns, Queensland, Australia"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-1912-1"
  kind: "inproceedings"
  key: "HardingRS03"
- title: "Synthesising Features by Games"
  author:
  - name: "Dimitar P. Guelev"
    link: "https://researchr.org/alias/dimitar-p.-guelev"
  - name: "Mark Dermot Ryan"
    link: "https://researchr.org/alias/mark-dermot-ryan"
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  year: "2006"
  doi: "http://dx.doi.org/10.1016/j.entcs.2005.10.006"
  links:
    doi: "http://dx.doi.org/10.1016/j.entcs.2005.10.006"
  researchr: "https://researchr.org/publication/GuelevRS06"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "145"
  pages: "79-93"
  kind: "article"
  key: "GuelevRS06"
- title: "Model-Generation of a Fictitious Clock Real-Time Logic Using Sharing Trees"
  author:
  - name: "Laurent Ferier"
    link: "https://researchr.org/alias/laurent-ferier"
  - name: "Jean-François Raskin"
    link: "https://researchr.org/alias/jean-fran%C3%A7ois-raskin"
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  year: "1999"
  doi: "http://www.elsevier.com/gej-ng/31/29/23/92/35/show/Products/notes/index.htt#010"
  links:
    doi: "http://www.elsevier.com/gej-ng/31/29/23/92/35/show/Products/notes/index.htt#010"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/FerierRS99"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "23"
  number: "2"
  pages: "108-126"
  kind: "article"
  key: "FerierRS99"
- title: "Allocating Goals to Agent Roles During MAS Requirements Engineering"
  author:
  - name: "Ivan Jureta"
    link: "https://researchr.org/alias/ivan-jureta"
  - name: "Stéphane Faulkner"
    link: "https://researchr.org/alias/st%C3%A9phane-faulkner"
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  year: "2006"
  doi: "http://dx.doi.org/10.1007/978-3-540-70945-9_2"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-70945-9_2"
  tags:
  - "requirements engineering"
  researchr: "https://researchr.org/publication/JuretaFS06%3A0"
  cites: 0
  citedby: 0
  pages: "19-34"
  booktitle: "Agent-Oriented Software Engineering VII, 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers"
  editor:
  - name: "Lin Padgham"
    link: "https://researchr.org/alias/lin-padgham"
  - name: "Franco Zambonelli"
    link: "https://researchr.org/alias/franco-zambonelli"
  volume: "4405"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-70944-2"
  kind: "inproceedings"
  key: "JuretaFS06:0"
- title: "Agents and Roles: Refinement in Alternating-Time Temporal Logic"
  author:
  - name: "Mark Ryan"
    link: "https://researchr.org/alias/mark-ryan"
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2333/23330100.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2333/23330100.htm"
  tags:
  - "refinement"
  - "logic"
  researchr: "https://researchr.org/publication/RyanS01"
  cites: 0
  citedby: 0
  pages: "100-114"
  booktitle: "Intelligent Agents VIII, 8th International Workshop, ATAL 2001 Seattle, WA, USA, August 1-3, 2001, Revised Papers"
  editor:
  - name: "John-Jules Ch. Meyer"
    link: "https://researchr.org/alias/john-jules-ch.-meyer"
  - name: "Milind Tambe"
    link: "https://researchr.org/alias/milind-tambe"
  volume: "2333"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-43858-0"
  kind: "inproceedings"
  key: "RyanS01"
- title: "Axioms for real-time logics"
  author:
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  - name: "Jean-François Raskin"
    link: "https://researchr.org/alias/jean-fran%C3%A7ois-raskin"
  - name: "Thomas A. Henzinger"
    link: "https://researchr.org/alias/thomas-a.-henzinger"
  year: "2002"
  doi: "http://dx.doi.org/10.1016/S0304-3975(00)00308-X"
  links:
    doi: "http://dx.doi.org/10.1016/S0304-3975(00)00308-X"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/SchobbensRH02"
  cites: 0
  citedby: 0
  journal: "Theoretical Computer Science"
  volume: "274"
  number: "1-2"
  pages: "151-182"
  kind: "article"
  key: "SchobbensRH02"
- title: "Approximating ATL:::*::: in ATL"
  author:
  - name: "Aidan Harding"
    link: "https://researchr.org/alias/aidan-harding"
  - name: "Mark Ryan"
    link: "https://researchr.org/alias/mark-ryan"
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2294/22940289.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/2294/22940289.htm"
  tags:
  - "ATL"
  researchr: "https://researchr.org/publication/HardingRS02"
  cites: 0
  citedby: 0
  pages: "289-301"
  booktitle: "Verification, Model Checking, and Abstract Interpretation, Third International Workshop, VMCAI 2002, Venice, Italy, January 21-22, 2002, Revised Papers"
  editor:
  - name: "Agostino Cortesi"
    link: "https://researchr.org/alias/agostino-cortesi"
  volume: "2294"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-43631-6"
  kind: "inproceedings"
  key: "HardingRS02"
- title: "Model Co-evolution and Consistency Management (MCCM 08)"
  author:
  - name: "Dirk Deridder"
    link: "https://researchr.org/alias/dirk-deridder"
  - name: "Jeffrey G. Gray"
    link: "http://www.gray-area.org/"
  - name: "Alfonso Pierantonio"
    link: "http://www.di.univaq.it/alfonso"
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-642-01648-6_13"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-01648-6_13"
  tags:
  - "consistency"
  researchr: "https://researchr.org/publication/DeridderGPS08"
  cites: 0
  citedby: 0
  pages: "120-123"
  booktitle: "Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers"
  editor:
  - name: "Michel R. V. Chaudron"
    link: "http://www.win.tue.nl/~mchaudro/"
  volume: "5421"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-01647-9"
  kind: "inproceedings"
  key: "DeridderGPS08"
- title: "Justifying Goal Models"
  author:
  - name: "Ivan Jureta"
    link: "https://researchr.org/alias/ivan-jureta"
  - name: "Stéphane Faulkner"
    link: "https://researchr.org/alias/st%C3%A9phane-faulkner"
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  year: "2006"
  doi: "http://doi.ieeecomputersociety.org/10.1109/RE.2006.37"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/RE.2006.37"
  tags:
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/JuretaFS06"
  cites: 0
  citedby: 0
  pages: "116-125"
  booktitle: "14th IEEE International Conference on Requirements Engineering (RE 2006), 11-15 September 2006, Minneapolis/St.Paul, Minnesota, USA"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-2555-5"
  kind: "inproceedings"
  key: "JuretaFS06"
- title: "Alternating-time logic with imperfect recall"
  author:
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  year: "2004"
  doi: "http://dx.doi.org/10.1016/S1571-0661(05)82604-0"
  links:
    doi: "http://dx.doi.org/10.1016/S1571-0661(05)82604-0"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/journals/entcs/Schobbens04"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/Schobbens04"
  cites: 0
  citedby: 0
  journal: "Electronic Notes in Theoretical Computer Science"
  volume: "85"
  number: "2"
  pages: "82-93"
  kind: "article"
  key: "Schobbens04"
- title: "Tool support for code generation from a UMLsec property"
  author:
  - name: "Lionel Montrieux"
    link: "https://researchr.org/alias/lionel-montrieux"
  - name: "Jan Jürjens"
    link: "https://researchr.org/alias/jan-j%C3%BCrjens"
  - name: "Charles B. Haley"
    link: "https://researchr.org/alias/charles-b.-haley"
  - name: "Yijun Yu"
    link: "https://researchr.org/alias/yijun-yu"
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  - name: "Hubert Toussaint"
    link: "https://researchr.org/alias/hubert-toussaint"
  year: "2010"
  doi: "http://doi.acm.org/10.1145/1858996.1859074"
  links:
    doi: "http://doi.acm.org/10.1145/1858996.1859074"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/kbse/MontrieuxJHYST10"
  tags:
  - "code generation"
  researchr: "https://researchr.org/publication/MontrieuxJHYST10"
  cites: 0
  citedby: 0
  pages: "357-358"
  booktitle: "ASE 2010, 25th IEEE/ACM International Conference on Automated Software Engineering,  Antwerp, Belgium, September 20-24, 2010"
  editor:
  - name: "Charles Pecheur"
    link: "https://researchr.org/alias/charles-pecheur"
  - name: "Jamie Andrews"
    link: "https://researchr.org/alias/jamie-andrews"
  - name: "Elisabetta Di Nitto"
    link: "https://researchr.org/alias/elisabetta-di-nitto"
  publisher: "ACM"
  isbn: "978-1-4503-0116-9"
  kind: "inproceedings"
  key: "MontrieuxJHYST10"
- title: "LPG: A Generic, Logic and Functional Programming Language"
  author:
  - name: "Didier Bert"
    link: "https://researchr.org/alias/didier-bert"
  - name: "Pascal Drabik"
    link: "https://researchr.org/alias/pascal-drabik"
  - name: "Rachid Echahed"
    link: "http://membres-liglab.imag.fr/echahed/"
  - name: "Olivier Declerfayt"
    link: "https://researchr.org/alias/olivier-declerfayt"
  - name: "Demeuse Demeuse"
    link: "https://researchr.org/alias/demeuse-demeuse"
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  - name: "François Wautier"
    link: "https://researchr.org/alias/fran%C3%A7ois-wautier"
  year: "1988"
  tags:
  - "programming languages"
  - "generic programming"
  - "functional programming"
  - "logic programming"
  - "programming"
  - "logic"
  - "Pascal"
  researchr: "https://researchr.org/publication/BertDEDDSW88"
  cites: 0
  citedby: 0
  pages: "376-377"
  booktitle: "ESOP  88, 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988, Proceedings"
  editor:
  - name: "Harald Ganzinger"
    link: "https://researchr.org/alias/harald-ganzinger"
  volume: "300"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-19027-9"
  kind: "inproceedings"
  key: "BertDEDDSW88"
- title: "The Logic of Event Clocks - Decidability, Complexity and Expressiveness"
  author:
  - name: "Jean-François Raskin"
    link: "https://researchr.org/alias/jean-fran%C3%A7ois-raskin"
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  year: "1999"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/RaskinS99"
  cites: 0
  citedby: 0
  journal: "Journal of Automata, Languages and Combinatorics"
  volume: "4"
  number: "3"
  pages: "247-286"
  kind: "article"
  key: "RaskinS99"
- title: "Operators and Laws for Combining Preference Relations"
  author:
  - name: "Hajnal Andréka"
    link: "https://researchr.org/alias/hajnal-andr%C3%A9ka"
  - name: "Mark Ryan"
    link: "https://researchr.org/alias/mark-ryan"
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  year: "2002"
  doi: "http://www3.oup.co.uk/logcom/hdb/Volume_12/Issue_01/120013.sgm.abs.html"
  links:
    doi: "http://www3.oup.co.uk/logcom/hdb/Volume_12/Issue_01/120013.sgm.abs.html"
  researchr: "https://researchr.org/publication/AndrekaRS02"
  cites: 0
  citedby: 0
  journal: "Journal of Logic and Computation"
  volume: "12"
  number: "1"
  pages: "13-53"
  kind: "article"
  key: "AndrekaRS02"
- title: "Distributed Event Clock Automata - Extended Abstract"
  author:
  - name: "James Jerson Ortiz"
    link: "https://researchr.org/alias/james-jerson-ortiz"
  - name: "Axel Legay"
    link: "https://researchr.org/alias/axel-legay"
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  year: "2011"
  doi: "http://dx.doi.org/10.1007/978-3-642-22256-6_23"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-22256-6_23"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/wia/OrtizLS11"
  researchr: "https://researchr.org/publication/OrtizLS11"
  cites: 0
  citedby: 0
  pages: "250-263"
  booktitle: "Implementation and Application of Automata - 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings"
  editor:
  - name: "Béatrice Bouchou-Markhoff"
    link: "https://researchr.org/alias/b%26eacute%3Batrice-bouchou-markhoff"
  - name: "Pascal Caron"
    link: "https://researchr.org/alias/pascal-caron"
  - name: "Jean-Marc Champarnaud"
    link: "https://researchr.org/alias/jean-marc-champarnaud"
  - name: "Denis Maurel"
    link: "https://researchr.org/alias/denis-maurel"
  volume: "6807"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-22255-9"
  kind: "inproceedings"
  key: "OrtizLS11"
- title: "Intertranslating Counterfactuals and Updates"
  author:
  - name: "Mark Ryan"
    link: "https://researchr.org/alias/mark-ryan"
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  year: "1996"
  researchr: "https://researchr.org/publication/RyanS96"
  cites: 0
  citedby: 0
  pages: "100-104"
  booktitle: "12th European Conference on Artificial Intelligence, Budapest, Hungary, August 11-16, 1996, Proceedings"
  editor:
  - name: "Wolfgang Wahlster"
    link: "https://researchr.org/alias/wolfgang-wahlster"
  publisher: "John Wiley and Sons, Chichester"
  kind: "inproceedings"
  key: "RyanS96"
- title: "Evaluating formal properties of feature diagram languages"
  author:
  - name: "Patrick Heymans"
    link: "https://researchr.org/alias/patrick-heymans"
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  - name: "Jean-Christophe Trigaux"
    link: "https://researchr.org/alias/jean-christophe-trigaux"
  - name: "Yves Bontemps"
    link: "https://researchr.org/alias/yves-bontemps"
  - name: "Raimundas Matulevicius"
    link: "https://researchr.org/alias/raimundas-matulevicius"
  - name: "Andreas Classen"
    link: "http://www.classen.be"
  year: "2008"
  doi: "http://dx.doi.org/10.1049/iet-sen:20070055"
  links:
    doi: "http://dx.doi.org/10.1049/iet-sen:20070055"
  tags:
  - "feature diagrams"
  researchr: "https://researchr.org/publication/HeymansSTBMC08"
  cites: 0
  citedby: 0
  journal: "IEE Proceedings - Software"
  volume: "2"
  number: "3"
  pages: "281-302"
  kind: "article"
  key: "HeymansSTBMC08"
- title: "The Complexity of Live Sequence Charts"
  author:
  - name: "Yves Bontemps"
    link: "https://researchr.org/alias/yves-bontemps"
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  year: "2005"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3441&spage=364"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3441&spage=364"
  researchr: "https://researchr.org/publication/BontempsS05"
  cites: 0
  citedby: 0
  pages: "364-378"
  booktitle: "Foundations of Software Science and Computational Structures, 8th International Conference, FOSSACS 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings"
  editor:
  - name: "Vladimiro Sassone"
    link: "http://www.ecs.soton.ac.uk/people/vs"
  volume: "3441"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-25388-2"
  kind: "inproceedings"
  key: "BontempsS05"
- title: "The Regular Real-Time Languages"
  author:
  - name: "Thomas A. Henzinger"
    link: "https://researchr.org/alias/thomas-a.-henzinger"
  - name: "Jean-François Raskin"
    link: "https://researchr.org/alias/jean-fran%C3%A7ois-raskin"
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1443/14430580.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1443/14430580.htm"
  researchr: "https://researchr.org/publication/HenzingerRS98"
  cites: 0
  citedby: 0
  pages: "580-591"
  booktitle: "Automata, Languages and Programming, 25th International Colloquium, ICALP 98, Aalborg, Denmark, July 13-17, 1998, Proceedings"
  editor:
  - name: "Kim Guldstrand Larsen"
    link: "https://researchr.org/alias/kim-guldstrand-larsen"
  - name: "Sven Skyum"
    link: "https://researchr.org/alias/sven-skyum"
  - name: "Glynn Winskel"
    link: "https://researchr.org/alias/glynn-winskel"
  volume: "1443"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-64781-3"
  kind: "inproceedings"
  key: "HenzingerRS98"
- title: "An Algebraic Approach for Codesign"
  author:
  - name: "Marc Aiguier"
    link: "https://researchr.org/alias/marc-aiguier"
  - name: "Stefan Béroff"
    link: "https://researchr.org/alias/stefan-b%C3%A9roff"
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3407&spage=415"
  links:
    doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3407&spage=415"
  tags:
  - " algebra"
  - "systematic-approach"
  researchr: "https://researchr.org/publication/AiguierBS04"
  cites: 0
  citedby: 0
  pages: "415-430"
  booktitle: "Theoretical Aspects of Computing - ICTAC 2004, First International Colloquium, Guiyang, China, September 20-24, 2004, Revised Selected Papers"
  editor:
  - name: "Zhiming Liu"
    link: "https://researchr.org/alias/zhiming-liu"
  - name: "Keijiro Araki"
    link: "https://researchr.org/alias/keijiro-araki"
  volume: "3407"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-25304-1"
  kind: "inproceedings"
  key: "AiguierBS04"
- title: "The computational complexity of scenario-based agent verification and design"
  author:
  - name: "Yves Bontemps"
    link: "https://researchr.org/alias/yves-bontemps"
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.jal.2005.12.013"
  links:
    doi: "http://dx.doi.org/10.1016/j.jal.2005.12.013"
  tags:
  - "rule-based"
  - "design complexity"
  - "design"
  researchr: "https://researchr.org/publication/BontempsS07"
  cites: 0
  citedby: 0
  journal: "J. Applied Logic"
  volume: "5"
  number: "2"
  pages: "252-276"
  kind: "article"
  key: "BontempsS07"
- title: "Second-Order Proof Systems for Algebraic Specification Languages"
  author:
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  year: "1992"
  tags:
  - "algebraic specification"
  - " algebra"
  researchr: "https://researchr.org/publication/Schobbens92"
  cites: 0
  citedby: 0
  pages: "321-336"
  booktitle: "Recent Trends in Data Type Specification, 9th Workshop on Specification of Abstract Data Types Joint with the 4th COMPASS Workshop, Caldes de Malavella, Spain, October 26-30, 1992, Selected Papers"
  editor:
  - name: "Hartmut Ehrig"
    link: "https://researchr.org/alias/hartmut-ehrig"
  volume: "785"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-57867-6"
  kind: "inproceedings"
  key: "Schobbens92"
- title: "An Experiment in Formal Software Development: Using the B Theorem Prover on a VDM Case Study"
  author:
  - name: "Christine Lafontaine"
    link: "https://researchr.org/alias/christine-lafontaine"
  - name: "Yves Ledru"
    link: "https://researchr.org/alias/yves-ledru"
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  year: "1991"
  tags:
  - "case study"
  researchr: "https://researchr.org/publication/LafontaineLS91"
  cites: 0
  citedby: 0
  journal: "Communications of the ACM"
  volume: "34"
  number: "5"
  pages: "62"
  kind: "article"
  key: "LafontaineLS91"
- title: "Feature Integration as Substitution"
  author:
  - name: "Dimitar P. Guelev"
    link: "https://researchr.org/alias/dimitar-p.-guelev"
  - name: "Mark Dermot Ryan"
    link: "https://researchr.org/alias/mark-dermot-ryan"
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  year: "2003"
  researchr: "https://researchr.org/publication/GuelevRS03"
  cites: 0
  citedby: 0
  pages: "275-294"
  booktitle: "Feature Interactions in Telecommunications and Software Systems VII, June 11-13, 2003, Ottawa, Canada"
  editor:
  - name: "Daniel Amyot"
    link: "https://researchr.org/alias/daniel-amyot"
  - name: "Luigi Logrippo"
    link: "https://researchr.org/alias/luigi-logrippo"
  publisher: "IOS Press"
  isbn: "1-58603-348-4"
  kind: "inproceedings"
  key: "GuelevRS03"
- title: "Counterfactuals and Updates as Inverse Modalities"
  author:
  - name: "Mark Ryan"
    link: "https://researchr.org/alias/mark-ryan"
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  - name: "Odinaldo Rodrigues"
    link: "https://researchr.org/alias/odinaldo-rodrigues"
  year: "1996"
  researchr: "https://researchr.org/publication/RyanSR96"
  cites: 0
  citedby: 0
  pages: "163-173"
  booktitle: "Proceedings of the Sixth Conference on Theoretical Aspects of Rationality and Knowledge, De Zeeuwse Stromen, The Netherlands, March   17-20 1996"
  editor:
  - name: "Yoav Shoham"
    link: "https://researchr.org/alias/yoav-shoham"
  publisher: "Morgan Kaufmann"
  isbn: "1-55860-417-0"
  kind: "inproceedings"
  key: "RyanSR96"
- title: "Generic semantics of feature diagrams"
  author:
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  - name: "Patrick Heymans"
    link: "https://researchr.org/alias/patrick-heymans"
  - name: "Jean-Christophe Trigaux"
    link: "https://researchr.org/alias/jean-christophe-trigaux"
  - name: "Yves Bontemps"
    link: "https://researchr.org/alias/yves-bontemps"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.comnet.2006.08.008"
  links:
    doi: "http://dx.doi.org/10.1016/j.comnet.2006.08.008"
  tags:
  - "feature diagrams"
  - "semantics"
  researchr: "https://researchr.org/publication/SchobbensHTB07"
  cites: 0
  citedby: 0
  journal: "Computer Networks"
  volume: "51"
  number: "2"
  pages: "456-479"
  kind: "article"
  key: "SchobbensHTB07"
- title: "Exceptions for Algebraic Specifications: On the Meaning of  but "
  author:
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  year: "1993"
  tags:
  - "exceptions"
  - "algebraic specification"
  - " algebra"
  researchr: "https://researchr.org/publication/Schobbens93%3A1"
  cites: 0
  citedby: 0
  journal: "Science of Computer Programming"
  volume: "20"
  number: "1-2"
  pages: "73-111"
  kind: "article"
  key: "Schobbens93:1"
- title: "Synthesis of Open Reactive Systems from Scenario-Based Specifications"
  author:
  - name: "Yves Bontemps"
    link: "https://researchr.org/alias/yves-bontemps"
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  year: "2003"
  doi: "http://csdl.computer.org/comp/proceedings/acsd/2003/1887/00/18870041abs.htm"
  links:
    doi: "http://csdl.computer.org/comp/proceedings/acsd/2003/1887/00/18870041abs.htm"
  tags:
  - "rule-based"
  - "source-to-source"
  - "open-source"
  researchr: "https://researchr.org/publication/BontempsS03"
  cites: 0
  citedby: 0
  pages: "41-50"
  booktitle: "3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 18-20 June 2003, Guimaraes, Portugal"
  publisher: "IEEE Computer Society"
  isbn: "0-7695-1887-7"
  kind: "inproceedings"
  key: "BontempsS03"
- title: "What s in a Feature: A Requirements Engineering Perspective"
  author:
  - name: "Andreas Classen"
    link: "http://www.classen.be"
  - name: "Patrick Heymans"
    link: "https://researchr.org/alias/patrick-heymans"
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-78743-3_2"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-540-78743-3_2"
  tags:
  - "requirements engineering"
  researchr: "https://researchr.org/publication/ClassenHS08"
  cites: 0
  citedby: 0
  pages: "16-30"
  booktitle: "Fundamental Approaches to Software Engineering, 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings"
  editor:
  - name: "José Luiz Fiadeiro"
    link: "https://researchr.org/alias/jos%C3%A9-luiz-fiadeiro"
  - name: "Paola Inverardi"
    link: "https://researchr.org/alias/paola-inverardi"
  volume: "4961"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-78742-6"
  kind: "inproceedings"
  key: "ClassenHS08"
- title: "An Experiment in Formal Software Development: Using the B Theorem Prover on a VDM Case Study"
  author:
  - name: "Christine Lafontaine"
    link: "https://researchr.org/alias/christine-lafontaine"
  - name: "Yves Ledru"
    link: "https://researchr.org/alias/yves-ledru"
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  year: "1990"
  tags:
  - "case study"
  researchr: "https://researchr.org/publication/LafontaineLS90%3A0"
  cites: 0
  citedby: 0
  pages: "34-42"
  booktitle: "ICSE"
  kind: "inproceedings"
  key: "LafontaineLS90:0"
- title: "Extensions of Initial Models and their Second-Order Proof Systems"
  author:
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  year: "1993"
  researchr: "https://researchr.org/publication/Schobbens93%3A0"
  cites: 0
  citedby: 0
  pages: "326-344"
  booktitle: "Higher-Order Algebra, Logic, and Term Rewriting, First International Workshop, HOA  93, Amsterdam, The Netherlands, September 23-24, 1993, Selected Papers"
  editor:
  - name: "Jan Heering"
    link: "http://homepages.cwi.nl/~jan/"
  - name: "Karl Meinke"
    link: "https://researchr.org/alias/karl-meinke"
  - name: "Bernhard Möller"
    link: "https://researchr.org/alias/bernhard-m%C3%B6ller"
  - name: "Tobias Nipkow"
    link: "https://researchr.org/alias/tobias-nipkow"
  volume: "816"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-58233-9"
  kind: "inproceedings"
  key: "Schobbens93:0"
- title: "Memory Event Clocks"
  author:
  - name: "James Jerson Ortiz"
    link: "https://researchr.org/alias/james-jerson-ortiz"
  - name: "Axel Legay"
    link: "https://researchr.org/alias/axel-legay"
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-15297-9_16"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-15297-9_16"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/formats/OrtizLS10"
  researchr: "https://researchr.org/publication/OrtizLS10"
  cites: 0
  citedby: 0
  pages: "198-212"
  booktitle: "Formal Modeling and Analysis of Timed Systems - 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings"
  editor:
  - name: "Krishnendu Chatterjee"
    link: "https://researchr.org/alias/krishnendu-chatterjee"
  - name: "Thomas A. Henzinger"
    link: "https://researchr.org/alias/thomas-a.-henzinger"
  volume: "6246"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-15296-2"
  kind: "inproceedings"
  key: "OrtizLS10"
- title: "Towards Multi-view Feature-Based Configuration"
  author:
  - name: "Arnaud Hubaux"
    link: "https://researchr.org/alias/arnaud-hubaux"
  - name: "Patrick Heymans"
    link: "https://researchr.org/alias/patrick-heymans"
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  - name: "Dirk Deridder"
    link: "https://researchr.org/alias/dirk-deridder"
  year: "2010"
  doi: "http://dx.doi.org/10.1007/978-3-642-14192-8_12"
  links:
    doi: "http://dx.doi.org/10.1007/978-3-642-14192-8_12"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/refsq/HubauxHSD10"
  tags:
  - "rule-based"
  researchr: "https://researchr.org/publication/HubauxHSD10"
  cites: 0
  citedby: 0
  pages: "106-112"
  booktitle: "Requirements Engineering: Foundation for Software Quality, 16th International Working Conference, REFSQ 2010, Essen, Germany, June 30 - July 2, 2010. Proceedings"
  editor:
  - name: "Roel Wieringa"
    link: "http://wwwhome.cs.utwente.nl/~roelw/"
  - name: "Anne Persson"
    link: "https://researchr.org/alias/anne-persson"
  volume: "6182"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-642-14191-1"
  kind: "inproceedings"
  key: "HubauxHSD10"
- title: "Counterfactuals and Updates as Inverse Modalities"
  author:
  - name: "Mark Ryan"
    link: "https://researchr.org/alias/mark-ryan"
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  year: "1997"
  researchr: "https://researchr.org/publication/RyanS97"
  cites: 0
  citedby: 0
  journal: "Journal of Logic, Language and Information"
  volume: "6"
  number: "2"
  pages: "123-146"
  kind: "article"
  key: "RyanS97"
- title: "From Live Sequence Charts to State Machines and Back: A Guided Tour"
  author:
  - name: "Yves Bontemps"
    link: "https://researchr.org/alias/yves-bontemps"
  - name: "Patrick Heymans"
    link: "https://researchr.org/alias/patrick-heymans"
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  year: "2005"
  doi: "http://doi.ieeecomputersociety.org/10.1109/TSE.2005.137"
  links:
    doi: "http://doi.ieeecomputersociety.org/10.1109/TSE.2005.137"
  tags:
  - "state machines"
  researchr: "https://researchr.org/publication/BontempsHS05"
  cites: 0
  citedby: 0
  journal: "IEEE Trans. Software Eng."
  volume: "31"
  number: "12"
  pages: "999-1014"
  kind: "article"
  key: "BontempsHS05"
- title: "Axioms for Real-Time Logics"
  author:
  - name: "Jean-François Raskin"
    link: "https://researchr.org/alias/jean-fran%C3%A7ois-raskin"
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  - name: "Thomas A. Henzinger"
    link: "https://researchr.org/alias/thomas-a.-henzinger"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1466/14660219.htm"
  links:
    doi: "http://link.springer.de/link/service/series/0558/bibs/1466/14660219.htm"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/RaskinSH98"
  cites: 0
  citedby: 0
  pages: "219-236"
  booktitle: "CONCUR  98: Concurrency Theory, 9th International Conference, Nice, France, September 8-11, 1998, Proceedings"
  editor:
  - name: "Davide Sangiorgi"
    link: "https://researchr.org/alias/davide-sangiorgi"
  - name: "Robert de Simone"
    link: "https://researchr.org/alias/robert-de-simone"
  volume: "1466"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-64896-8"
  kind: "inproceedings"
  key: "RaskinSH98"
- title: "Model-checking the preservation of temporal properties upon feature integration"
  author:
  - name: "Dimitar P. Guelev"
    link: "https://researchr.org/alias/dimitar-p.-guelev"
  - name: "Mark Dermot Ryan"
    link: "https://researchr.org/alias/mark-dermot-ryan"
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  year: "2007"
  doi: "http://dx.doi.org/10.1007/s10009-006-0006-x"
  links:
    doi: "http://dx.doi.org/10.1007/s10009-006-0006-x"
  tags:
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/GuelevRS07"
  cites: 0
  citedby: 0
  journal: "STTT"
  volume: "9"
  number: "1"
  pages: "53-62"
  kind: "article"
  key: "GuelevRS07"
- title: "Symbolic model checking of software product lines"
  author:
  - name: "Andreas Classen"
    link: "http://www.classen.be"
  - name: "Patrick Heymans"
    link: "https://researchr.org/alias/patrick-heymans"
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  - name: "Axel Legay"
    link: "https://researchr.org/alias/axel-legay"
  year: "2011"
  doi: "http://doi.acm.org/10.1145/1985793.1985838"
  links:
    doi: "http://doi.acm.org/10.1145/1985793.1985838"
    dblp: "http://dblp.uni-trier.de/rec/bibtex/conf/icse/ClassenHSL11"
  tags:
  - "software product lines"
  - "model checking"
  - "meta-model"
  - "Meta-Environment"
  researchr: "https://researchr.org/publication/ClassenHSL11"
  cites: 0
  citedby: 0
  pages: "321-330"
  booktitle: "Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011, Waikiki, Honolulu , HI, USA, May 21-28, 2011"
  editor:
  - name: "Richard N. Taylor"
    link: "https://researchr.org/alias/richard-n.-taylor"
  - name: "Harald Gall"
    link: "https://researchr.org/alias/harald-gall"
  - name: "Nenad Medvidovic"
    link: "https://researchr.org/alias/nenad-medvidovic"
  publisher: "ACM"
  isbn: "978-1-4503-0445-0"
  kind: "inproceedings"
  key: "ClassenHSL11"
- title: "Generic Semantics of Feature Diagrams Variants"
  author:
  - name: "Yves Bontemps"
    link: "https://researchr.org/alias/yves-bontemps"
  - name: "Patrick Heymans"
    link: "https://researchr.org/alias/patrick-heymans"
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  - name: "Jean-Christophe Trigaux"
    link: "https://researchr.org/alias/jean-christophe-trigaux"
  year: "2005"
  tags:
  - "feature diagrams"
  - "semantics"
  researchr: "https://researchr.org/publication/BontempsHST05"
  cites: 0
  citedby: 0
  pages: "58-77"
  booktitle: "Feature Interactions in Telecommunications and Software Systems VIII, ICFI 05, 28-30 June 2005, Leicester, UK"
  editor:
  - name: "Stephan Reiff-Marganiec"
    link: "https://researchr.org/alias/stephan-reiff-marganiec"
  - name: "Mark Ryan"
    link: "https://researchr.org/alias/mark-ryan"
  publisher: "IOS Press"
  isbn: "1-58603-524-X"
  kind: "inproceedings"
  key: "BontempsHST05"
- title: "A two-level temporal logic for evolving specifications"
  author:
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  - name: "Gunter Saake"
    link: "https://researchr.org/alias/gunter-saake"
  - name: "Amílcar Sernadas"
    link: "https://researchr.org/alias/am%C3%ADlcar-sernadas"
  - name: "Cristina Sernadas"
    link: "https://researchr.org/alias/cristina-sernadas"
  year: "2002"
  doi: "http://dx.doi.org/10.1016/S0020-0190(02)00289-2"
  links:
    doi: "http://dx.doi.org/10.1016/S0020-0190(02)00289-2"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/SchobbensSSS02"
  cites: 0
  citedby: 0
  journal: "Inf. Process. Lett."
  volume: "83"
  number: "3"
  pages: "167-172"
  kind: "article"
  key: "SchobbensSSS02"
- title: "A Logic for Legal Hierarchies"
  author:
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  year: "1993"
  doi: "http://doi.acm.org/10.1145/158976.159010"
  links:
    doi: "http://doi.acm.org/10.1145/158976.159010"
  tags:
  - "logic"
  researchr: "https://researchr.org/publication/Schobbens93"
  cites: 0
  citedby: 0
  pages: "272-281"
  booktitle: "ICAIL"
  kind: "inproceedings"
  key: "Schobbens93"
- title: "Formal Models of Agents, ESPRIT Project ModelAge Final Workshop, Selected Papers"
  year: "1999"
  researchr: "https://researchr.org/publication/modelage%3A1997"
  cites: 0
  citedby: 0
  booktitle: "Formal Models of Agents, ESPRIT Project ModelAge Final Workshop, Selected Papers"
  conference: "modelage"
  editor:
  - name: "John-Jules Ch. Meyer"
    link: "http://www.cs.uu.nl/staff/jj.html"
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  volume: "1760"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-67027-0"
  kind: "proceedings"
  key: "modelage:1997"
- title: "Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers"
  year: "2007"
  tags:
  - " algebra"
  researchr: "https://researchr.org/publication/wadt%3A2006"
  cites: 0
  citedby: 0
  booktitle: "Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers"
  conference: "WADT"
  editor:
  - name: "José Luiz Fiadeiro"
    link: "https://researchr.org/alias/jos%C3%A9-luiz-fiadeiro"
  - name: "Pierre Yves Schobbens"
    link: " http://www.info.fundp.ac.be/~pys "
  volume: "4409"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "978-3-540-71997-7"
  kind: "proceedings"
  key: "wadt:2006"