If you made any changes in Pure these will be visible here soon.

Research Output

Filter
Article
2018

All roads lead to Rome: Commuting strategies for product-line reliability analysis

Castro, T., Lanna, A., Alves, V., Teixeira, L., Apel, S. & Schobbens, P. Y., 15 Jan 2018, In : Science of Computer Programming. 152, p. 116-160 45 p.

Research output: Contribution to journalArticle

Feature-family-based reliability analysis of software product lines

Lanna, A., Castro, T., Alves, V., Rodrigues, G., Schobbens, P. Y. & Apel, S., 1 Feb 2018, In : Information and Software Technology. 94, p. 59-81 23 p.

Research output: Contribution to journalArticle

Feature interaction in software product line engineering: A systematic mapping study

Soares, L. R., Schobbens, P. Y., do Carmo Machado, I. & de Almeida, E. S., 1 Jun 2018, In : Information and Software Technology. 98, p. 44-58 15 p.

Research output: Contribution to journalArticle

Model-based mutant equivalence detection using automata language equivalence and simulations

Devroey, X., Perrouin, G., Papadakis, M., Legay, A., Schobbens, P-Y. & Heymans, P., 1 Jul 2018, In : Journal of Systems and Software. 141, p. 1-15 15 p.

Research output: Contribution to journalArticle

Open Access
File
37 Downloads (Pure)
2017

Statistical prioritization for software product line testing: an experience report

Devroey, X., Perrouin, G., Cordy, M., Samih, H., Legay, A., Schobbens, P. Y. & Heymans, P., 1 Feb 2017, In : Software and Systems Modeling. 16, 1, p. 153-171 19 p.

Research output: Contribution to journalArticle

Open Access
File
184 Downloads (Pure)
2016

Real-time model-driven engineering: An overview

Amrani, M. & Schobbens, P. Y., 2016, In : CEUR Workshop Proceedings. 1693, p. 18-27 10 p.

Research output: Contribution to journalArticle

2014

Formal semantics, modular specification, and symbolic verification of product-line behaviour

Classen, A., Cordy, M., Heymans, P., Legay, A. & Schobbens, P. Y., 1 Feb 2014, In : Science of Computer Programming. 80, PART B, p. 416-439 24 p.

Research output: Contribution to journalArticle

Open Access
File
279 Downloads (Pure)
2013

A methodology for formal analysis and verification of EAST-ADL models

Kang, E-Y., Enoiu, E. P., Marinescu, R., Seceleanu, C., Schobbens, P. Y. & Pettersson, P., 31 Jul 2013, In : Reliability Engineering and System Safety. 120, p. 127-138 12 p.

Research output: Contribution to journalArticle

Featured transition systems: Foundations for verifying variability-intensive systems and their application to LTL model checking

Classen, A., Cordy, M., Schobbens, P-Y., Heymans, P., Legay, A. & Raskin, J-F., 1 Jan 2013, In : IEEE Transactions on Software Engineering. 39, 8, p. 1069-1089 21 p.

Research output: Contribution to journalArticle

Supporting multiple perspectives in feature-based configuration

Hubaux, A., Heymans, P., Schobbens, P-Y., Abbasi, E. K. & Deridder, D., 1 Jul 2013, In : Software and Systems Modeling. 12, 3, p. 641-663 23 p.

Research output: Contribution to journalArticle

2012

Model checking software product lines with SNIP

Classen, A., Cordy, M., Heymans, P., Schobbens, P-Y. & Legay, A., 1 Jan 2012, In : International Journal on Software Tools for Technology Transfer (STTT). 14, 5, p. 589-612 24 p.

Research output: Contribution to journalArticle

2008

Evaluating formal properties of feature diagram languages

Heymans, P., Schobbens, P-Y., Trigaux, J-C., Bontemps, Y., Matulevicius, R. & Classen, A., 1 Jan 2008, In : IET Software Journal . 2, 3, p. 281-302 22 p.

Research output: Contribution to journalArticle

File
77 Downloads (Pure)
2007

Generic Semantics of Feature Diagrams

Schobbens, P-Y., Heymans, P., Trigaux, J-C. & Bontemps, Y., 2007, In : Computer Networks. 51, 2, p. 456-479 24 p.

Research output: Contribution to journalArticle

Model-checking the preservation of temporal properties upon feature integration

Guelev, D. P., Ryan, M. D. & Schobbens, P. Y., 1 Feb 2007, In : International Journal on Software Tools for Technology Transfer. 9, 1, p. 53-62 10 p.

Research output: Contribution to journalArticle

File
263 Downloads (Pure)

The computational complexity of scenario-based agent verification and design

Bontemps, Y. & Schobbens, P-Y., 2007, In : Journal of Applied Logic. 5, 2, p. 252-276 25 p.

Research output: Contribution to journalArticle

Synthesising Features by Games

Guelev, D., Ryan, M. & Schobbens, P-Y., 2006, In : Electronic Notes in Theoretical Computer Science. 154, p. 79-93 15 p.

Research output: Contribution to journalArticle

2005

A new algorithm for strategy synthesis in LTL games

Harding, A., Ryan, M. & Schobbens, P-Y., 2005, In : International Conference on Tools and Algorithms for the Construction and Analysis of System (TACAS). 3440, p. 477-492 16 p.

Research output: Contribution to journalArticle

From Live Sequence Charts to State Machines and Back: A Guided Tour

Bontemps, Y., Heymans, P. & Schobbens, P-Y., 2005, In : IEEE Transactions on Software Engineering. 31, 12, p. 999-1014 16 p.

Research output: Contribution to journalArticle

2004

Alternating-time logic with imperfect recall

Schobbens, P-Y., 1 Apr 2004, In : Electronic Notes in Theoretical Computer Science. 85, p. 82-93 12 p.

Research output: Contribution to journalArticle

An algebraic approach for codesign

Aiguier, M., Beroff, S. & Schobbens, P-Y., 2004, In : ICTAC'2004 - First International Colloquium on Theoretical Aspects of Computing. 3407

Research output: Contribution to journalArticle

Model-checking access control policies

Guelev, D., Ryan, M. & Schobbens, P-Y., 2004, In : Proc. 7th International Conference on Information Security (ISC 2004). 3225, p. 219-230 12 p.

Research output: Contribution to journalArticle

Synthesis of open reactive systems from scenario-based specifications

Bontemps, Y., Schobbens, P. Y. & Löding, C., 1 Sep 2004, In : Fundamenta Informaticae. 62, 2, p. 139-169 31 p.

Research output: Contribution to journalArticle

2002

A two-level temporal logic for evolving specifications

Schobbens, P. Y., Saake, G., Sernadas, A. & Sernadas, C., 16 Aug 2002, In : Information processing letters. 83, 3, p. 167-172 6 p.

Research output: Contribution to journalArticle

Axioms for real-time logics

Schobbens, P-Y., Raskin, J-F. & Henzinger, T. A., 6 Mar 2002, In : Theoretical Computer Science. 274, 1-2, p. 151-182 32 p.

Research output: Contribution to journalArticle

Operators and Laws for Combining Preference Relations

Andreka, H., Ryan, M. & Schobbens, P-Y., 2002, In : Journal of Logic and Computation. 12

Research output: Contribution to journalArticle

1999

Fully decidable logics, automata and classical theories for defining regular real-time languages

Henzinger, T., Raskin, J-F. & Schobbens, P-Y., 1999, In : MPI - I. Research report. 3, 3, p. 1-102 102 p.

Research output: Contribution to journalArticle

Logic of `initially' and `next': Complete axiomatization and complexity

Schobbens, P-Y. & Raskin, J-F., 12 Mar 1999, In : Information processing letters. 69, 5, p. 221-225 5 p.

Research output: Contribution to journalArticle

Proving a conjecture of Andreka on temporal logic

Raskin, J-F. & Schobbens, P-Y., 1999, In : MPI - I. Research report. 3, 4, p. 1-13 13 p.

Research output: Contribution to journalArticle

The logic of event clocks: decidability, complexity and expressiveness

Schobbens, P-Y. & Raskin, J-F., 1999, In : Journal of automata, languages and combinatorics. 4, 3, p. 247-282 36 p.

Research output: Contribution to journalArticle

1997

Counterfactuals and updates as Inverse Modalities

Ryan, M. & Schobbens, P-Y., 1997, In : Journal of Logic, Language and Information. 6, 2, p. 123-146 24 p.

Research output: Contribution to journalArticle

1995

Belief revision and verisimilitude

Ryan, M. & Schobbens, P-Y., 1995, In : Notre Dame Journal of Formal Logic. 36, 1

Research output: Contribution to journalArticle

1993

Exceptions for algebraic specifications

Schobbens, P-Y., 1993, In : Science of Computer Programming. 20

Research output: Contribution to journalArticle

1991

An experiment in formal software development : Using the B theorem prover on a VDM case study

Lafontaine, C., Ledru, Y. & Schobbens, P-Y., 1991, In : Communications of the ACM. 34, 5

Research output: Contribution to journalArticle

On the Meaning of "but''

Schobbens, P-Y., 1991, In : Science of Computer Programming. 20, 1-2, p. 73-111 39 p.

Research output: Contribution to journalArticle

1990

Applying VDM to large developments

Ledru, Y. & Schobbens, P-Y., 1990, In : ACM Sigsoft Software Engineering Notes (SEN). 15, 4, p. 55-58 4 p.

Research output: Contribution to journalArticle