default search action

combined dblp search
author search
venue search
publication search

ask others

Pierre-Yves Schobbens

> Home > Persons

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

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

1992
[b1]
- view
  - electronic edition @ unamur.be
  - details & citations
- export record
  dblp key:
  - phd/be/Schobbens92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/be/Schobbens92
Pierre-Yves Schobbens:
Exceptions in Algebraic Specifications. University of Namur, Belgium, 1992

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j31]
- view
  authority control:
- export record
  dblp key:
  - journals/cluster/OuaredACS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cluster/OuaredACS24
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)
2023
[j30]
- view
  authority control:
- export record
  dblp key:
  - journals/concurrency/OuaredAS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/concurrency/OuaredAS23
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]
- view
  authority control:
- export record
  dblp key:
  - journals/eswa/AmorimRMAFCAOSP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eswa/AmorimRMAFCAOSP23
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)
2022
[j28]
- view
  authority control:
- export record
  dblp key:
  - journals/vlc/OuaredAS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/vlc/OuaredAS22
Abdelkader Ouared, Moussa Amrani, Pierre-Yves Schobbens:
COMORP: Rapid prototyping for mathematical database cost models development. J. Comput. Lang. 73: 101173 (2022)
2018
[j27]
- view
  authority control:
- export record
  dblp key:
  - journals/infsof/LannaCARSA18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/infsof/LannaCARSA18
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]
- view
  authority control:
- export record
  dblp key:
  - journals/infsof/SoaresSMA18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/infsof/SoaresSMA18
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]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/DevroeyPPLSH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/DevroeyPPLSH18
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]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/CastroLATAS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/CastroLATAS18
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)
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)
2014
[j22]
- view
  - electronic edition via DOI (open access)
  - details & 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)
2013
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/ress/KangEMSSP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ress/KangEMSSP13
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]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/HubauxHSDA13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/HubauxHSDA13
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]
- 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)
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)
2008
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/iee/HeymansSTBMC08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iee/HeymansSTBMC08
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]
- view
  authority control:
- export record
  dblp key:
  - journals/re/JuretaFS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/re/JuretaFS08
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)
2007
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/cn/SchobbensHTB07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cn/SchobbensHTB07
Pierre-Yves Schobbens, Patrick Heymans, Jean-Christophe Trigaux, Yves Bontemps:
Generic semantics of feature diagrams. Comput. Networks 51(2): 456-479 (2007)
[j14]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/japll/BontempsS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/japll/BontempsS07
Yves Bontemps, Pierre-Yves Schobbens:
The computational complexity of scenario-based agent verification and design. J. Appl. Log. 5(2): 252-276 (2007)
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/sttt/GuelevRS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/GuelevRS07
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tsi/BontempsSSH07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tsi/BontempsSSH07
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)
2005
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/BontempsHS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/BontempsHS05
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)
2004
[j10]
- view
  - electronic edition @ iospress.com
  - details & citations
- export record
  dblp key:
  - journals/fuin/BontempsSL04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fuin/BontempsSL04
Yves Bontemps, Pierre-Yves Schobbens, Christof Löding:
Synthesis of Open Reactive Systems from Scenario-Based Specifications. Fundam. Informaticae 62(2): 139-169 (2004)
2002
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/ipl/SchobbensSSS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ipl/SchobbensSSS02
Pierre-Yves Schobbens, Gunter Saake, Amílcar Sernadas, Cristina Sernadas:
A two-level temporal logic for evolving specifications. Inf. Process. Lett. 83(3): 167-172 (2002)
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/AndrekaRS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/AndrekaRS02
Hajnal Andréka, Mark Ryan, Pierre-Yves Schobbens:
Operators and Laws for Combining Preference Relations. J. Log. Comput. 12(1): 13-53 (2002)
[j7]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/SchobbensRH02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/SchobbensRH02
Pierre-Yves Schobbens, Jean-François Raskin, Thomas A. Henzinger:
Axioms for real-time logics. Theor. Comput. Sci. 274(1-2): 151-182 (2002)
1999
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/ipl/SchobbensR99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ipl/SchobbensR99
Pierre-Yves Schobbens, Jean-François Raskin:
The Logic of "Initially" and "Next": Complete Axiomatization and Complexity. Inf. Process. Lett. 69(5): 221-225 (1999)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/jalc/RaskinS99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jalc/RaskinS99
Jean-François Raskin, Pierre-Yves Schobbens:
The Logic of Event Clocks - Decidability, Complexity and Expressiveness. J. Autom. Lang. Comb. 4(3): 247-282 (1999)
1997
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/jolli/RyanS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jolli/RyanS97
Mark Ryan, Pierre-Yves Schobbens:
Counterfactuals and Updates as Inverse Modalities. J. Log. Lang. Inf. 6(2): 123-146 (1997)
1995
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/ndjfl/RyanS95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ndjfl/RyanS95
Mark Ryan, Pierre-Yves Schobbens:
Belief Revision and Verisimilitude. Notre Dame J. Formal Log. 36(1): 15-29 (1995)
1993
[j2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/scp/Schobbens93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Schobbens93
Pierre-Yves Schobbens:
Exceptions for Algebraic Specifications: On the Meaning of "but". Sci. Comput. Program. 20(1-2): 73-111 (1993)
1991
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/LafontaineLS91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/LafontaineLS91
Christine Lafontaine, Yves Ledru, Pierre-Yves Schobbens:
An Experiment in Formal Software Development: Using the B Theorem Prover on a VDM Case Study. Commun. ACM 34(5): 62-71 (1991)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c105]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/csedu/OuaredAS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csedu/OuaredAS24
Abdelkader Ouared, Moussa Amrani, Pierre-Yves Schobbens:
A Context-Aware Chatbot for Student Assistance Services in Higher Education. CSEDU (1) 2024: 264-271
[c104]
- view
  authority control:
- export record
  dblp key:
  - conf/icse-formalise/CortesO0APS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse-formalise/CortesO0APS24
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
2023
[c103]
- view
  authority control:
- export record
  dblp key:
  - conf/csedu/OuaredAS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csedu/OuaredAS23
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]
- 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
[c101]
- view
  authority control:
- export record
  dblp key:
  - conf/modelsward/OuaredAS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modelsward/OuaredAS23
Abdelkader Ouared, Moussa Amrani, Pierre-Yves Schobbens:
Go Meta of Learned Cost Models: On the Power of Abstraction. MODELSWARD 2023: 43-54
[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
[c99]
- view
  authority control:
- export record
  dblp key:
  - conf/vamos/SantosSMP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/SantosSMP23
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]
- view
  authority control:
- export record
  dblp key:
  - conf/vecos/AmraniOS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vecos/AmraniOS23
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
[c97]
- view
  authority control:
- export record
  dblp key:
  - conf/icsa/SantosSP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsa/SantosSP22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/models/AmraniOS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/AmraniOS22
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]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ecsa/SantosFPS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecsa/SantosFPS21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/ecsa/SantosFSP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecsa/SantosFSP21
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
2020
[c93]
- view
  authority control:
- export record
  dblp key:
  - conf/meco/0001S20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/meco/0001S20
Eun-Young Kang, Pierre-Yves Schobbens:
InFoCPS: Integrating Formal Analysis of Cyber-Physical Systems with Energy Prognostics. MECO 2020: 1-5
[c92]
- view
  authority control:
- export record
  dblp key:
  - conf/vamos/SantosPS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/SantosPS20
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
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
[c90]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/OrtizAS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/OrtizAS19
James Jerson Ortiz, Moussa Amrani, Pierre-Yves Schobbens:
ML_ν: A Distributed Real-Time Modal Logic. NFM 2019: 19-35
[c89]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/LannaCARSA19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/LannaCARSA19
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
[c88]
- view
  authority control:
- export record
  dblp key:
  - conf/programming/DucheneMHS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/programming/DucheneMHS18
Adrien Duchêne, Hugues Marchal, Zhenjiang Hu, Pierre-Yves Schobbens:
A lightweight data sharing system based on bidirectional transformations. Programming 2018: 42-45
[c87]
- view
  authority control:
- export record
  dblp key:
  - conf/qrs/VegaPAS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qrs/VegaPAS18
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
[c86]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/AmraniS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/AmraniS17
Moussa Amrani, Pierre-Yves Schobbens:
Formal Analysis of Object-Oriented Mograms. FTfJP@ECOOP 2017: 2:1-2:6
[c85]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/DevroeyPPLSH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/DevroeyPPLSH17
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icwe/GilsonBS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icwe/GilsonBS17
Fabian Gilson, André Bittar, Pierre-Yves Schobbens:
Public Debates on the Web. ICWE 2017: 520-532
[c83]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/OrtizAS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/OrtizAS17
James Jerson Ortiz, Moussa Amrani, Pierre-Yves Schobbens:
Multi-timed Bisimulation for Distributed Timed Automata. NFM 2017: 52-67
[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
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/PerrouinAACLS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/PerrouinAACLS16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/ColsonDMHUS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/ColsonDMHUS16
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/DevroeyPPLSH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/DevroeyPPLSH16
Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans:
Featured model-based mutation analysis. ICSE 2016: 655-666
[c78]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/models/AmraniS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/AmraniS16
Moussa Amrani, Pierre-Yves Schobbens:
Real-time model-driven engineering: an overview. PAME/VOLT@MoDELS 2016: 18-27
[c77]
- view
  - electronic edition @ gi.de (open access)
  - details & citations
- 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
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/vamos/DevroeyPLSH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/DevroeyPLSH16
Xavier Devroey, Gilles Perrouin, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans:
Search-based Similarity-driven Behavioural SPL Testing. VaMoS 2016: 89-96
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
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/DevroeyPSH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/DevroeyPSH15
Xavier Devroey, Gilles Perrouin, Pierre-Yves Schobbens, Patrick Heymans:
Poster: VIBeS, Transition System Mutation Made Easy. ICSE (2) 2015: 817-818
[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
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/vamos/DevroeyPLSH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/DevroeyPLSH15
Xavier Devroey, Gilles Perrouin, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans:
Covering SPL Behaviour with Sampled Configurations: An Initial Assessment. VaMoS 2015: 59
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
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/otm/BodartEOS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/otm/BodartEOS14
Axel Bodart, Keyvin Evrard, James Jerson Ortiz, Pierre-Yves Schobbens:
ArThUR: A Tool for Markov Logic Network. OTM Workshops 2014: 319-328
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/KangS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/KangS14
Eun-Young Kang, Pierre-Yves Schobbens:
Schedulability analysis support for automotive systems: from requirement to implementation. SAC 2014: 1080-1085
[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
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/DevroeyPS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/DevroeyPS14
Xavier Devroey, Gilles Perrouin, Pierre-Yves Schobbens:
Abstract test case generation for behavioural testing of software product lines. SPLC Workshops 2014: 86-93
[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
2013
[c63]
- view
  - electronic edition @ archives-ouvertes.fr (open access)
  - details & citations
- export record
  dblp key:
  - conf/f-ic/NizzaOMS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/f-ic/NizzaOMS13
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icca/KangS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icca/KangS13
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]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/KangPS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/KangPS13
Eun-Young Kang, Gilles Perrouin, Pierre-Yves Schobbens:
Model-Based Verification of Energy-Aware Real-Time Automotive Systems. ICECCS 2013: 135-144
[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
[c58]
- view
  - electronic edition @ inforsid.fr (open access)
  - details & citations
- export record
  dblp key:
  - conf/inforsid/NizzaOMS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/inforsid/NizzaOMS13
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]
- 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
[c56]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/springsim/KangS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/springsim/KangS13
Eun-Young Kang, Pierre-Yves Schobbens:
Enabling formal analysis of energy-aware automotive embedded systems in East-adl. SpringSim (TMS-DEVS) 2013: 9
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
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/qsic/KangPS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qsic/KangPS12
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]
- 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
2011
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/ClassenHSL11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/ClassenHSL11
Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens, Axel Legay:
Symbolic model checking of software product lines. ICSE 2011: 321-330
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/KangSP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/KangSP11
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]
- view
  authority control:
- export record
  dblp key:
  - conf/wia/OrtizLS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wia/OrtizLS11
James Jerson Ortiz, Axel Legay, Pierre-Yves Schobbens:
Distributed Event Clock Automata - Extended Abstract. CIAA 2011: 250-263
2010
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/formats/OrtizLS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/formats/OrtizLS10
James Jerson Ortiz, Axel Legay, Pierre-Yves Schobbens:
Memory Event Clocks. FORMATS 2010: 198-212
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/ClassenHSLR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/ClassenHSLR10
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]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/MontrieuxJHYST10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/MontrieuxJHYST10
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]
- view
  authority control:
- export record
  dblp key:
  - conf/refsq/HubauxHSD10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refsq/HubauxHSD10
Arnaud Hubaux, Patrick Heymans, Pierre-Yves Schobbens, Dirk Deridder:
Towards Multi-view Feature-Based Configuration. REFSQ 2010: 106-112
2008
[c42]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fase/ClassenHS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fase/ClassenHS08
Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens:
What's in a Feature: A Requirements Engineering Perspective. FASE 2008: 16-30
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/models/DeridderGPS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/models/DeridderGPS08
Dirk Deridder, Jeff Gray, Alfonso Pierantonio, Pierre-Yves Schobbens:
Model Co-evolution and Consistency Management (MCCM'08). MoDELS (Workshops) 2008: 120-123
2007
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/er/JuretaFS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/er/JuretaFS07
Ivan Jureta, Stéphane Faulkner, Pierre-Yves Schobbens:
Achieving, Satisficing, and Excelling. ER Workshops 2007: 286-295
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/re/MetzgerHPSS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/MetzgerHPSS07
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
2006
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/aose/JuretaFS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aose/JuretaFS06
Ivan Jureta, Stéphane Faulkner, Pierre-Yves Schobbens:
Allocating Goals to Agent Roles During MAS Requirements Engineering. AOSE 2006: 19-34
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/er/JuretaFS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/er/JuretaFS06
Ivan Jureta, Stéphane Faulkner, Pierre-Yves Schobbens:
A More Expressive Softgoal Conceptualization for Quality Requirements Analysis. ER 2006: 281-295
[c36]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/evol/SchobbensHTB06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/evol/SchobbensHTB06
Pierre-Yves Schobbens, Patrick Heymans, Jean-Christophe Trigaux, Yves Bontemps:
Comparative Semantics of Feature Diagrams. EVOL 2006: 181-186
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/re/JuretaFS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/JuretaFS06
Ivan Jureta, Stéphane Faulkner, Pierre-Yves Schobbens:
Justifying Goal Models. RE 2006: 116-125
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/re/SchobbensHT06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/SchobbensHT06
Pierre-Yves Schobbens, Patrick Heymans, Jean-Christophe Trigaux:
Feature Diagrams: A Survey and a Formal Semantics. RE 2006: 136-145
2005
[c33]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/fiw/BontempsHST05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fiw/BontempsHST05
Yves Bontemps, Patrick Heymans, Pierre-Yves Schobbens, Jean-Christophe Trigaux:
Generic Semantics of Feature Diagrams Variants. FIW 2005: 58-77
[c32]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/BontempsS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/BontempsS05
Yves Bontemps, Pierre-Yves Schobbens:
The Complexity of Live Sequence Charts. FoSSaCS 2005: 364-378
[c31]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/HardingRS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/HardingRS05
Aidan Harding, Mark Ryan, Pierre-Yves Schobbens:
A New Algorithm for Strategy Synthesis in LTL Games. TACAS 2005: 477-492
[c30]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GuelevRS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GuelevRS06
Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens:
Synthesising Features by Games. AVoCS 2005: 79-93
2004
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/AiguierBS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/AiguierBS04
Marc Aiguier, Stefan Béroff, Pierre-Yves Schobbens:
An Algebraic Approach for Codesign. ICTAC 2004: 415-430
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/isw/GuelevRS04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isw/GuelevRS04
Dimitar P. Guelev, Mark Ryan, Pierre-Yves Schobbens:
Model-Checking Access Control Policies. ISC 2004: 219-230
[c27]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GuelevRS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GuelevRS05
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]
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/BontempsS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/BontempsS03
Yves Bontemps, Pierre-Yves Schobbens:
Synthesis of Open Reactive Systems from Scenario-Based Specifications. ACSD 2003: 41-50
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/BontempsHS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/BontempsHS03
Yves Bontemps, Patrick Heymans, Pierre-Yves Schobbens:
Lightweight Formal Methods for Scenario-Based Software Engineering. Scenarios: Models, Transformations and Tools 2003: 174-192
[c24]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/fiw/GuelevRS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fiw/GuelevRS03
Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens:
Feature Integration as Substitution. FIW 2003: 275-294
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/time/HardingRS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/time/HardingRS03
Aidan Harding, Mark Ryan, Pierre-Yves Schobbens:
Towards Symbolic Strategy Synthesis for \left\langle {\left\langle A \right\rangle } \right\rangle-LTL. TIME 2003: 137-146
[c22]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Schobbens04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Schobbens04
Pierre-Yves Schobbens:
Alternating-time logic with imperfect recall. LCMAS 2003: 82-93
2002
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/HardingRS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/HardingRS02
Aidan Harding, Mark Ryan, Pierre-Yves Schobbens:
Approximating ATL^* in ATL. VMCAI 2002: 289-301
2001
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/RyanS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/RyanS01
Mark Ryan, Pierre-Yves Schobbens:
Agents and Roles: Refinement in Alternating-Time Temporal Logic. ATAL 2001: 100-114
[c19]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/jfsma/Schobbens01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jfsma/Schobbens01
Pierre-Yves Schobbens:
Vérification automatique de logiques orientées agent. JFIADSMA 2001: 13-16
2000
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/fireworks/CassezRS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fireworks/CassezRS00
Franck Cassez, Mark Dermot Ryan, Pierre-Yves Schobbens:
Proving feature non-interaction with Alternating-Time Temporal Logic. FIREworks 2000: 85-103
1999
[c17]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FerierRS99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FerierRS99
Laurent Ferier, Jean-François Raskin, Pierre-Yves Schobbens:
Model-Generation of a Fictitious Clock Real-Time Logic Using Sharing Trees. SMC@FLoC 1999: 108-126
1998
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/RaskinSH98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/RaskinSH98
Jean-François Raskin, Pierre-Yves Schobbens, Thomas A. Henzinger:
Axioms for Real-Time Logics. CONCUR 1998: 219-236
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/HenzingerRS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/HenzingerRS98
Thomas A. Henzinger, Jean-François Raskin, Pierre-Yves Schobbens:
The Regular Real-Time Languages. ICALP 1998: 580-591
1997
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/RaskinS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/RaskinS97
Jean-François Raskin, Pierre-Yves Schobbens:
State Clock Logic: A Decidable Real-Time Logic. HART 1997: 33-47
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/modelage/MeyerS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modelage/MeyerS97
John-Jules Ch. Meyer, Pierre-Yves Schobbens:
Formal Models of Agents: An Introduction. ModelAge Workshop 1997: 1-7
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/RaskinS97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/RaskinS97
Jean-François Raskin, Pierre-Yves Schobbens:
Real-Time Logics: Fictitious Clock as an Abstraction of Dense Time. TACAS 1997: 165-182
1996
[c11]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/ecai/RyanS96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecai/RyanS96
Mark Ryan, Pierre-Yves Schobbens:
Intertranslating Counterfactuals and Updates. ECAI 1996: 100-104
[c10]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/tark/RyanSR96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tark/RyanSR96
Mark Ryan, Pierre-Yves Schobbens, Odinaldo Rodrigues:
Counterfactuals and Updates as Inverse Modalities. TARK 1996: 163-173
1993
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/hoa/Schobbens93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hoa/Schobbens93
Pierre-Yves Schobbens:
Extensions of Initial Models and their Second-Order Proof Systems. HOA 1993: 326-344
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/icail/Schobbens93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icail/Schobbens93
Pierre-Yves Schobbens:
A Logic for Legal Hierarchies. ICAIL 1993: 272-281
1992
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/compass/Schobbens92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/compass/Schobbens92
Pierre-Yves Schobbens:
Second-Order Proof Systems for Algebraic Specification Languages. COMPASS/ADT 1992: 321-336
1991
[c6]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/amast/Schobbens91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amast/Schobbens91
Pierre-Yves Schobbens:
Clean Algebraic Exception with Implicit Propagation. AMAST 1991: 173-186
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/iwssd/Schobbens91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwssd/Schobbens91
Pierre-Yves Schobbens:
On the meaning of "but". IWSSD 1991: 185-192
1990
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/LafontaineLS90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/LafontaineLS90
Christine Lafontaine, Yves Ledru, Pierre-Yves Schobbens:
Two Approaches towards the Formalisation of VDM. VDM Europe 1990: 370-398
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/fmsd/LedruS90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmsd/LedruS90
Yves Ledru, Pierre-Yves Schobbens:
Applying VDM to large developments. Formal Methods in Software Development 1990: 55-58
[c2]
- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/icse/LafontaineLS90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/LafontaineLS90
Christine Lafontaine, Yves Ledru, Pierre-Yves Schobbens:
An Experiment in Formal Software Development: Using the B Theorem Prover on a VDM Case Study. ICSE 1990: 34-42
1988
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/esop/BertDEDDSW88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/BertDEDDSW88
Didier Bert, Pascal Drabik, Rachid Echahed, Olivier Declerfayt, Brigitte Demeuse, Pierre-Yves Schobbens, François Wautier:
LPG: A Generic, Logic and Functional Programming Language. ESOP 1988: 376-377

Parts in Books or Collections

see FAQ

What is the meaning of the colors in the publication lists?

2013
[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

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2021
[e4]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/2021a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/2021a
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]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/2021b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/2021b
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]
2007
[e2]
- view
  authority control:
- export record
  dblp key:
  - conf/wadt/2006
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wadt/2006
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]
1999
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/modelage/1997
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modelage/1997
John-Jules Ch. Meyer, Pierre-Yves Schobbens:
Formal Models of Agents, ESPRIT Project ModelAge Final Workshop, Selected Papers. Lecture Notes in Computer Science 1760, Springer 1999, ISBN 3-540-67027-0 [contents]

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2024
[i4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2402-05102
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2402-05102
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)
2014
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & 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
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & 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)
  - details & 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)

Coauthor Index

see FAQ

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.