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

Research Output 1986 2019

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

Reliability analysis
Acoustic waves

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

Reliability analysis
Model checking
Data structures

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

Surveying
Productivity
Specifications
Costs
27 Downloads (Pure)

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
Finite automata
2017
84 Downloads (Pure)
Open Access
File
Software Product Lines
Prioritization
Testing
Feature Model
Statistical tests
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
149 Downloads (Pure)
Open Access
File
Specification languages
Model checking
Explosions
Semantics
Specifications
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

Formal Analysis
Formal Verification
Methodology
Timing
Requirements
Model checking
Quality assurance
Mathematical models
Chemical analysis

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

Configuration
Life cycle
Visualization
Diagram
Software Product Lines
2012
Model checking
Specification languages
Specifications
2008
Requirements engineering
Engineers
Information systems
73 Downloads (Pure)

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
Visual languages
Semantics
Semiotics
Modeling languages
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

Model checking
Acoustic waves

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

Software engineering
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

Temporal logic
Model checking
Temporal Logic
Imperfect
Model Checking

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

Reactive Systems
Open Systems
Synthesis
Specification
Specifications
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

Temporal logic
Temporal Logic
Specification
Specifications
Linear Temporal Logic

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

Temporal logic
Axiomatization
Temporal Logic
Axioms
Linear Temporal Logic

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

Temporal logic
Axiomatization
Completeness
Logic
Deductive System

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

Syntactics
axiomatization
logic
guarantee
Modality
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