♂ Person: Pierre-Yves Schobbens

DBLP: Schobbens:Pierre=Yves

Facilitated 1 volumes:

SponsorCh

Contributed to:

2014

2014

2013

2012

2012

2011

2011

2010

2010

2010

2008

2007

2008

2006

2005

2005

2002

1998

1997

1990

1990

1988

Wrote 24 papers:

FSE-2014-CordyHLSDL #abstraction #behaviour #modelling #product line #refinement

Counterexample guided abstraction refinement of product-line behavioural models (MC, PH, AL, PYS, BD, ML), pp. 190–201.

FSE-2014-DevroeyPCPLS #analysis #mutation testing #variability

A variability perspective of mutation analysis (XD, GP, MC, MP, AL, PYS), pp. 841–844.

SAC-2014-KangS #analysis #implementation #scheduling

Schedulability analysis support for automotive systems: from requirement to implementation (EYK, PYS), pp. 1080–1085.

ICSE-2013-CordySHL #model checking #multi #product line

Beyond boolean product-line model checking: dealing with feature attributes and multi-features (MC, PYS, PH, AL), pp. 472–481.

ICSE-2012-CordyCPSHL #abstraction #model checking #product line

Simulation-based abstractions for software product-line model checking (MC, AC, GP, PYS, PH, AL), pp. 672–682.

SPLC-2012-CordySHL #behaviour #modelling #product line #realtime #verification

Behavioural modelling and verification of real-time software product lines (MC, PYS, PH, AL), pp. 66–75.

CIAA-2011-OrtizLS #automaton #distributed

Distributed Event Clock Automata — Extended Abstract (JJO, AL, PYS), pp. 250–263.

ICSE-2011-ClassenHSL #model checking #product line

Symbolic model checking of software product lines (AC, PH, PYS, AL), pp. 321–330.

ASE-2010-MontrieuxJHYST #code generation #tool support

Tool support for code generation from a UMLsec property (LM, JJ, CBH, YY, PYS, HT), pp. 357–358.

ICSE-2010-ClassenHSLR #model checking #performance #product line #verification

Model checking lots of systems: efficient verification of temporal properties in software product lines (AC, PH, PYS, AL, JFR), pp. 335–344.

REFSQ-2010-HubauxHSD #multi #towards

Towards Multi-view Feature-Based Configuration (AH, PH, PYS, DD), pp. 106–112.

FASE-2008-ClassenHS #perspective #requirements #what

What’s in a Feature: A Requirements Engineering Perspective (AC, PH, PYS), pp. 16–30.

RE-2007-MetzgerHPSS #analysis #automation #documentation #formal method #product line #variability

Disambiguating the Documentation of Variability in Software Product Lines: A Separation of Concerns, Formalization and Automated Analysis (AM, PH, KP, PYS, GS), pp. 243–253.

ATEM-J-2006-HeymansSTBMC #diagrams #feature model

Evaluating formal properties of feature diagram languages (PH, PYS, JCT, YB, RM, AC), pp. 281–302.

RE-2006-JuretaFS #modelling

Justifying Goal Models (IJ, SF, PYS), pp. 116–125.

RE-2006-SchobbensHT #diagrams #feature model #overview #semantics

Feature Diagrams: A Survey and a Formal Semantics (PYS, PH, JCT), pp. 136–145.

FoSSaCS-2005-BontempsS #complexity #sequence chart

The Complexity of Live Sequence Charts (YB, PYS), pp. 364–378.

TACAS-2005-HardingRS #algorithm #game studies #ltl #synthesis

A New Algorithm for Strategy Synthesis in LTL Games (AH, MR, PYS), pp. 477–492.

VMCAI-2002-HardingRS #approximate #atl

Approximating ATL* in ATL (AH, MR, PYS), pp. 289–301.

ICALP-1998-HenzingerRS #realtime

The Regular Real-Time Languages (TAH, JFR, PYS), pp. 580–591.

TACAS-1997-RaskinS #abstraction #logic #realtime

Real-Time Logics: Fictitious Clock as an Abstraction of Dense Time (JFR, PYS), pp. 165–182.

ICSE-1990-LafontaineLS #case study #development #empirical #formal method #proving #theorem proving #using

An Experiment in Formal Software Development: Using the B Theorem Prover on a VDM Case Study (CL, YL, PYS), pp. 34–42.

VDME-1990-LafontaineLS #formal method #towards

Two Approaches towards the Formalisation of VDM (CL, YL, PYS), pp. 370–398.

ESOP-1988-BertDEDDSW #functional #logic #named #programming language

LPG: A Generic, Logic and Functional Programming Language (DB, PD, RE, OD, DD, PYS, FW), pp. 376–377.