Παρακολούθηση
Pierre Yves Schobbens
Pierre Yves Schobbens
Professor of Computer Science, University of Namur (FUNDP)
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα unamur.be - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Feature diagrams: A survey and a formal semantics
PY Schobbens, P Heymans, JC Trigaux
14th IEEE International Requirements Engineering Conference (RE'06), 139-148, 2006
6282006
Generic semantics of feature diagrams
PY Schobbens, P Heymans, JC Trigaux, Y Bontemps
Computer networks 51 (2), 456-479, 2007
5282007
Model checking lots of systems: efficient verification of temporal properties in software product lines
A Classen, P Heymans, PY Schobbens, A Legay, JF Raskin
Proceedings of the 32nd ACM/IEEE International Conference on Software …, 2010
4312010
Model Checking for Software Product Lines with SNIP
A Classen, A Hubaux, P Heymans, A Legay, PY Schobbens, M Cordy
Int. J. of Tech. Transfer, 2008
359*2008
Disambiguating the documentation of variability in software product lines: A separation of concerns, formalization and automated analysis
A Metzger, K Pohl, P Heymans, PY Schobbens, G Saval
15th IEEE International Requirements Engineering Conference (RE 2007), 243-253, 2007
3302007
Featured transition systems: Foundations for verifying variability-intensive systems and their application to LTL model checking
A Classen, M Cordy, PY Schobbens, P Heymans, A Legay, JF Raskin
IEEE Transactions on Software Engineering 39 (8), 1069-1089, 2012
2932012
Alternating-time logic with imperfect recall
PY Schobbens
Electronic Notes in Theoretical Computer Science 85 (2), 82-93, 2004
2492004
What’s in a Feature: A Requirements Engineering Perspective
A Classen, P Heymans, PY Schobbens
International Conference on Fundamental Approaches to Software Engineering …, 2008
2462008
Operators and laws for combining preference relations
M Ryan, PY Schobbens, H Andréka
Selected Papers of the Intl. Workshop on Information Systems: Correctness …, 1993
177*1993
The regular real-time languages
TA Henzinger, JF Raskin, PY Schobbens
Automata, Languages and Programming: 25th International Colloquium, ICALP'98 …, 1998
1681998
Beyond boolean product-line model checking: dealing with feature attributes and multi-features
M Cordy, PY Schobbens, P Heymans, A Legay
2013 35th International Conference on Software Engineering (ICSE), 472-481, 2013
1352013
Behavioural modelling and verification of real-time software product lines
M Cordy, PY Schobbens, P Heymans, A Legay
Proceedings of the 16th International Software Product Line Conference …, 2012
123*2012
Semantics of FODA feature diagrams
Y Bontemps, P Heymans, PY Schobbens, JC Trigaux
Proceedings SPLC 2004 Workshop on Software Variability Management for …, 2004
1102004
Model-checking access control policies
DP Guelev, M Ryan, PY Schobbens
Information Security: 7th International Conference, ISC 2004, Palo Alto, CA …, 2004
1022004
ProVeLines: a product line of verifiers for software product lines
M Cordy, A Classen, P Heymans, PY Schobbens, A Legay
Proceedings of the 17th International Software Product Line Conference co …, 2013
992013
From live sequence charts to state machines and back: A guided tour
Y Bontemps, P Heymans, PY Schobbens
IEEE Transactions on Software Engineering 31 (12), 999-1014, 2005
982005
Evaluating formal properties of feature diagram languages
P Heymans, PY Schobbens, JC Trigaux, Y Bontemps, R Matulevičius, ...
IET software 2 (3), 281-302, 2008
962008
State clock logic: A decidable real-time logic
JF Raskin, PY Schobbens
International Workshop on Hybrid and Real-Time Systems, 33-47, 1997
951997
Supporting multiple perspectives in feature-based configuration
A Hubaux, P Heymans, PY Schobbens, D Deridder, EK Abbasi
Software & Systems Modeling 12, 641-663, 2013
862013
Synthesis of open reactive systems from scenario-based specifications
Y Bontemps, PY Schobbens, C Löding
Fundamenta Informaticae 62 (2), 139-169, 2004
832004
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20