Andrzej Wąsowski

Available identifiers

zbMath Open wasowski.andrzejMaRDI QIDQ338616

List of research outcomes

Publication	Date of Publication	Type
Symbolic semantics for probabilistic programs	2024-05-29	Paper
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 \textsf{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: a complete specification theory for real-time systems	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
20 years of modal and mixed specifications.	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
Bayesian network mining systems	2002-10-16	Paper

Research outcomes over time

This page was built for person: Andrzej Wąsowski