Pierre Yves Schobbens

Available identifiers

zbMath Open schobbens.pierre-yvesMaRDI QIDQ685614

List of research outcomes

Publication	Date of Publication	Type
Featured Scents: Assessing Architectural Smells for Self-Adaptive Systems at Runtime	2021-11-09	Dataset
The logic of ``initially and ``next: complete axiomatization and complexity	2016-06-16	Paper
Synthesising features by games	2013-12-04	Paper
Model-checking the preservation of temporal properties upon feature integration	2013-09-26	Paper
Alternating-time logic with imperfect recall	2013-08-27	Paper
Distributed event clock automata (extended abstract)	2011-07-29	Paper
Memory event clocks	2010-09-10	Paper
The computational complexity of scenario-based agent verification and design	2007-07-25	Paper
Generic semantics of feature diagrams	2006-12-14	Paper
Information Security	2006-10-16	Paper
Theoretical Aspects of Computing - ICTAC 2004	2005-11-30	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2005-11-10	Paper
Foundations of Software Science and Computational Structures	2005-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q4824478	2004-11-01	Paper
https://portal.mardi4nfdi.de/entity/Q4817052	2004-09-14	Paper
https://portal.mardi4nfdi.de/entity/Q4739288	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4737004	2004-08-11	Paper
A two-level temporal logic for evolving specifications.	2003-01-21	Paper
Axioms for real-time logics	2002-03-03	Paper
Operators and Laws for Combining Preference Relations	2002-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4496260	2000-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4942099	2000-04-02	Paper
https://portal.mardi4nfdi.de/entity/Q4939602	2000-03-20	Paper
https://portal.mardi4nfdi.de/entity/Q4251916	2000-01-12	Paper
Counterfactuals and updates as inverse modalities	1999-09-29	Paper
https://portal.mardi4nfdi.de/entity/Q4255574	1999-08-17	Paper
Belief revision and verisimilitude	1996-01-29	Paper
Exceptions for algebraic specifications: On the meaning of ``but	1993-10-24	Paper

Research outcomes over time

This page was built for person: Pierre Yves Schobbens