Stop the war!

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

for scientists:

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

2020 – today

see FAQ

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

2023
[c98]
- 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
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)
[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)
  - no references & citations available
- 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
[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]
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

2010 – 2019

see FAQ

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

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
[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)
[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
[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)
[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)
  - no references & citations available
- 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)
  - 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
[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
[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
[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
[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
[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)
[c63]
- view
  - electronic edition @ archives-ouvertes.fr (open access)
  - no references & citations available
- 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)
  - no references & citations available
- 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
  - no references & citations available
- 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
[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
[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

2000 – 2009

see FAQ

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

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)
[c42]
- view
  - electronic edition via DOI (open access)
  - references & 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
[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)
  - references & 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)
[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
[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]
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
  - no references & citations available
- 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
[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)
[c33]
- no documents available
  - no references & citations available
- 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)
  - references & 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)
  - references & 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)
  - references & 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
[j10]
- view
  - electronic edition @ iospress.com
  - no references & citations available
- 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)
[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)
  - references & 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
  - no references & citations available
- 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)
  - references & 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
[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)
  - references & 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)
[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
  - no references & citations available
- 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

1990 – 1999

see FAQ

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

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)
[c17]
- view
  - electronic edition via DOI (open access)
  - references & 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
[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]
1998
[c16]
- view
  authority control: