Andrzej Zbrzezny

Available identifiers

zbMath Open zbrzezny.andrzejWikidataQ62036847 ScholiaQ62036847MaRDI QIDQ310081

List of research outcomes

Publication	Date of Publication	Type
SMT-based reachability analysis for simply-timed systems	2022-10-17	Paper
Simple SMT-based bounded model checking for timed interpreted systems	2022-06-15	Paper
Towards encoding of the transition relation in dialogue games model checking	2019-05-24	Paper
Verifying real-time properties of multi-agent systems via SMT-based bounded model checking	2018-07-06	Paper
SMT-based searching for \(k\)-quasi-optimal runs in weighted timed automata	2017-12-05	Paper
Checking EMTLK properties of timed interpreted systems via bounded model checking	2016-09-07	Paper
Towards verification of dialogue protocols: a mathematical model	2016-06-17	Paper
Checking MTL Properties of Discrete Timed Automata via Bounded Model Checking	2015-06-26	Paper
Verifying RTECTL properties of a train controller systems	2014-04-04	Paper
Using integer time steps for checking branching time properties of time Petri nets	2013-09-17	Paper
A translation of the existential model checking problem from MITL to HLTL	2013-04-18	Paper
A new translation from ECTL* to SAT*	2013-01-14	Paper
Towards Automatic Composition of Web Services: SAT-Based Concretisation of Abstract Scenarios	2013-01-14	Paper
Towards SAT-based BMC for LTLK over interleaved interpreted systems	2012-10-29	Paper
Towards Bounded Model Checking for the Universal Fragment of TCTL	2011-04-08	Paper
Parametric model checking with VerICS	2011-01-08	Paper
SAT-based (parametric) reachability for a class of distributed time Petri nets	2011-01-08	Paper
A SAT-based technique to analyse networks of finite automata	2010-06-22	Paper
A translator of Java programs to TADDs	2009-08-10	Paper
https://portal.mardi4nfdi.de/entity/Q5506391	2009-01-28	Paper
VERICS 2007 -- a model checker for knowledgee and real-time	2009-01-28	Paper
Improving the translation from ECTL to SAT	2009-01-28	Paper
Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences: Theory and Implementation	2007-11-01	Paper
SAT-Based Verification of Security Protocols Via Translation to Networks of Automata	2007-11-01	Paper
SAT-based reachability checking for timed automata with discrete data	2007-10-17	Paper
Bounded model checking for the existential fragment of \(\mathrm{TCTL}_{-G}\) and diagonal timed automata	2007-10-17	Paper
https://portal.mardi4nfdi.de/entity/Q5472953	2006-06-19	Paper
Formal Modeling and Analysis of Timed Systems	2006-01-10	Paper
https://portal.mardi4nfdi.de/entity/Q4818755	2004-10-01	Paper
https://portal.mardi4nfdi.de/entity/Q4461759	2004-05-18	Paper
https://portal.mardi4nfdi.de/entity/Q4417931	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q3146278	2002-10-21	Paper
https://portal.mardi4nfdi.de/entity/Q3979210	1992-06-26	Paper
The hilbert type axiomatization of some three‐valued propositional logic	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3830973	1988-01-01	Paper

Research outcomes over time

This page was built for person: Andrzej Zbrzezny