default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPierre-Yves Schobbens
Person information
- affiliation: University of Namur, Belgium
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j31]Abdelkader Ouared, Moussa Amrani, Abdelhafid Chadli, Pierre-Yves Schobbens
:
Deep variability modeling to enhance reproducibility of database performance testing. Clust. Comput. 27(8): 11683-11708 (2024)- [c105]Abdelkader Ouared, Moussa Amrani, Pierre-Yves Schobbens:
A Context-Aware Chatbot for Student Assistance Services in Higher Education. CSEDU (1) 2024: 264-271 - [c104]David Cortés, James Ortiz, Davide Basile, Jesús Aranda, Gilles Perrouin, Pierre-Yves Schobbens:
Time for Networks: Mutation Testing for Timed Automata Networks. FormaliSE@ICSE 2024: 44-54 - [i4]Alix Decrop, Gilles Perrouin, Mike Papadakis, Xavier Devroey, Pierre-Yves Schobbens:
You Can REST Now: Automated Specification Inference and Black-Box Testing of RESTful APIs with Large Language Models. CoRR abs/2402.05102 (2024) - 2023
- [j30]Abdelkader Ouared, Moussa Amrani, Pierre-Yves Schobbens:
Explainable AI for DBA: Bridging the DBA's experience and machine learning in tuning database systems. Concurr. Comput. Pract. Exp. 35(21) (2023) - [j29]Junier Caminha Amorim, Eduardo Lemos Rocha, Luigi Minardi, Vander Alves, Edison Pignaton de Freitas, Thiago M. Castro, Moussa Amrani, James Ortiz, Pierre-Yves Schobbens, Gilles Perrouin:
Providing command and control agility: A software product line approach. Expert Syst. Appl. 216: 119473 (2023) - [c103]Abdelkader Ouared, Moussa Amrani, Pierre-Yves Schobbens:
Learning Analytics Solution for Monitoring and Analyzing the Students' Behavior in SQL Lab Work. CSEDU (2) 2023: 184-195 - [c102]Jaime Cuartas, Jesús Aranda, Maxime Cordy, James Ortiz, Gilles Perrouin, Pierre-Yves Schobbens:
MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL. ICSTW 2023: 52-61 - [c101]Abdelkader Ouared, Moussa Amrani, Pierre-Yves Schobbens:
Go Meta of Learned Cost Models: On the Power of Abstraction. MODELSWARD 2023: 43-54 - [c100]Maxime Cordy, Sami Lazreg, Axel Legay, Pierre-Yves Schobbens:
Towards Strengthening Formal Specifications with Mutation Model Checking. ESEC/SIGSOFT FSE 2023: 2102-2106 - [c99]Edilton Lima dos Santos, Pierre-Yves Schobbens, Ivan Machado, Gilles Perrouin:
Architectural Bad Smells for Self-Adaptive Systems: Go Runtime! VaMoS 2023: 85-87 - [c98]Moussa Amrani, Abdelkader Ouared, Pierre-Yves Schobbens:
Command & Control in UAVs Fleets: Coordinating Drones for Ground Missions in Changing Contexts. VECoS 2023: 163-177 - 2022
- [j28]Abdelkader Ouared, Moussa Amrani, Pierre-Yves Schobbens:
COMORP: Rapid prototyping for mathematical database cost models development. J. Comput. Lang. 73: 101173 (2022) - [c97]Edilton Lima dos Santos, Pierre-Yves Schobbens, Gilles Perrouin:
Featured Scents: Towards Assessing Architectural Smells for Self-Adaptive Systems at Runtime. ICSA Companion 2022: 104-107 - [c96]Moussa Amrani, Abdelkader Ouared, Pierre-Yves Schobbens:
Towards the systematic design of model animation: key ingredients and general guidelines. MoDELS (Companion) 2022: 755-765 - 2021
- [c95]Edilton Lima dos Santos, Sophie Fortz, Gilles Perrouin, Pierre-Yves Schobbens:
A Vision to identify Architectural Smells in Self-Adaptive Systems using Behavioral Maps (short paper). ECSA (Companion) 2021 - [c94]Edilton Lima dos Santos, Sophie Fortz, Pierre-Yves Schobbens, Gilles Perrouin:
Behavioral Maps: Identifying Architectural Smells in Self-adaptive Systems at Runtime. ECSA (Tracks and Workshops) 2021: 159-180 - [e4]Mohammad Reza Mousavi, Pierre-Yves Schobbens:
SPLC '21: 25th ACM International Systems and Software Product Line Conference, Leicester, United Kingdom, September 6-11, 2021, Volume A. ACM 2021, ISBN 978-1-4503-8469-8 [contents] - [e3]Mohammad Reza Mousavi, Pierre-Yves Schobbens:
SPLC '21: 25th ACM International Systems and Software Product Line Conference, Leicester, United Kindom, September 6-11, 2021, Volume B. ACM 2021, ISBN 978-1-4503-8470-4 [contents] - 2020
- [c93]Eun-Young Kang, Pierre-Yves Schobbens:
InFoCPS: Integrating Formal Analysis of Cyber-Physical Systems with Energy Prognostics. MECO 2020: 1-5 - [c92]Edilton Lima dos Santos, Gilles Perrouin, Pierre-Yves Schobbens:
STARS: software technology for adaptable and reusable systems PhD research project. VaMoS 2020: 15:1-15:2
2010 – 2019
- 2019
- [c91]Maxime Cordy, Xavier Devroey, Axel Legay, Gilles Perrouin, Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Jean-François Raskin:
A Decade of Featured Transition Systems. From Software Engineering to Formal Methods and Tools, and Back 2019: 285-312 - [c90]James Jerson Ortiz, Moussa Amrani, Pierre-Yves Schobbens:
MLν: A Distributed Real-Time Modal Logic. NFM 2019: 19-35 - [c89]André Lanna, Thiago M. Castro, Vander Alves, Genaína Nunes Rodrigues, Pierre-Yves Schobbens, Sven Apel:
Feature-family-based reliability analysis of software product lines. SPLC (A) 2019: 11:1 - 2018
- [j27]André Lanna, Thiago M. Castro, Vander Alves, Genaína Nunes Rodrigues, Pierre-Yves Schobbens, Sven Apel:
Feature-family-based reliability analysis of software product lines. Inf. Softw. Technol. 94: 59-81 (2018) - [j26]Larissa Rocha Soares, Pierre-Yves Schobbens, Ivan do Carmo Machado, Eduardo Santana de Almeida:
Feature interaction in software product line engineering: A systematic mapping study. Inf. Softw. Technol. 98: 44-58 (2018) - [j25]Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans:
Model-based mutant equivalence detection using automata language equivalence and simulations. J. Syst. Softw. 141: 1-15 (2018) - [j24]Thiago M. Castro, André Lanna, Vander Alves, Leopoldo Teixeira, Sven Apel, Pierre-Yves Schobbens:
All roads lead to Rome: Commuting strategies for product-line reliability analysis. Sci. Comput. Program. 152: 116-160 (2018) - [c88]Adrien Duchêne, Hugues Marchal, Zhenjiang Hu, Pierre-Yves Schobbens:
A lightweight data sharing system based on bidirectional transformations. Programming 2018: 42-45 - [c87]James Jerson Ortiz Vega, Gilles Perrouin, Moussa Amrani, Pierre-Yves Schobbens:
Model-Based Mutation Operators for Timed Systems: A Taxonomy and Research Agenda. QRS 2018: 325-332 - 2017
- [j23]Xavier Devroey, Gilles Perrouin, Maxime Cordy, Hamza Samih, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans:
Statistical prioritization for software product line testing: an experience report. Softw. Syst. Model. 16(1): 153-171 (2017) - [c86]Moussa Amrani, Pierre-Yves Schobbens:
Formal Analysis of Object-Oriented Mograms. FTfJP@ECOOP 2017: 2:1-2:6 - [c85]Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans:
Automata Language Equivalence vs. Simulations for Model-Based Mutant Equivalence: An Empirical Evaluation. ICST 2017: 424-429 - [c84]Fabian Gilson, André Bittar, Pierre-Yves Schobbens:
Public Debates on the Web. ICWE 2017: 520-532 - [c83]James Jerson Ortiz, Moussa Amrani, Pierre-Yves Schobbens:
Multi-timed Bisimulation for Distributed Timed Automata. NFM 2017: 52-67 - [c82]Axel Legay, Gilles Perrouin, Xavier Devroey, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans:
On Featured Transition Systems. SOFSEM 2017: 453-463 - 2016
- [c81]Gilles Perrouin, Moussa Amrani, Mathieu Acher, Benoît Combemale, Axel Legay, Pierre-Yves Schobbens:
Featured model types: towards systematic reuse in modelling language engineering. MiSE@ICSE 2016: 1-7 - [c80]Kevin Colson, Robin Dupuis, Lionel Montrieux, Zhenjiang Hu, Sebastián Uchitel, Pierre-Yves Schobbens:
Reusable self-adaptation through bidirectional programming. SEAMS@ICSE 2016: 4-15 - [c79]Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans:
Featured model-based mutation analysis. ICSE 2016: 655-666 - [c78]Moussa Amrani, Pierre-Yves Schobbens:
Real-time model-driven engineering: an overview. PAME/VOLT@MoDELS 2016: 18-27 - [c77]Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens, Bruno Dawagne, Martin Leucker:
Counterexample guided abstraction refinement of product-line behavioural models. Software Engineering 2016: 79-80 - [c76]Xavier Devroey, Gilles Perrouin, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans:
Search-based Similarity-driven Behavioural SPL Testing. VaMoS 2016: 89-96 - 2015
- [c75]Genaína Nunes Rodrigues, Vander Alves, Vinicius Nunes, André Lanna, Maxime Cordy, Pierre-Yves Schobbens, Amir Molzam Sharifloo, Axel Legay:
Modeling and Verification for Probabilistic Properties in Software Product Lines. HASE 2015: 173-180 - [c74]Xavier Devroey, Gilles Perrouin, Pierre-Yves Schobbens, Patrick Heymans:
Poster: VIBeS, Transition System Mutation Made Easy. ICSE (2) 2015: 817-818 - [c73]Xavier Devroey, Maxime Cordy, Pierre-Yves Schobbens, Axel Legay, Patrick Heymans:
State machine flattening, a mapping study and tools assessment. ICST Workshops 2015: 1-8 - [c72]Xavier Devroey, Gilles Perrouin, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans:
Covering SPL Behaviour with Sampled Configurations: An Initial Assessment. VaMoS 2015: 59 - 2014
- [j22]Andreas Classen, Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens:
Formal semantics, modular specification, and symbolic verification of product-line behaviour. Sci. Comput. Program. 80: 416-439 (2014) - [c71]Xavier Devroey, Gilles Perrouin, Axel Legay, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans:
Coverage Criteria for Behavioural Testing of Software Product Lines. ISoLA (1) 2014: 336-350 - [c70]Axel Bodart, Keyvin Evrard, James Jerson Ortiz, Pierre-Yves Schobbens:
ArThUR: A Tool for Markov Logic Network. OTM Workshops 2014: 319-328 - [c69]Eun-Young Kang, Pierre-Yves Schobbens:
Schedulability analysis support for automotive systems: from requirement to implementation. SAC 2014: 1080-1085 - [c68]Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens, Bruno Dawagne, Martin Leucker:
Counterexample guided abstraction refinement of product-line behavioural models. SIGSOFT FSE 2014: 190-201 - [c67]Xavier Devroey, Gilles Perrouin, Maxime Cordy, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens:
A variability perspective of mutation analysis. SIGSOFT FSE 2014: 841-844 - [c66]Xavier Devroey, Gilles Perrouin, Pierre-Yves Schobbens:
Abstract test case generation for behavioural testing of software product lines. SPLC Workshops 2014: 86-93 - [c65]Maxime Cordy, Marco Willemart, Bruno Dawagne, Patrick Heymans, Pierre-Yves Schobbens:
An extensible platform for product-line behavioural analysis. SPLC Workshops 2014: 102-109 - [c64]Xavier Devroey, Gilles Perrouin, Maxime Cordy, Pierre-Yves Schobbens, Axel Legay, Patrick Heymans:
Towards statistical prioritization for software product lines testing. VaMoS 2014: 10:1-10:7 - [i3]Xavier Devroey, Gilles Perrouin, Maxime Cordy, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans:
State Machine Flattening: Mapping Study and Assessment. CoRR abs/1403.5398 (2014) - 2013
- [j21]Eun-Young Kang, Eduard Paul Enoiu, Raluca Marinescu, Cristina Cerschi Seceleanu, Pierre-Yves Schobbens, Paul Pettersson:
A methodology for formal analysis and verification of EAST-ADL models. Reliab. Eng. Syst. Saf. 120: 127-138 (2013) - [j20]Arnaud Hubaux, Patrick Heymans, Pierre-Yves Schobbens, Dirk Deridder, Ebrahim Khalil Abbasi:
Supporting multiple perspectives in feature-based configuration. Softw. Syst. Model. 12(3): 641-663 (2013) - [j19]Andreas Classen, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay, Jean-François Raskin:
Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking. IEEE Trans. Software Eng. 39(8): 1069-1089 (2013) - [c63]Damien De Nizza, James Jerson Ortiz, Hubert Meurisse, Pierre-Yves Schobbens:
Formalisation et Construction d'une Ontologie dans le Domaine des Infections Orthopédiques. IC 2013: 319-329 - [c62]Eun-Young Kang, Pierre-Yves Schobbens:
Extending EAST-ADL towards formal modeling and analysis of energy-aware real-time systems. ICCA 2013: 1890-1895 - [c61]Eun-Young Kang, Gilles Perrouin, Pierre-Yves Schobbens:
Model-Based Verification of Energy-Aware Real-Time Automotive Systems. ICECCS 2013: 135-144 - [c60]Maxime Cordy, Axel Legay, Pierre-Yves Schobbens, Louis-Marie Traonouez:
A framework for the rigorous design of highly adaptive timed systems. FormaliSE@ICSE 2013: 64-70 - [c59]Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay:
Beyond boolean product-line model checking: dealing with feature attributes and multi-features. ICSE 2013: 472-481 - [c58]Damien De Nizza, James Jerson Ortiz, Hubert Meurisse, Pierre-Yves Schobbens:
ORTHOGEN : Système d'information intégré pour la traçabilité et la Gestion Multi-Paramètres des Infections Orthopédiques. INFORSID 2013: 421-436 - [c57]Maxime Cordy, Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay:
ProVeLines: a product line of verifiers for software product lines. SPLC Workshops 2013: 141-146 - [c56]Eun-Young Kang, Pierre-Yves Schobbens:
Enabling formal analysis of energy-aware automotive embedded systems in East-adl. SpringSim (TMS-DEVS) 2013: 9 - [p1]Maxime Cordy, Andreas Classen, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens:
Model Checking Adaptive Software with Featured Transition Systems. Assurances for Self-Adaptive Systems 2013: 1-29 - [i2]Xavier Devroey, Maxime Cordy, Gilles Perrouin, Pierre-Yves Schobbens, Axel Legay, Patrick Heymans:
Towards Statistical Prioritization for Software Product Lines Testing. CoRR abs/1310.2474 (2013) - [i1]Maxime Cordy, Patrick Heymans, Pierre-Yves Schobbens, Amir Molzam Sharifloo, Carlo Ghezzi, Axel Legay:
Verification for Reliable Product Lines. CoRR abs/1311.1343 (2013) - 2012
- [j18]Andreas Classen, Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens:
Model checking software product lines with SNIP. Int. J. Softw. Tools Technol. Transf. 14(5): 589-612 (2012) - [c55]Maxime Cordy, Andreas Classen, Gilles Perrouin, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay:
Simulation-based abstractions for software product-line model checking. ICSE 2012: 672-682 - [c54]Xavier Devroey, Maxime Cordy, Gilles Perrouin, Eun-Young Kang, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay, Benoit Baudry:
A Vision for Behavioural Model-Driven Validation of Software Product Lines. ISoLA (1) 2012: 208-222 - [c53]Eun-Young Kang, Gilles Perrouin, Pierre-Yves Schobbens:
Towards Formal Energy and Time Aware Behaviors in EAST-ADL: An MDE Approach. QSIC 2012: 124-127 - [c52]Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay:
Behavioural modelling and verification of real-time software product lines. SPLC (1) 2012: 66-75 - [c51]Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay:
Towards an incremental automata-based approach for software product-line model checking. SPLC (2) 2012: 74-81 - [c50]Maxime Cordy, Andreas Classen, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay:
Managing evolution in software product lines: a model-checking perspective. VaMoS 2012: 183-191 - 2011
- [c49]Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay:
Symbolic model checking of software product lines. ICSE 2011: 321-330 - [c48]Eun-Young Kang, Pierre-Yves Schobbens, Paul Pettersson:
Verifying Functional Behaviors of Automotive Products in EAST-ADL2 Using UPPAAL-PORT. SAFECOMP 2011: 243-256 - [c47]James Jerson Ortiz, Axel Legay, Pierre-Yves Schobbens:
Distributed Event Clock Automata - Extended Abstract. CIAA 2011: 250-263 - 2010
- [c46]James Jerson Ortiz, Axel Legay, Pierre-Yves Schobbens:
Memory Event Clocks. FORMATS 2010: 198-212 - [c45]Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay, Jean-François Raskin:
Model checking lots of systems: efficient verification of temporal properties in software product lines. ICSE (1) 2010: 335-344 - [c44]Lionel Montrieux, Jan Jürjens, Charles B. Haley, Yijun Yu, Pierre-Yves Schobbens, Hubert Toussaint:
Tool support for code generation from a UMLsec property. ASE 2010: 357-358 - [c43]Arnaud Hubaux, Patrick Heymans, Pierre-Yves Schobbens, Dirk Deridder:
Towards Multi-view Feature-Based Configuration. REFSQ 2010: 106-112
2000 – 2009
- 2008
- [j17]Patrick Heymans, Pierre-Yves Schobbens, Jean-Christophe Trigaux, Yves Bontemps, Raimundas Matulevicius, Andreas Classen:
Evaluating formal properties of feature diagram languages. IET Softw. 2(3): 281-302 (2008) - [j16]Ivan Jureta, Stéphane Faulkner, Pierre-Yves Schobbens:
Clear justification of modeling decisions for goal-oriented requirements engineering. Requir. Eng. 13(2): 87-115 (2008) - [c42]Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens:
What's in a Feature: A Requirements Engineering Perspective. FASE 2008: 16-30 - [c41]Dirk Deridder, Jeff Gray, Alfonso Pierantonio, Pierre-Yves Schobbens:
Model Co-evolution and Consistency Management (MCCM'08). MoDELS (Workshops) 2008: 120-123 - 2007
- [j15]Pierre-Yves Schobbens, Patrick Heymans, Jean-Christophe Trigaux, Yves Bontemps:
Generic semantics of feature diagrams. Comput. Networks 51(2): 456-479 (2007) - [j14]Yves Bontemps, Pierre-Yves Schobbens:
The computational complexity of scenario-based agent verification and design. J. Appl. Log. 5(2): 252-276 (2007) - [j13]Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens:
Model-checking the preservation of temporal properties upon feature integration. Int. J. Softw. Tools Technol. Transf. 9(1): 53-62 (2007) - [j12]Yves Bontemps, Germain Saval, Pierre-Yves Schobbens, Patrick Heymans:
Synthèse de diagrammes d'états par classe à partir de diagrammes de séquence. Tech. Sci. Informatiques 26(7): 797-817 (2007) - [c40]Ivan Jureta, Stéphane Faulkner, Pierre-Yves Schobbens:
Achieving, Satisficing, and Excelling. ER Workshops 2007: 286-295 - [c39]Andreas Metzger, Patrick Heymans, Klaus Pohl, Pierre-Yves Schobbens, Germain Saval:
Disambiguating the Documentation of Variability in Software Product Lines: A Separation of Concerns, Formalization and Automated Analysis. RE 2007: 243-253 - [e2]José Luiz Fiadeiro, Pierre-Yves Schobbens:
Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers. Lecture Notes in Computer Science 4409, Springer 2007, ISBN 978-3-540-71997-7 [contents] - 2006
- [c38]Ivan Jureta, Stéphane Faulkner, Pierre-Yves Schobbens:
Allocating Goals to Agent Roles During MAS Requirements Engineering. AOSE 2006: 19-34 - [c37]Ivan Jureta, Stéphane Faulkner, Pierre-Yves Schobbens:
A More Expressive Softgoal Conceptualization for Quality Requirements Analysis. ER 2006: 281-295 - [c36]Pierre-Yves Schobbens, Patrick Heymans, Jean-Christophe Trigaux, Yves Bontemps:
Comparative Semantics of Feature Diagrams. EVOL 2006: 181-186 - [c35]Ivan Jureta, Stéphane Faulkner, Pierre-Yves Schobbens:
Justifying Goal Models. RE 2006: 116-125 - [c34]Pierre-Yves Schobbens, Patrick Heymans, Jean-Christophe Trigaux:
Feature Diagrams: A Survey and a Formal Semantics. RE 2006: 136-145 - 2005
- [j11]Yves Bontemps, Patrick Heymans, Pierre-Yves Schobbens:
From Live Sequence Charts to State Machines and Back: A Guided Tour. IEEE Trans. Software Eng. 31(12): 999-1014 (2005) - [c33]Yves Bontemps, Patrick Heymans, Pierre-Yves Schobbens, Jean-Christophe Trigaux:
Generic Semantics of Feature Diagrams Variants. FIW 2005: 58-77 - [c32]Yves Bontemps, Pierre-Yves Schobbens:
The Complexity of Live Sequence Charts. FoSSaCS 2005: 364-378 - [c31]Aidan Harding, Mark Ryan, Pierre-Yves Schobbens:
A New Algorithm for Strategy Synthesis in LTL Games. TACAS 2005: 477-492 - [c30]Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens:
Synthesising Features by Games. AVoCS 2005: 79-93 - 2004
- [j10]Yves Bontemps, Pierre-Yves Schobbens, Christof Löding:
Synthesis of Open Reactive Systems from Scenario-Based Specifications. Fundam. Informaticae 62(2): 139-169 (2004) - [c29]Marc Aiguier, Stefan Béroff, Pierre-Yves Schobbens:
An Algebraic Approach for Codesign. ICTAC 2004: 415-430 - [c28]Dimitar P. Guelev, Mark Ryan, Pierre-Yves Schobbens:
Model-Checking Access Control Policies. ISC 2004: 219-230 - [c27]Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens:
Model-checking the Preservation of Temporal Properties upon Feature Integration. AVoCS 2004: 311-324 - 2003
- [c26]Yves Bontemps, Pierre-Yves Schobbens:
Synthesis of Open Reactive Systems from Scenario-Based Specifications. ACSD 2003: 41-50 - [c25]Yves Bontemps, Patrick Heymans, Pierre-Yves Schobbens:
Lightweight Formal Methods for Scenario-Based Software Engineering. Scenarios: Models, Transformations and Tools 2003: 174-192 - [c24]