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
https://portal.mardi4nfdi.de/entity/Q5407112	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
https://portal.mardi4nfdi.de/entity/Q3569852	2010-06-22	Paper
https://portal.mardi4nfdi.de/entity/Q5192941	2009-08-10	Paper
https://portal.mardi4nfdi.de/entity/Q5506391	2009-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q5506377	2009-01-28	Paper
https://portal.mardi4nfdi.de/entity/Q5506390	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
https://portal.mardi4nfdi.de/entity/Q5422299	2007-10-17	Paper
https://portal.mardi4nfdi.de/entity/Q5422273	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