@inproceedings{GuelevRS04, title = {Model-Checking Access Control Policies}, author = {Dimitar P. Guelev and Mark Ryan and Pierre Yves Schobbens}, year = {2004}, url = {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 = {iiswc}, } @inproceedings{RaskinS97:0, title = {State Clock Logic: A Decidable Real-Time Logic}, author = {Jean-François Raskin and Pierre Yves Schobbens}, year = {1997}, tags = {logic}, researchr = {https://researchr.org/publication/RaskinS97%3A0}, cites = {0}, citedby = {0}, pages = {33-47}, booktitle = {hybrid}, } @inproceedings{JuretaFS06:1, title = {A More Expressive Softgoal Conceptualization for Quality Requirements Analysis}, author = {Ivan Jureta and Stéphane Faulkner and Pierre Yves Schobbens}, year = {2006}, doi = {10.1007/11901181_22}, url = {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 = {er}, } @article{BontempsSSH07, title = {Synthèse de diagrammes d états par classe à partir de diagrammes de séquence}, author = {Yves Bontemps and Germain Saval and Pierre Yves Schobbens and Patrick Heymans}, year = {2007}, url = {http://tsi.revuesonline.com/article.jsp?articleId=10682}, researchr = {https://researchr.org/publication/BontempsSSH07}, cites = {0}, citedby = {0}, journal = {tsi}, volume = {26}, number = {7}, pages = {797-817}, } @inproceedings{LafontaineLS90, title = {Two Approaches towards the Formalisation of VDM}, author = {Christine Lafontaine and Yves Ledru and Pierre Yves Schobbens}, year = {1990}, tags = {systematic-approach}, researchr = {https://researchr.org/publication/LafontaineLS90}, cites = {0}, citedby = {0}, pages = {370-398}, booktitle = {FM}, } @inproceedings{ClassenHSLR10, title = {Model checking lots of systems: efficient verification of temporal properties in software product lines}, author = {Andreas Classen and Patrick Heymans and Pierre Yves Schobbens and Axel Legay and Jean-François Raskin}, year = {2010}, doi = {10.1145/1806799.1806850}, url = {http://doi.acm.org/10.1145/1806799.1806850}, 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 = {ICSE}, } @article{JuretaFS08, title = {Clear justification of modeling decisions for goal-oriented requirements engineering}, author = {Ivan Jureta and Stéphane Faulkner and Pierre Yves Schobbens}, year = {2008}, doi = {10.1007/s00766-007-0056-y}, url = {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 = {re}, volume = {13}, number = {2}, pages = {87-115}, } @inproceedings{JuretaFS07, title = {Achieving, Satisficing, and Excelling}, author = {Ivan Jureta and Stéphane Faulkner and Pierre Yves Schobbens}, year = {2007}, doi = {10.1007/978-3-540-76292-8_34}, url = {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 = {er}, } @inproceedings{HardingRS05, title = {A New Algorithm for Strategy Synthesis in LTL Games}, author = {Aidan Harding and Mark Ryan and Pierre Yves Schobbens}, year = {2005}, url = {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 = {TACAS}, } @article{RyanS95, title = {Belief Revision and Verisimilitude}, author = {Mark Ryan and Pierre Yves Schobbens}, year = {1995}, researchr = {https://researchr.org/publication/RyanS95}, cites = {0}, citedby = {0}, journal = {ndjfl}, volume = {36}, number = {1}, pages = {15-29}, } @inproceedings{RaskinS97, title = {Real-Time Logics: Fictitious Clock as an Abstraction of Dense Time}, author = {Jean-François Raskin and Pierre Yves Schobbens}, year = {1997}, tags = {logic, abstraction}, researchr = {https://researchr.org/publication/RaskinS97}, cites = {0}, citedby = {0}, pages = {165-182}, booktitle = {TACAS}, } @article{SchobbensR99, title = {The Logic of Initially and Next : Complete Axiomatization and Complexity}, author = {Pierre Yves Schobbens and Jean-François Raskin}, year = {1999}, doi = {10.1016/S0020-0190(99)00022-8}, url = {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 = {ipl}, volume = {69}, number = {5}, pages = {221-225}, } @inproceedings{SchobbensHT06, title = {Feature Diagrams: A Survey and a Formal Semantics}, author = {Pierre Yves Schobbens and Patrick Heymans and Jean-Christophe Trigaux}, year = {2006}, doi = {10.1109/RE.2006.23}, url = {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 = {RE}, } @article{GuelevRS05, title = {Model-checking the Preservation of Temporal Properties upon Feature Integration}, author = {Dimitar P. Guelev and Mark Dermot Ryan and Pierre Yves Schobbens}, year = {2005}, doi = {10.1016/j.entcs.2005.04.019}, url = {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 = {ENTCS}, volume = {128}, number = {6}, pages = {311-324}, } @article{BontempsSL04, title = {Synthesis of Open Reactive Systems from Scenario-Based Specifications}, author = {Yves Bontemps and Pierre Yves Schobbens and Christof Löding}, year = {2004}, url = {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 = {FUIN}, volume = {62}, number = {2}, pages = {139-169}, } @inproceedings{MeyerS97, title = {Formal Models of Agents: An Introduction}, author = {John-Jules Ch. Meyer and Pierre Yves Schobbens}, year = {1997}, url = {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 = {modelage}, } @inproceedings{BontempsHS03, title = {Lightweight Formal Methods for Scenario-Based Software Engineering}, author = {Yves Bontemps and Patrick Heymans and Pierre Yves Schobbens}, year = {2003}, doi = {10.1007/11495628_10}, url = {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 = {Dagstuhl}, } @inproceedings{Schobbens91, title = {Clean Algebraic Exception with Implicit Propagation}, author = {Pierre Yves Schobbens}, year = {1991}, tags = {exceptions, algebra}, researchr = {https://researchr.org/publication/Schobbens91}, cites = {0}, citedby = {0}, pages = {173-186}, booktitle = {amast}, } @inproceedings{MetzgerHPSS07, title = {Disambiguating the Documentation of Variability in Software Product Lines: A Separation of Concerns, Formalization and Automated Analysis}, author = {Andreas Metzger and Patrick Heymans and Klaus Pohl and Pierre Yves Schobbens and Germain Saval}, year = {2007}, doi = {10.1109/RE.2007.61}, url = {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 = {RE}, } @inproceedings{HardingRS03, title = {Towards Symbolic Strategy Synthesis for /left/langle {/left/langle A /right/rangle } /right/rangle-LTL}, author = {Aidan Harding and Mark Ryan and Pierre Yves Schobbens}, year = {2003}, url = {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 = {time}, } @article{GuelevRS06, title = {Synthesising Features by Games}, author = {Dimitar P. Guelev and Mark Dermot Ryan and Pierre Yves Schobbens}, year = {2006}, doi = {10.1016/j.entcs.2005.10.006}, url = {http://dx.doi.org/10.1016/j.entcs.2005.10.006}, researchr = {https://researchr.org/publication/GuelevRS06}, cites = {0}, citedby = {0}, journal = {ENTCS}, volume = {145}, pages = {79-93}, } @article{FerierRS99, title = {Model-Generation of a Fictitious Clock Real-Time Logic Using Sharing Trees}, author = {Laurent Ferier and Jean-François Raskin and Pierre Yves Schobbens}, year = {1999}, url = {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 = {ENTCS}, volume = {23}, number = {2}, pages = {108-126}, } @inproceedings{JuretaFS06:0, title = {Allocating Goals to Agent Roles During MAS Requirements Engineering}, author = {Ivan Jureta and Stéphane Faulkner and Pierre Yves Schobbens}, year = {2006}, doi = {10.1007/978-3-540-70945-9_2}, url = {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 = {aose}, } @inproceedings{RyanS01, title = {Agents and Roles: Refinement in Alternating-Time Temporal Logic}, author = {Mark Ryan and Pierre Yves Schobbens}, year = {2001}, url = {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 = {atal}, } @article{SchobbensRH02, title = {Axioms for real-time logics}, author = {Pierre Yves Schobbens and Jean-François Raskin and Thomas A. Henzinger}, year = {2002}, doi = {10.1016/S0304-3975(00)00308-X}, url = {http://dx.doi.org/10.1016/S0304-3975(00)00308-X}, tags = {logic}, researchr = {https://researchr.org/publication/SchobbensRH02}, cites = {0}, citedby = {0}, journal = {TCS}, volume = {274}, number = {1-2}, pages = {151-182}, } @inproceedings{HardingRS02, title = {Approximating ATL:::*::: in ATL}, author = {Aidan Harding and Mark Ryan and Pierre Yves Schobbens}, year = {2002}, url = {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 = {vmcai}, } @inproceedings{DeridderGPS08, title = {Model Co-evolution and Consistency Management (MCCM 08)}, author = {Dirk Deridder and Jeffrey G. Gray and Alfonso Pierantonio and Pierre Yves Schobbens}, year = {2008}, doi = {10.1007/978-3-642-01648-6_13}, url = {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}, } @inproceedings{JuretaFS06, title = {Justifying Goal Models}, author = {Ivan Jureta and Stéphane Faulkner and Pierre Yves Schobbens}, year = {2006}, doi = {10.1109/RE.2006.37}, url = {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 = {RE}, } @article{Schobbens04, title = {Alternating-time logic with imperfect recall}, author = {Pierre Yves Schobbens}, year = {2004}, doi = {10.1016/S1571-0661(05)82604-0}, url = {http://dx.doi.org/10.1016/S1571-0661(05)82604-0}, tags = {logic}, researchr = {https://researchr.org/publication/Schobbens04}, cites = {0}, citedby = {0}, journal = {ENTCS}, volume = {85}, number = {2}, pages = {82-93}, } @inproceedings{MontrieuxJHYST10, title = {Tool support for code generation from a UMLsec property}, author = {Lionel Montrieux and Jan Jürjens and Charles B. Haley and Yijun Yu and Pierre Yves Schobbens and Hubert Toussaint}, year = {2010}, doi = {10.1145/1858996.1859074}, url = {http://doi.acm.org/10.1145/1858996.1859074}, tags = {code generation}, researchr = {https://researchr.org/publication/MontrieuxJHYST10}, cites = {0}, citedby = {0}, pages = {357-358}, booktitle = {ASE}, } @inproceedings{BertDEDDSW88, title = {LPG: A Generic, Logic and Functional Programming Language}, author = {Didier Bert and Pascal Drabik and Rachid Echahed and Olivier Declerfayt and Demeuse Demeuse and Pierre Yves Schobbens and François 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}, } @article{RaskinS99, title = {The Logic of Event Clocks - Decidability, Complexity and Expressiveness}, author = {Jean-François Raskin and Pierre Yves Schobbens}, year = {1999}, tags = {logic}, researchr = {https://researchr.org/publication/RaskinS99}, cites = {0}, citedby = {0}, journal = {jalc}, volume = {4}, number = {3}, pages = {247-286}, } @article{AndrekaRS02, title = {Operators and Laws for Combining Preference Relations}, author = {Hajnal Andréka and Mark Ryan and Pierre Yves Schobbens}, year = {2002}, url = {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 = {logcom}, volume = {12}, number = {1}, pages = {13-53}, } @inproceedings{OrtizLS11, title = {Distributed Event Clock Automata - Extended Abstract}, author = {James Jerson Ortiz and Axel Legay and Pierre Yves Schobbens}, year = {2011}, doi = {10.1007/978-3-642-22256-6_23}, url = {http://dx.doi.org/10.1007/978-3-642-22256-6_23}, researchr = {https://researchr.org/publication/OrtizLS11}, cites = {0}, citedby = {0}, pages = {250-263}, booktitle = {wia}, } @inproceedings{RyanS96, title = {Intertranslating Counterfactuals and Updates}, author = {Mark Ryan and Pierre Yves Schobbens}, year = {1996}, researchr = {https://researchr.org/publication/RyanS96}, cites = {0}, citedby = {0}, pages = {100-104}, booktitle = {ecai}, } @article{HeymansSTBMC08, title = {Evaluating formal properties of feature diagram languages}, author = {Patrick Heymans and Pierre Yves Schobbens and Jean-Christophe Trigaux and Yves Bontemps and Raimundas Matulevicius and Andreas Classen}, year = {2008}, doi = {10.1049/iet-sen:20070055}, url = {http://dx.doi.org/10.1049/iet-sen:20070055}, tags = {feature diagrams}, researchr = {https://researchr.org/publication/HeymansSTBMC08}, cites = {0}, citedby = {0}, journal = {iee}, volume = {2}, number = {3}, pages = {281-302}, } @inproceedings{BontempsS05, title = {The Complexity of Live Sequence Charts}, author = {Yves Bontemps and Pierre Yves Schobbens}, year = {2005}, url = {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 = {fossacs}, } @inproceedings{HenzingerRS98, title = {The Regular Real-Time Languages}, author = {Thomas A. Henzinger and Jean-François Raskin and Pierre Yves Schobbens}, year = {1998}, url = {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 = {icalp}, } @inproceedings{AiguierBS04, title = {An Algebraic Approach for Codesign}, author = {Marc Aiguier and Stefan Béroff and Pierre Yves Schobbens}, year = {2004}, url = {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 = {ictac}, } @article{BontempsS07, title = {The computational complexity of scenario-based agent verification and design}, author = {Yves Bontemps and Pierre Yves Schobbens}, year = {2007}, doi = {10.1016/j.jal.2005.12.013}, url = {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 = {japll}, volume = {5}, number = {2}, pages = {252-276}, } @inproceedings{Schobbens92, title = {Second-Order Proof Systems for Algebraic Specification Languages}, author = {Pierre Yves Schobbens}, year = {1992}, tags = {algebraic specification, algebra}, researchr = {https://researchr.org/publication/Schobbens92}, cites = {0}, citedby = {0}, pages = {321-336}, booktitle = {compass}, } @article{LafontaineLS91, title = {An Experiment in Formal Software Development: Using the B Theorem Prover on a VDM Case Study}, author = {Christine Lafontaine and Yves Ledru and Pierre Yves Schobbens}, year = {1991}, tags = {case study}, researchr = {https://researchr.org/publication/LafontaineLS91}, cites = {0}, citedby = {0}, journal = {CACM}, volume = {34}, number = {5}, pages = {62}, } @inproceedings{GuelevRS03, title = {Feature Integration as Substitution}, author = {Dimitar P. Guelev and Mark Dermot Ryan and Pierre Yves Schobbens}, year = {2003}, researchr = {https://researchr.org/publication/GuelevRS03}, cites = {0}, citedby = {0}, pages = {275-294}, booktitle = {fiw}, } @inproceedings{RyanSR96, title = {Counterfactuals and Updates as Inverse Modalities}, author = {Mark Ryan and Pierre Yves Schobbens and Odinaldo Rodrigues}, year = {1996}, researchr = {https://researchr.org/publication/RyanSR96}, cites = {0}, citedby = {0}, pages = {163-173}, booktitle = {tark}, } @article{SchobbensHTB07, title = {Generic semantics of feature diagrams}, author = {Pierre Yves Schobbens and Patrick Heymans and Jean-Christophe Trigaux and Yves Bontemps}, year = {2007}, doi = {10.1016/j.comnet.2006.08.008}, url = {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 = {cn}, volume = {51}, number = {2}, pages = {456-479}, } @article{Schobbens93:1, title = {Exceptions for Algebraic Specifications: On the Meaning of but }, author = {Pierre Yves Schobbens}, year = {1993}, tags = {exceptions, algebraic specification, algebra}, researchr = {https://researchr.org/publication/Schobbens93%3A1}, cites = {0}, citedby = {0}, journal = {SCP}, volume = {20}, number = {1-2}, pages = {73-111}, } @inproceedings{BontempsS03, title = {Synthesis of Open Reactive Systems from Scenario-Based Specifications}, author = {Yves Bontemps and Pierre Yves Schobbens}, year = {2003}, url = {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 = {acsd}, } @inproceedings{ClassenHS08, title = {What s in a Feature: A Requirements Engineering Perspective}, author = {Andreas Classen and Patrick Heymans and Pierre Yves Schobbens}, year = {2008}, doi = {10.1007/978-3-540-78743-3_2}, url = {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 = {FASE}, } @inproceedings{LafontaineLS90:0, title = {An Experiment in Formal Software Development: Using the B Theorem Prover on a VDM Case Study}, author = {Christine Lafontaine and Yves Ledru and Pierre Yves Schobbens}, year = {1990}, tags = {case study}, researchr = {https://researchr.org/publication/LafontaineLS90%3A0}, cites = {0}, citedby = {0}, pages = {34-42}, booktitle = {ICSE}, } @inproceedings{Schobbens93:0, title = {Extensions of Initial Models and their Second-Order Proof Systems}, author = {Pierre Yves Schobbens}, year = {1993}, researchr = {https://researchr.org/publication/Schobbens93%3A0}, cites = {0}, citedby = {0}, pages = {326-344}, booktitle = {hoa}, } @inproceedings{OrtizLS10, title = {Memory Event Clocks}, author = {James Jerson Ortiz and Axel Legay and Pierre Yves Schobbens}, year = {2010}, doi = {10.1007/978-3-642-15297-9_16}, url = {http://dx.doi.org/10.1007/978-3-642-15297-9_16}, researchr = {https://researchr.org/publication/OrtizLS10}, cites = {0}, citedby = {0}, pages = {198-212}, booktitle = {formats}, } @inproceedings{HubauxHSD10, title = {Towards Multi-view Feature-Based Configuration}, author = {Arnaud Hubaux and Patrick Heymans and Pierre Yves Schobbens and Dirk Deridder}, year = {2010}, doi = {10.1007/978-3-642-14192-8_12}, url = {http://dx.doi.org/10.1007/978-3-642-14192-8_12}, tags = {rule-based}, researchr = {https://researchr.org/publication/HubauxHSD10}, cites = {0}, citedby = {0}, pages = {106-112}, booktitle = {refsq}, } @article{RyanS97, title = {Counterfactuals and Updates as Inverse Modalities}, author = {Mark Ryan and Pierre Yves Schobbens}, year = {1997}, researchr = {https://researchr.org/publication/RyanS97}, cites = {0}, citedby = {0}, journal = {jolli}, volume = {6}, number = {2}, pages = {123-146}, } @article{BontempsHS05, title = {From Live Sequence Charts to State Machines and Back: A Guided Tour}, author = {Yves Bontemps and Patrick Heymans and Pierre Yves Schobbens}, year = {2005}, doi = {10.1109/TSE.2005.137}, url = {http://doi.ieeecomputersociety.org/10.1109/TSE.2005.137}, tags = {state machines}, researchr = {https://researchr.org/publication/BontempsHS05}, cites = {0}, citedby = {0}, journal = {TSE}, volume = {31}, number = {12}, pages = {999-1014}, } @inproceedings{RaskinSH98, title = {Axioms for Real-Time Logics}, author = {Jean-François Raskin and Pierre Yves Schobbens and Thomas A. Henzinger}, year = {1998}, url = {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}, } @article{GuelevRS07, title = {Model-checking the preservation of temporal properties upon feature integration}, author = {Dimitar P. Guelev and Mark Dermot Ryan and Pierre Yves Schobbens}, year = {2007}, doi = {10.1007/s10009-006-0006-x}, url = {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}, } @inproceedings{ClassenHSL11, title = {Symbolic model checking of software product lines}, author = {Andreas Classen and Patrick Heymans and Pierre Yves Schobbens and Axel Legay}, year = {2011}, doi = {10.1145/1985793.1985838}, url = {http://doi.acm.org/10.1145/1985793.1985838}, tags = {software product lines, model checking, meta-model, Meta-Environment}, researchr = {https://researchr.org/publication/ClassenHSL11}, cites = {0}, citedby = {0}, pages = {321-330}, booktitle = {ICSE}, } @inproceedings{BontempsHST05, title = {Generic Semantics of Feature Diagrams Variants}, author = {Yves Bontemps and Patrick Heymans and Pierre Yves Schobbens and Jean-Christophe Trigaux}, year = {2005}, tags = {feature diagrams, semantics}, researchr = {https://researchr.org/publication/BontempsHST05}, cites = {0}, citedby = {0}, pages = {58-77}, booktitle = {fiw}, } @article{SchobbensSSS02, title = {A two-level temporal logic for evolving specifications}, author = {Pierre Yves Schobbens and Gunter Saake and Amílcar Sernadas and Cristina Sernadas}, year = {2002}, doi = {10.1016/S0020-0190(02)00289-2}, url = {http://dx.doi.org/10.1016/S0020-0190(02)00289-2}, tags = {logic}, researchr = {https://researchr.org/publication/SchobbensSSS02}, cites = {0}, citedby = {0}, journal = {ipl}, volume = {83}, number = {3}, pages = {167-172}, } @inproceedings{Schobbens93, title = {A Logic for Legal Hierarchies}, author = {Pierre Yves Schobbens}, year = {1993}, doi = {10.1145/158976.159010}, url = {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}, } @proceedings{modelage:1997, 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 = {John-Jules Ch. Meyer and Pierre Yves Schobbens}, volume = {1760}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-67027-0}, } @proceedings{wadt:2006, 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 = {José Luiz Fiadeiro and Pierre Yves Schobbens}, volume = {4409}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-540-71997-7}, }