Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Pierre-Yves Schobbens

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Maxime Cordy

> Home > Persons > Pierre-Yves Schobbens

Publications

2023
[c102]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/CuartasACOPS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/CuartasACOPS23
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
[c100]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/CordyLLS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/CordyLLS23
Maxime Cordy, Sami Lazreg, Axel Legay, Pierre-Yves Schobbens:
Towards Strengthening Formal Specifications with Mutation Model Checking. ESEC/SIGSOFT FSE 2023: 2102-2106
2019
[c91]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/CordyDLPCHSR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/CordyDLPCHSR19
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
2017
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/DevroeyPCSLSH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/DevroeyPCSLSH17
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)
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/sofsem/LegayPDCSH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofsem/LegayPDCSH17
Axel Legay, Gilles Perrouin, Xavier Devroey, Maxime Cordy, Pierre-Yves Schobbens, Patrick Heymans:
On Featured Transition Systems. SOFSEM 2017: 453-463
2016
[c77]
- view
  - electronic edition @ gi.de (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/se/CordyHLSDL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/se/CordyHLSDL16
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
2015
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/hase/RodriguesANLCSS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hase/RodriguesANLCSS15
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
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/DevroeyCSLH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/DevroeyCSLH15
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
2014
[j22]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/ClassenCHLS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/ClassenCHLS14
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]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/DevroeyPLCSH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/DevroeyPLCSH14
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
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/CordyHLSDL14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/CordyHLSDL14
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sigsoft/DevroeyPCPLS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigsoft/DevroeyPCPLS14
Xavier Devroey, Gilles Perrouin, Maxime Cordy, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens:
A variability perspective of mutation analysis. SIGSOFT FSE 2014: 841-844
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/CordyWDHS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/CordyWDHS14
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]
- view
  authority control:
- export record
  dblp key:
  - conf/vamos/DevroeyPCSLH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/DevroeyPCSLH14
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/DevroeyPCLSH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DevroeyPCLSH14
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
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/ClassenCSHLR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/ClassenCSHLR13
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)
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/CordyLST13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/CordyLST13
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/CordySHL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/CordySHL13
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
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/CordyCHSL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/CordyCHSL13
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
[p1]
- view
  authority control:
- export record
  dblp key:
  - series/lncs/CordyCHLS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/lncs/CordyCHLS13
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/DevroeyCPSLH13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/DevroeyCPSLH13
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/CordyHSSGL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/CordyHSSGL13
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]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/ClassenCHLS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/ClassenCHLS12
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/CordyCPSHL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/CordyCPSHL12
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]
- view
  authority control:
- export record
  dblp key:
  - conf/isola/DevroeyCPKSHLB12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isola/DevroeyCPKSHLB12
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
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/CordySHL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/CordySHL12
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]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/CordySHL12a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/CordySHL12a
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]
- view
  authority control:
- export record
  dblp key:
  - conf/vamos/CordyCSHL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/CordyCSHL12
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

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.