Andrzej Wąsowski

Available identifiers

zbMath Open wasowski.andrzejMaRDI QIDQ338616

List of research outcomes

Publication	Date of Publication	Type
Variability abstraction and refinement for game-based lifted model checking of full CTL	2023-11-24	Paper
A specification logic for programs in the probabilistic guarded command language	2023-07-28	Paper
Generalized abstraction-refinement for game-based CTL lifted model checking	2020-08-25	Paper
From Transition Systems to Variability Models and from Lifted Model Checking Back to UPPAAL	2020-02-24	Paper
Variability-Specific Abstraction Refinement for Family-Based Model Checking	2020-02-13	Paper
Finding suitable variability abstractions for family-based analysis	2020-01-03	Paper
Finding suitable variability abstractions for lifted analysis	2019-05-10	Paper
Controller synthesis for dynamic hierarchical real-time plants using timed automata	2018-01-31	Paper
Timed I/O automata	2017-05-10	Paper
Information Leakage of Non-Terminating Processes	2017-04-25	Paper
Trustworthy variant derivation with translation validation for safety critical product lines	2016-11-07	Paper
Quantifying information leakage of randomized protocols	2015-08-17	Paper
A Model for Industrial Real-Time Systems	2015-02-04	Paper
Quantifying Information Leakage of Randomized Protocols	2014-11-03	Paper
Maximizing entropy over Markov processes	2014-10-23	Paper
EXPTIME-complete Decision Problems for Modal and Mixed Specifications	2014-07-23	Paper
Abstract probabilistic automata	2013-12-13	Paper
Robust synthesis for real-time systems	2013-12-10	Paper
Maximizing Entropy over Markov Processes	2013-03-18	Paper
Consistency and refinement for interval Markov chains	2012-08-14	Paper
New Results on Timed Specifications	2012-06-08	Paper
Robust Specification of Real Time Components	2011-10-07	Paper
Constraint Markov chains	2011-07-29	Paper
Decision Problems for Interval Markov Chains	2011-06-03	Paper
Abstract Probabilistic Automata	2011-02-15	Paper
Methodologies for Specification of Real-Time Systems Using Timed I/O Automata	2011-01-08	Paper
Modal and mixed specifications: key decision problems and their complexities	2010-04-01	Paper
https://portal.mardi4nfdi.de/entity/Q3396636	2009-09-19	Paper
On Modal Refinement and Consistency	2008-09-18	Paper
Complexity of Decision Problems for Mixed and Modal Specifications	2008-04-11	Paper
Modal I/O Automata for Interface and Product Line Theories	2007-09-04	Paper
Fundamental Approaches to Software Engineering	2005-09-13	Paper
https://portal.mardi4nfdi.de/entity/Q2784630	2002-10-16	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Andrzej Wąsowski