default search action
Pierre-Yves Schobbens
Person information
- affiliation: University of Namur, Belgium
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j31]Abdelkader Ouared, Moussa Amrani, Abdelhafid Chadli, Pierre-Yves Schobbens
:
Deep variability modeling to enhance reproducibility of database performance testing. Clust. Comput. 27(8): 11683-11708 (2024) - [c105]Abdelkader Ouared, Moussa Amrani, Pierre-Yves Schobbens:
A Context-Aware Chatbot for Student Assistance Services in Higher Education. CSEDU (1) 2024: 264-271 - [c104]David Cortés
Time for Networks: Mutation Testing for Timed Automata Networks. FormaliSE@ICSE 2024: 44-54 - [i4]Alix Decrop, Gilles Perrouin, Mike Papadakis, Xavier Devroey, Pierre-Yves Schobbens:
You Can REST Now: Automated Specification Inference and Black-Box Testing of RESTful APIs with Large Language Models. CoRR abs/2402.05102 (2024) - 2023
- [j30]Abdelkader Ouared
Explainable AI for DBA: Bridging the DBA's experience and machine learning in tuning database systems. Concurr. Comput. Pract. Exp. 35(21) (2023) - [j29]Junier Caminha Amorim
Providing command and control agility: A software product line approach. Expert Syst. Appl. 216: 119473 (2023) - [c103]Abdelkader Ouared, Moussa Amrani, Pierre-Yves Schobbens
Learning Analytics Solution for Monitoring and Analyzing the Students' Behavior in SQL Lab Work. CSEDU (2) 2023: 184-195 - [c102]Jaime Cuartas, Jesús Aranda
MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL. ICSTW 2023: 52-61 - [c101]Abdelkader Ouared, Moussa Amrani, Pierre-Yves Schobbens
Go Meta of Learned Cost Models: On the Power of Abstraction. MODELSWARD 2023: 43-54 - [c100]Maxime Cordy
Towards Strengthening Formal Specifications with Mutation Model Checking. ESEC/SIGSOFT FSE 2023: 2102-2106 - [c99]Edilton Lima dos Santos
Architectural Bad Smells for Self-Adaptive Systems: Go Runtime! VaMoS 2023: 85-87 - [c98]Moussa Amrani
Command & Control in UAVs Fleets: Coordinating Drones for Ground Missions in Changing Contexts. VECoS 2023: 163-177 - 2022
- [j28]Abdelkader Ouared, Moussa Amrani, Pierre-Yves Schobbens
COMORP: Rapid prototyping for mathematical database cost models development. J. Comput. Lang. 73: 101173 (2022) - [c97]Edilton Lima dos Santos
Featured Scents: Towards Assessing Architectural Smells for Self-Adaptive Systems at Runtime. ICSA Companion 2022: 104-107 - [c96]Moussa Amrani, Abdelkader Ouared, Pierre-Yves Schobbens:
Towards the systematic design of model animation: key ingredients and general guidelines. MoDELS (Companion) 2022: 755-765 - 2021
- [c95]Edilton Lima dos Santos, Sophie Fortz, Gilles Perrouin, Pierre-Yves Schobbens:
A Vision to identify Architectural Smells in Self-Adaptive Systems using Behavioral Maps (short paper). ECSA (Companion) 2021 - [c94]Edilton Lima dos Santos
Behavioral Maps: Identifying Architectural Smells in Self-adaptive Systems at Runtime. ECSA (Tracks and Workshops) 2021: 159-180 - [e4]Mohammad Reza Mousavi, Pierre-Yves Schobbens:
SPLC '21: 25th ACM International Systems and Software Product Line Conference, Leicester, United Kingdom, September 6-11, 2021, Volume A. ACM 2021, ISBN 978-1-4503-8469-8 [contents] - [e3]Mohammad Reza Mousavi, Pierre-Yves Schobbens:
SPLC '21: 25th ACM International Systems and Software Product Line Conference, Leicester, United Kindom, September 6-11, 2021, Volume B. ACM 2021, ISBN 978-1-4503-8470-4 [contents] - 2020
- [c93]Eun-Young Kang
InFoCPS: Integrating Formal Analysis of Cyber-Physical Systems with Energy Prognostics. MECO 2020: 1-5 - [c92]Edilton Lima dos Santos
STARS: software technology for adaptable and reusable systems PhD research project. VaMoS 2020: 15:1-15:2
2010 – 2019
- 2019
- [c91]Maxime Cordy
A Decade of Featured Transition Systems. From Software Engineering to Formal Methods and Tools, and Back 2019: 285-312 - [c90]James Jerson Ortiz
MLν: A Distributed Real-Time Modal Logic. NFM 2019: 19-35 - [c89]André Lanna, Thiago M. Castro
Feature-family-based reliability analysis of software product lines. SPLC (A) 2019: 11:1 - 2018
- [j27]André Lanna, Thiago M. Castro
Feature-family-based reliability analysis of software product lines. Inf. Softw. Technol. 94: 59-81 (2018) - [j26]Larissa Rocha Soares, Pierre-Yves Schobbens
Feature interaction in software product line engineering: A systematic mapping study. Inf. Softw. Technol. 98: 44-58 (2018) - [j25]Xavier Devroey
Model-based mutant equivalence detection using automata language equivalence and simulations. J. Syst. Softw. 141: 1-15 (2018) - [j24]Thiago M. Castro
All roads lead to Rome: Commuting strategies for product-line reliability analysis. Sci. Comput. Program. 152: 116-160 (2018) - [c88]Adrien Duchêne, Hugues Marchal, Zhenjiang Hu, Pierre-Yves Schobbens
A lightweight data sharing system based on bidirectional transformations. Programming 2018: 42-45 - [c87]James Jerson Ortiz Vega
Model-Based Mutation Operators for Timed Systems: A Taxonomy and Research Agenda. QRS 2018: 325-332 - 2017
- [j23]Xavier Devroey
Statistical prioritization for software product line testing: an experience report. Softw. Syst. Model. 16(1): 153-171 (2017) - [c86]Moussa Amrani, Pierre-Yves Schobbens
Formal Analysis of Object-Oriented Mograms. FTfJP@ECOOP 2017: 2:1-2:6 - [c85]Xavier Devroey
Automata Language Equivalence vs. Simulations for Model-Based Mutant Equivalence: An Empirical Evaluation. ICST 2017: 424-429 - [c84]Fabian Gilson
Public Debates on the Web. ICWE 2017: 520-532 - [c83]James Jerson Ortiz
Multi-timed Bisimulation for Distributed Timed Automata. NFM 2017: 52-67 - [c82]Axel Legay, Gilles Perrouin
On Featured Transition Systems. SOFSEM 2017: 453-463 - 2016
- [c81]Gilles Perrouin
Featured model types: towards systematic reuse in modelling language engineering. MiSE@ICSE 2016: 1-7 - [c80]Kevin Colson, Robin Dupuis, Lionel Montrieux, Zhenjiang Hu, Sebastián Uchitel, Pierre-Yves Schobbens
Reusable self-adaptation through bidirectional programming. SEAMS@ICSE 2016: 4-15 - [c79]Xavier Devroey
Featured model-based mutation analysis. ICSE 2016: 655-666 - [c78]Moussa Amrani, Pierre-Yves Schobbens:
Real-time model-driven engineering: an overview. PAME/VOLT@MoDELS 2016: 18-27 - [c77]Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens, Bruno Dawagne, Martin Leucker:
Counterexample guided abstraction refinement of product-line behavioural models. Software Engineering 2016: 79-80 - [c76]Xavier Devroey
Search-based Similarity-driven Behavioural SPL Testing. VaMoS 2016: 89-96 - 2015
- [c75]Genaína Nunes Rodrigues
Modeling and Verification for Probabilistic Properties in Software Product Lines. HASE 2015: 173-180 - [c74]Xavier Devroey
Poster: VIBeS, Transition System Mutation Made Easy. ICSE (2) 2015: 817-818 - [c73]Xavier Devroey
State machine flattening, a mapping study and tools assessment. ICST Workshops 2015: 1-8 - [c72]Xavier Devroey
Covering SPL Behaviour with Sampled Configurations: An Initial Assessment. VaMoS 2015: 59 - 2014
- [j22]Andreas Classen, Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens
Formal semantics, modular specification, and symbolic verification of product-line behaviour. Sci. Comput. Program. 80: 416-439 (2014) - [c71]Xavier Devroey, Gilles Perrouin, Axel Legay, Maxime Cordy, Pierre-Yves Schobbens
Coverage Criteria for Behavioural Testing of Software Product Lines. ISoLA (1) 2014: 336-350 - [c70]Axel Bodart, Keyvin Evrard, James Jerson Ortiz
ArThUR: A Tool for Markov Logic Network. OTM Workshops 2014: 319-328 - [c69]Eun-Young Kang
Schedulability analysis support for automotive systems: from requirement to implementation. SAC 2014: 1080-1085 - [c68]Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens
Counterexample guided abstraction refinement of product-line behavioural models. SIGSOFT FSE 2014: 190-201 - [c67]Xavier Devroey
A variability perspective of mutation analysis. SIGSOFT FSE 2014: 841-844 - [c66]Xavier Devroey
Abstract test case generation for behavioural testing of software product lines. SPLC Workshops 2014: 86-93 - [c65]Maxime Cordy, Marco Willemart, Bruno Dawagne, Patrick Heymans, Pierre-Yves Schobbens
An extensible platform for product-line behavioural analysis. SPLC Workshops 2014: 102-109 - [c64]Xavier Devroey
Towards statistical prioritization for software product lines testing. VaMoS 2014: 10:1-10:7 - [i3]Xavier Devroey, Gilles Perrouin, Maxime Cordy, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans:
State Machine Flattening: Mapping Study and Assessment. CoRR abs/1403.5398 (2014) - 2013
- [j21]Eun-Young Kang
A methodology for formal analysis and verification of EAST-ADL models. Reliab. Eng. Syst. Saf. 120: 127-138 (2013) - [j20]Arnaud Hubaux, Patrick Heymans, Pierre-Yves Schobbens
Supporting multiple perspectives in feature-based configuration. Softw. Syst. Model. 12(3): 641-663 (2013) - [j19]Andreas Classen, Maxime Cordy, Pierre-Yves Schobbens
Featured Transition Systems: Foundations for Verifying Variability-Intensive Systems and Their Application to LTL Model Checking. IEEE Trans. Software Eng. 39(8): 1069-1089 (2013) - [c63]Damien De Nizza, James Jerson Ortiz, Hubert Meurisse, Pierre-Yves Schobbens:
Formalisation et Construction d'une Ontologie dans le Domaine des Infections Orthopédiques. IC 2013: 319-329 - [c62]Eun-Young Kang
Extending EAST-ADL towards formal modeling and analysis of energy-aware real-time systems. ICCA 2013: 1890-1895 - [c61]Eun-Young Kang
Model-Based Verification of Energy-Aware Real-Time Automotive Systems. ICECCS 2013: 135-144 - [c60]Maxime Cordy, Axel Legay, Pierre-Yves Schobbens
A framework for the rigorous design of highly adaptive timed systems. FormaliSE@ICSE 2013: 64-70 - [c59]Maxime Cordy, Pierre-Yves Schobbens
Beyond boolean product-line model checking: dealing with feature attributes and multi-features. ICSE 2013: 472-481 - [c58]Damien De Nizza, James Jerson Ortiz, Hubert Meurisse, Pierre-Yves Schobbens:
ORTHOGEN : Système d'information intégré pour la traçabilité et la Gestion Multi-Paramètres des Infections Orthopédiques. INFORSID 2013: 421-436 - [c57]Maxime Cordy, Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens
ProVeLines: a product line of verifiers for software product lines. SPLC Workshops 2013: 141-146 - [c56]Eun-Young Kang, Pierre-Yves Schobbens:
Enabling formal analysis of energy-aware automotive embedded systems in East-adl. SpringSim (TMS-DEVS) 2013: 9 - [p1]Maxime Cordy, Andreas Classen, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens
Model Checking Adaptive Software with Featured Transition Systems. Assurances for Self-Adaptive Systems 2013: 1-29 - [i2]Xavier Devroey, Maxime Cordy, Gilles Perrouin
Towards Statistical Prioritization for Software Product Lines Testing. CoRR abs/1310.2474 (2013) - [i1]Maxime Cordy, Patrick Heymans, Pierre-Yves Schobbens, Amir Molzam Sharifloo, Carlo Ghezzi, Axel Legay:
Verification for Reliable Product Lines. CoRR abs/1311.1343 (2013) - 2012
- [j18]Andreas Classen, Maxime Cordy, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens
Model checking software product lines with SNIP. Int. J. Softw. Tools Technol. Transf. 14(5): 589-612 (2012) - [c55]Maxime Cordy, Andreas Classen, Gilles Perrouin
Simulation-based abstractions for software product-line model checking. ICSE 2012: 672-682 - [c54]Xavier Devroey
A Vision for Behavioural Model-Driven Validation of Software Product Lines. ISoLA (1) 2012: 208-222 - [c53]Eun-Young Kang
Towards Formal Energy and Time Aware Behaviors in EAST-ADL: An MDE Approach. QSIC 2012: 124-127 - [c52]Maxime Cordy, Pierre-Yves Schobbens
Behavioural modelling and verification of real-time software product lines. SPLC (1) 2012: 66-75 - [c51]Maxime Cordy, Pierre-Yves Schobbens
Towards an incremental automata-based approach for software product-line model checking. SPLC (2) 2012: 74-81 - [c50]Maxime Cordy, Andreas Classen, Pierre-Yves Schobbens
Managing evolution in software product lines: a model-checking perspective. VaMoS 2012: 183-191 - 2011
- [c49]Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens
Symbolic model checking of software product lines. ICSE 2011: 321-330 - [c48]Eun-Young Kang
Verifying Functional Behaviors of Automotive Products in EAST-ADL2 Using UPPAAL-PORT. SAFECOMP 2011: 243-256 - [c47]James Jerson Ortiz
Distributed Event Clock Automata - Extended Abstract. CIAA 2011: 250-263 - 2010
- [c46]James Jerson Ortiz
Memory Event Clocks. FORMATS 2010: 198-212 - [c45]Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens
Model checking lots of systems: efficient verification of temporal properties in software product lines. ICSE (1) 2010: 335-344 - [c44]Lionel Montrieux, Jan Jürjens, Charles B. Haley, Yijun Yu, Pierre-Yves Schobbens
Tool support for code generation from a UMLsec property. ASE 2010: 357-358 - [c43]Arnaud Hubaux, Patrick Heymans, Pierre-Yves Schobbens
Towards Multi-view Feature-Based Configuration. REFSQ 2010: 106-112
2000 – 2009
- 2008
- [j17]Patrick Heymans, Pierre-Yves Schobbens
Evaluating formal properties of feature diagram languages. IET Softw. 2(3): 281-302 (2008) - [j16]Ivan Jureta, Stéphane Faulkner, Pierre-Yves Schobbens
Clear justification of modeling decisions for goal-oriented requirements engineering. Requir. Eng. 13(2): 87-115 (2008) - [c42]Andreas Classen, Patrick Heymans, Pierre-Yves Schobbens
What's in a Feature: A Requirements Engineering Perspective. FASE 2008: 16-30 - [c41]Dirk Deridder, Jeff Gray
Model Co-evolution and Consistency Management (MCCM'08). MoDELS (Workshops) 2008: 120-123 - 2007
- [j15]Pierre-Yves Schobbens
Generic semantics of feature diagrams. Comput. Networks 51(2): 456-479 (2007) - [j14]Yves Bontemps, Pierre-Yves Schobbens
The computational complexity of scenario-based agent verification and design. J. Appl. Log. 5(2): 252-276 (2007) - [j13]Dimitar P. Guelev, Mark Dermot Ryan
Model-checking the preservation of temporal properties upon feature integration. Int. J. Softw. Tools Technol. Transf. 9(1): 53-62 (2007) - [j12]Yves Bontemps, Germain Saval, Pierre-Yves Schobbens
Synthèse de diagrammes d'états par classe à partir de diagrammes de séquence. Tech. Sci. Informatiques 26(7): 797-817 (2007) - [c40]Ivan Jureta, Stéphane Faulkner, Pierre-Yves Schobbens
Achieving, Satisficing, and Excelling. ER Workshops 2007: 286-295 - [c39]Andreas Metzger, Patrick Heymans, Klaus Pohl, Pierre-Yves Schobbens
Disambiguating the Documentation of Variability in Software Product Lines: A Separation of Concerns, Formalization and Automated Analysis. RE 2007: 243-253 - [e2]José Luiz Fiadeiro, Pierre-Yves Schobbens
Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006, Revised Selected Papers. Lecture Notes in Computer Science 4409, Springer 2007, ISBN 978-3-540-71997-7 [contents] - 2006
- [c38]Ivan Jureta, Stéphane Faulkner, Pierre-Yves Schobbens
Allocating Goals to Agent Roles During MAS Requirements Engineering. AOSE 2006: 19-34 - [c37]Ivan Jureta, Stéphane Faulkner, Pierre-Yves Schobbens
A More Expressive Softgoal Conceptualization for Quality Requirements Analysis. ER 2006: 281-295 - [c36]Pierre-Yves Schobbens, Patrick Heymans, Jean-Christophe Trigaux, Yves Bontemps:
Comparative Semantics of Feature Diagrams. EVOL 2006: 181-186 - [c35]Ivan Jureta, Stéphane Faulkner, Pierre-Yves Schobbens
Justifying Goal Models. RE 2006: 116-125 - [c34]Pierre-Yves Schobbens
Feature Diagrams: A Survey and a Formal Semantics. RE 2006: 136-145 - 2005
- [j11]Yves Bontemps, Patrick Heymans, Pierre-Yves Schobbens
From Live Sequence Charts to State Machines and Back: A Guided Tour. IEEE Trans. Software Eng. 31(12): 999-1014 (2005) - [c33]Yves Bontemps, Patrick Heymans, Pierre-Yves Schobbens, Jean-Christophe Trigaux:
Generic Semantics of Feature Diagrams Variants. FIW 2005: 58-77 - [c32]Yves Bontemps, Pierre-Yves Schobbens
The Complexity of Live Sequence Charts. FoSSaCS 2005: 364-378 - [c31]Aidan Harding, Mark Ryan
A New Algorithm for Strategy Synthesis in LTL Games. TACAS 2005: 477-492 - [c30]Dimitar P. Guelev, Mark Dermot Ryan
Synthesising Features by Games. AVoCS 2005: 79-93 - 2004
- [j10]Yves Bontemps, Pierre-Yves Schobbens, Christof Löding:
Synthesis of Open Reactive Systems from Scenario-Based Specifications. Fundam. Informaticae 62(2): 139-169 (2004) - [c29]Marc Aiguier, Stefan Béroff, Pierre-Yves Schobbens
An Algebraic Approach for Codesign. ICTAC 2004: 415-430 - [c28]Dimitar P. Guelev, Mark Ryan
Model-Checking Access Control Policies. ISC 2004: 219-230 - [c27]Dimitar P. Guelev, Mark Dermot Ryan
Model-checking the Preservation of Temporal Properties upon Feature Integration. AVoCS 2004: 311-324 - 2003
- [c26]Yves Bontemps, Pierre-Yves Schobbens
Synthesis of Open Reactive Systems from Scenario-Based Specifications. ACSD 2003: 41-50 - [c25]Yves Bontemps, Patrick Heymans, Pierre-Yves Schobbens
Lightweight Formal Methods for Scenario-Based Software Engineering. Scenarios: Models, Transformations and Tools 2003: 174-192 - [c24]Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens:
Feature Integration as Substitution. FIW 2003: 275-294 - [c23]Aidan Harding, Mark Ryan
Towards Symbolic Strategy Synthesis for \left\langle {\left\langle A \right\rangle } \right\rangle-LTL. TIME 2003: 137-146 - [c22]Pierre-Yves Schobbens
Alternating-time logic with imperfect recall. LCMAS 2003: 82-93 - 2002
- [j9]Pierre-Yves Schobbens
A two-level temporal logic for evolving specifications. Inf. Process. Lett. 83(3): 167-172 (2002) - [j8]Hajnal Andréka, Mark Ryan
Operators and Laws for Combining Preference Relations. J. Log. Comput. 12(1): 13-53 (2002) - [j7]Pierre-Yves Schobbens
Axioms for real-time logics. Theor. Comput. Sci. 274(1-2): 151-182 (2002) - [c21]Aidan Harding, Mark Ryan
Approximating ATL* in ATL. VMCAI 2002: 289-301 - 2001
- [c20]Mark Ryan
Agents and Roles: Refinement in Alternating-Time Temporal Logic. ATAL 2001: 100-114 - [c19]Pierre-Yves Schobbens:
Vérification automatique de logiques orientées agent. JFIADSMA 2001: 13-16 - 2000
- [c18]Franck Cassez, Mark Dermot Ryan, Pierre-Yves Schobbens
Proving feature non-interaction with Alternating-Time Temporal Logic. FIREworks 2000: 85-103
1990 – 1999
- 1999
- [j6]Pierre-Yves Schobbens
The Logic of "Initially" and "Next": Complete Axiomatization and Complexity. Inf. Process. Lett. 69(5): 221-225 (1999) - [j5]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]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]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]Jean-François Raskin
Axioms for Real-Time Logics. CONCUR 1998: 219-236 - [c15]Thomas A. Henzinger, Jean-François Raskin, Pierre-Yves Schobbens
The Regular Real-Time Languages. ICALP 1998: 580-591 - 1997
- [j4]Mark Ryan
Counterfactuals and Updates as Inverse Modalities. J. Log. Lang. Inf. 6(2): 123-146 (1997) - [c14]Jean-François Raskin, Pierre-Yves Schobbens
State Clock Logic: A Decidable Real-Time Logic. HART 1997: 33-47 - [c13]John-Jules Ch. Meyer, Pierre-Yves Schobbens
Formal Models of Agents: An Introduction. ModelAge Workshop 1997: 1-7 - [c12]Jean-François Raskin, Pierre-Yves Schobbens
Real-Time Logics: Fictitious Clock as an Abstraction of Dense Time. TACAS 1997: 165-182 - 1996
- [c11]Mark Ryan, Pierre-Yves Schobbens:
Intertranslating Counterfactuals and Updates. ECAI 1996: 100-104 - [c10]Mark Ryan, Pierre-Yves Schobbens, Odinaldo Rodrigues:
Counterfactuals and Updates as Inverse Modalities. TARK 1996: 163-173 - 1995
- [j3]Mark Ryan
Belief Revision and Verisimilitude. Notre Dame J. Formal Log. 36(1): 15-29 (1995) - 1993
- [j2]Pierre-Yves Schobbens
Exceptions for Algebraic Specifications: On the Meaning of "but". Sci. Comput. Program. 20(1-2): 73-111 (1993) - [c9]Pierre-Yves Schobbens
Extensions of Initial Models and their Second-Order Proof Systems. HOA 1993: 326-344 - [c8]Pierre-Yves Schobbens
A Logic for Legal Hierarchies. ICAIL 1993: 272-281 - 1992
- [b1]Pierre-Yves Schobbens:
Exceptions in Algebraic Specifications. University of Namur, Belgium, 1992 - [c7]Pierre-Yves Schobbens
Second-Order Proof Systems for Algebraic Specification Languages. COMPASS/ADT 1992: 321-336 - 1991
- [j1]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) - [c6]Pierre-Yves Schobbens:
Clean Algebraic Exception with Implicit Propagation. AMAST 1991: 173-186 - [c5]Pierre-Yves Schobbens:
On the meaning of "but". IWSSD 1991: 185-192 - 1990
- [c4]Christine Lafontaine, Yves Ledru, Pierre-Yves Schobbens
Two Approaches towards the Formalisation of VDM. VDM Europe 1990: 370-398 - [c3]Yves Ledru, Pierre-Yves Schobbens
Applying VDM to large developments. Formal Methods in Software Development 1990: 55-58 - [c2]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
1980 – 1989
- 1988
- [c1]Didier Bert, Pascal Drabik, Rachid Echahed, Olivier Declerfayt, Brigitte Demeuse, Pierre-Yves Schobbens
LPG: A Generic, Logic and Functional Programming Language. ESOP 1988: 376-377
Coauthor Index
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: