researchr

explore
calendar
search

You are not signed in
Sign in
Sign up

All Publications

Unidentified publications

Filter by Year

Filter by Type

Filter by Topic

Filter by Venue

Filter by Co-author

Filter by Top terms

Download

BibTeX
Compact BibTeX
RSS
HTML
YAML
Compact YAML

External Links

Homepage

Profile Name

pierreyvesschobbens

Statistics

Publications: 60
Edited: 2
Credit: 372

Aliases

P.Y. Schobbens
Schobbens
Pierre-Yves Schobbens
Schobbens, Pierre Yves
Schobbens, P.Y.

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Pierre Yves Schobbens's Profile

Publications

Unidentified Publications

Publications with a 'Pierre Yves Schobbens' as author, editor, or advisor:

A Vision for Behavioural Model-Driven Validation of Software Product LinesXavier Devroey, Maxime Cordy, Gilles Perrouin, Eun-Young Kang, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay, Benoit Baudry. ISoLA 2012: 208-222 [doi]
Feature interaction in software product line engineering: A systematic mapping studyLarissa Rocha Soares, Pierre-Yves Schobbens, Ivan do Carmo Machado, Eduardo Santana de Almeida. INFSOF, 98:44-58, 2018. [doi]
COMORP: Rapid prototyping for mathematical database cost models developmentAbdelkader Ouared, Moussa Amrani, Pierre-Yves Schobbens. JCL (JVLC), 73:101173, 2022. [doi]
Extending EAST-ADL towards formal modeling and analysis of energy-aware real-time systemsEun-Young Kang, Pierre-Yves Schobbens. icca 2013: 1890-1895 [doi]
Model-Based Verification of Energy-Aware Real-Time Automotive SystemsEun-Young Kang, Gilles Perrouin, Pierre-Yves Schobbens. ICECCS 2013: 135-144 [doi]
Formal semantics, modular specification, and symbolic verification of product-line behaviourAndreas Classen, Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens. SCP, 80:416-439, 2014. [doi]
Coverage Criteria for Behavioural Testing of Software Product LinesXavier Devroey, Gilles Perrouin, Axel Legay, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans. ISoLA 2014: 336-350 [doi]
Model Checking Adaptive Software with Featured Transition SystemsMaxime Cordy, Andreas Classen, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens. In Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Antónia Lopes, editors, Assurances for Self-Adaptive Systems - Principles, Models, and Techniques. Volume 7740 of Lecture Notes in Computer Science, pages 1-29, Springer, 2013. [doi]
Architectural Bad Smells for Self-Adaptive Systems: Go Runtime!Edilton Lima dos Santos, Pierre-Yves Schobbens, Ivan Machado, Gilles Perrouin. vamos 2023: 85-87 [doi]
A variability perspective of mutation analysisXavier Devroey, Gilles Perrouin, Maxime Cordy, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens. FSE 2014: 841-844 [doi]
Exceptions in Algebraic SpecificationsPierre-Yves Schobbens. PhD thesis, University of Namur, Belgium, 1992. [doi]
Providing command and control agility: A software product line approachJunier 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. eswa, 216:119473, April 2023. [doi]
Towards Formal Energy and Time Aware Behaviors in EAST-ADL: An MDE ApproachEun-Young Kang, Gilles Perrouin, Pierre-Yves Schobbens. qsic 2012: 124-127 [doi]
InFoCPS: Integrating Formal Analysis of Cyber-Physical Systems with Energy PrognosticsEun-Young Kang 0001, Pierre-Yves Schobbens. meco 2020: 1-5 [doi]
Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model CheckingAndreas Classen, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay, Jean-François Raskin. TSE, 39(8):1069-1089, 2013. [doi]
Abstract test case generation for behavioural testing of software product linesXavier Devroey, Gilles Perrouin, Pierre-Yves Schobbens. SPLC 2014: 86-93 [doi]
ProVeLines: a product line of verifiers for software product linesMaxime Cordy, Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay. SPLC 2013: 141-146 [doi]
All roads lead to Rome: Commuting strategies for product-line reliability analysisThiago Castro, André Lanna, Vander Alves, Leopoldo Teixeira, Sven Apel, Pierre-Yves Schobbens. SCP, 152:116-160, 2018. [doi]
Managing evolution in software product lines: a model-checking perspectiveMaxime Cordy, Andreas Classen, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay. vamos 2012: 183-191 [doi]
An extensible platform for product-line behavioural analysisMaxime Cordy, Marco Willemart, Bruno Dawagne, Patrick Heymans, Pierre-Yves Schobbens. SPLC 2014: 102-109 [doi]
Applying VDM to large developmentsYves Ledru, Pierre-Yves Schobbens. fmsd 1990: 55-58 [doi]
Towards an incremental automata-based approach for software product-line model checkingMaxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay. SPLC 2012: 74-81 [doi]
Public Debates on the WebFabian Gilson, André Bittar, Pierre-Yves Schobbens. ICWE 2017: 520-532 [doi]
Explainable AI for DBA: Bridging the DBA's experience and machine learning in tuning database systemsAbdelkader Ouared, Moussa Amrani, Pierre-Yves Schobbens. concurrency, 35(21), 2023. [doi]
Feature-family-based reliability analysis of software product lines: [journal first]André Lanna, Thiago M. Castro, Vander Alves, Genaína Nunes Rodrigues, Pierre-Yves Schobbens, Sven Apel. SPLC 2019: [doi]
Counterexample guided abstraction refinement of product-line behavioural modelsMaxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens, Bruno Dawagne, Martin Leucker. FSE 2014: 190-201 [doi]
Search-based Similarity-driven Behavioural SPL TestingXavier Devroey, Gilles Perrouin, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans. vamos 2016: 89-96 [doi]
Behavioral Maps: Identifying Architectural Smells in Self-adaptive Systems at RuntimeEdilton Lima dos Santos, Sophie Fortz, Pierre-Yves Schobbens, Gilles Perrouin. ecsa 2022: 159-180 [doi]
Counterexample guided abstraction refinement of product-line behavioural modelsMaxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens, Bruno Dawagne, Martin Leucker. se 2016: 79-80 [doi]
Real-time model-driven engineering: an overviewMoussa Amrani, Pierre-Yves Schobbens. MoDELS 2016: 18-27 [doi]
Feature-family-based reliability analysis of software product linesAndré Lanna, Thiago Castro, Vander Alves, Genaína Nunes Rodrigues, Pierre-Yves Schobbens, Sven Apel. INFSOF, 94:59-81, 2018. [doi]
Modeling and Verification for Probabilistic Properties in Software Product LinesGenaína Nunes Rodrigues, Vander Alves, Vinicius Nunes, André Lanna, Maxime Cordy, Pierre-Yves Schobbens, Amir Molzam Sharifloo, Axel Legay. hase 2015: 173-180 [doi]
ArThUR: A Tool for Markov Logic NetworkAxel Bodart, Keyvin Evrard, James Jerson Ortiz, Pierre-Yves Schobbens. otm 2014: 319-328 [doi]
STARS: software technology for adaptable and reusable systems PhD research projectEdilton Lima dos Santos, Gilles Perrouin, Pierre-Yves Schobbens. vamos 2020: [doi]
Towards the systematic design of model animation: key ingredients and general guidelinesMoussa Amrani, Abdelkader Ouared, Pierre-Yves Schobbens. MoDELS 2022: 755-765 [doi]
Beyond boolean product-line model checking: dealing with feature attributes and multi-featuresMaxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay. ICSE 2013: 472-481 [doi]
Vérification automatique de logiques orientées agentPierre-Yves Schobbens. jfsma 2001: 13-16
Towards statistical prioritization for software product lines testingXavier Devroey, Gilles Perrouin, Maxime Cordy, Pierre-Yves Schobbens, Axel Legay, Patrick Heymans. vamos 2014: 10 [doi]
Model-Based Mutation Operators for Timed Systems: A Taxonomy and Research AgendaJames Jerson Ortiz Vega, Gilles Perrouin, Moussa Amrani, Pierre-Yves Schobbens. qrs 2018: 325-332 [doi]
Schedulability analysis support for automotive systems: from requirement to implementationEun-Young Kang, Pierre-Yves Schobbens. SAC 2014: 1080-1085 [doi]
On the meaning of "but"Pierre-Yves Schobbens. iwssd 1991: 185-192 [doi]
MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAALJaime Cuartas, Jesús Aranda, Maxime Cordy, James Ortiz, Gilles Perrouin, Pierre-Yves Schobbens. icst 2023: 52-61 [doi]
Model-based mutant equivalence detection using automata language equivalence and simulationsXavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans. jss, 141:1-15, 2018. [doi]
Reusable self-adaptation through bidirectional programmingKevin Colson, Robin Dupuis, Lionel Montrieux, Zhenjiang Hu, Sebastián Uchitel, Pierre-Yves Schobbens. ICSE 2016: 4-15 [doi]
Model checking software product lines with SNIPAndreas Classen, Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens. STTT, 14(5):589-612, 2012. [doi]
Formalisation et Construction d'une Ontologie dans le Domaine des Infections OrthopédiquesDamien De Nizza, James Jerson Ortiz, Hubert Meurisse, Pierre-Yves Schobbens. f-ic 2013: 319-329 [doi]
Supporting multiple perspectives in feature-based configurationArnaud Hubaux, Patrick Heymans, Pierre-Yves Schobbens, Dirk Deridder, Ebrahim Khalil Abbasi. SoSyM, 12(3):641-663, 2013. [doi]
Simulation-based abstractions for software product-line model checkingMaxime Cordy, Andreas Classen, Gilles Perrouin, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay. ICSE 2012: 672-682 [doi]
SPLC '21: 25th ACM International Systems and Software Product Line Conference, Leicester, United Kingdom, September 6-11, 2021, Volume AMohammad Mousavi, Pierre-Yves Schobbens, editors, ACM, 2021. [doi]
Go Meta of Learned Cost Models: On the Power of AbstractionAbdelkader Ouared, Moussa Amrani, Pierre-Yves Schobbens. modelsward 2023: 43-54 [doi]
Behavioural modelling and verification of real-time software product linesMaxime Cordy, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay. SPLC 2012: 66-75 [doi]
Covering SPL Behaviour with Sampled Configurations: An Initial AssessmentXavier Devroey, Gilles Perrouin, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans. vamos 2015: 59 [doi]
Poster: VIBeS, Transition System Mutation Made EasyXavier Devroey, Gilles Perrouin, Pierre-Yves Schobbens, Patrick Heymans. ICSE 2015: 817-818 [doi]
Verifying Functional Behaviors of Automotive Products in EAST-ADL2 Using UPPAAL-PORTEun-Young Kang, Pierre-Yves Schobbens, Paul Pettersson. safecomp 2011: 243-256 [doi]
On Featured Transition SystemsAxel Legay, Gilles Perrouin, Xavier Devroey, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans. sofsem 2017: 453-463 [doi]
A lightweight data sharing system based on bidirectional transformationsAdrien Duchêne, Hugues Marchal, Zhenjiang Hu, Pierre-Yves Schobbens. Programming 2018: 42-45 [doi]
SPLC '21: 25th ACM International Systems and Software Product Line Conference, Leicester, United Kindom, September 6-11, 2021, Volume BMohammad Mousavi, Pierre-Yves Schobbens, editors, ACM, 2021. [doi]
State machine flattening, a mapping study and tools assessmentXavier Devroey, Maxime Cordy, Pierre-Yves Schobbens, Axel Legay, Patrick Heymans. icst 2015: 1-8 [doi]
Formal Analysis of Object-Oriented MogramsMoussa Amrani, Pierre-Yves Schobbens. ECOOP 2017: [doi]
A Vision to identify Architectural Smells in Self-Adaptive Systems using Behavioral Maps (short paper)Edilton Lima dos Santos, Sophie Fortz, Gilles Perrouin, Pierre-Yves Schobbens. ecsa 2021: [doi]
Learning Analytics Solution for Monitoring and Analyzing the Students' Behavior in SQL Lab WorkAbdelkader Ouared, Moussa Amrani, Pierre-Yves Schobbens. csedu 2023: 184-195 [doi]
Proving feature non-interaction with Alternating-Time Temporal LogicFranck Cassez, Mark Dermot Ryan, Pierre-Yves Schobbens. fireworks 2001: 85-103 [doi]
Featured Scents: Towards Assessing Architectural Smells for Self-Adaptive Systems at RuntimeEdilton Lima dos Santos, Pierre-Yves Schobbens, Gilles Perrouin. icsa 2022: 104-107 [doi]
Enabling formal analysis of energy-aware automotive embedded systems in East-adlEun-Young Kang, Pierre-Yves Schobbens. springsim 2013: 9 [doi]
Featured model-based mutation analysisXavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans. ICSE 2016: 655-666 [doi]
Comparative Semantics of Feature DiagramsPierre-Yves Schobbens, Patrick Heymans, Jean-Christophe Trigaux, Yves Bontemps. revolutions 2006: 181-186
Command & Control in UAVs Fleets: Coordinating Drones for Ground Missions in Changing ContextsMoussa Amrani, Abdelkader Ouared, Pierre-Yves Schobbens. vecos 2024: 163-177 [doi]
Automata Language Equivalence vs. Simulations for Model-Based Mutant Equivalence: An Empirical EvaluationXavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans. icst 2017: 424-429 [doi]
Statistical prioritization for software product line testing: an experience reportXavier Devroey, Gilles Perrouin, Maxime Cordy, Hamza Samih, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans. SoSyM, 16(1):153-171, 2017. [doi]
A framework for the rigorous design of highly adaptive timed systemsMaxime Cordy, Axel Legay, Pierre-Yves Schobbens, Louis-Marie Traonouez. ICSE 2013: 64-70 [doi]
Featured model types: towards systematic reuse in modelling language engineeringGilles Perrouin, Moussa Amrani, Mathieu Acher, Benoît Combemale, Axel Legay, Pierre-Yves Schobbens. ICSE 2016: 1-7 [doi]
Towards Strengthening Formal Specifications with Mutation Model CheckingMaxime Cordy, Sami Lazreg, Axel Legay, Pierre-Yves Schobbens. FSE 2023: 2102-2106 [doi]
A methodology for formal analysis and verification of EAST-ADL modelsEun-Young Kang, Eduard Paul Enoiu, Raluca Marinescu, Cristina Cerschi Seceleanu, Pierre-Yves Schobbens, Paul Pettersson. ress, 120:127-138, 2013. [doi]
Multi-timed Bisimulation for Distributed Timed AutomataJames Jerson Ortiz, Moussa Amrani, Pierre-Yves Schobbens. NFM 2017: 52-67 [doi]
ν: A Distributed Real-Time Modal LogicJames Jerson Ortiz, Moussa Amrani, Pierre-Yves Schobbens. NFM 2019: 19-35 [doi]
A Decade of Featured Transition SystemsMaxime Cordy, Xavier Devroey, Axel Legay, Gilles Perrouin, Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Jean-François Raskin. BIRTHDAY 2019: 285-312 [doi]
ORTHOGEN : Système d'information intégré pour la traçabilité et la Gestion Multi-Paramètres des Infections OrthopédiquesDamien De Nizza, James Jerson Ortiz, Hubert Meurisse, Pierre-Yves Schobbens. inforsid 2013: 421-436 [doi]

About
Contact
Credits
Help
Web Service API
Blog
FAQ
Feedback

runs on WebDSL