| Publication | Date of Publication | Type |
|---|
SMT-based reachability analysis for simply-timed systems
Scientific Issues Jan Długosz University in Częstochowa. Mathematics | 2022-10-17 | Paper |
Simple SMT-based bounded model checking for timed interpreted systems
Rough Sets | 2022-06-15 | Paper |
Towards encoding of the transition relation in dialogue games model checking
Fundamenta Informaticae | 2019-05-24 | Paper |
Verifying real-time properties of multi-agent systems via SMT-based bounded model checking
PRIMA 2016: Princiles and Practice of Multi-Agent Systems | 2018-07-06 | Paper |
SMT-based searching for \(k\)-quasi-optimal runs in weighted timed automata
Fundamenta Informaticae | 2017-12-05 | Paper |
Checking EMTLK properties of timed interpreted systems via bounded model checking
Studia Logica | 2016-09-07 | Paper |
Towards verification of dialogue protocols: a mathematical model
Artificial Intelligence and Soft Computing | 2016-06-17 | Paper |
Checking MTL Properties of Discrete Timed Automata via Bounded Model Checking
Fundamenta Informaticae | 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
Transactions on Petri Nets and Other Models of Concurrency VIII | 2013-09-17 | Paper |
A translation of the existential model checking problem from MITL to HLTL
Fundamenta Informaticae | 2013-04-18 | Paper |
A new translation from ECTL* to SAT*
Fundamenta Informaticae | 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
Fundamenta Informaticae | 2012-10-29 | Paper |
Towards Bounded Model Checking for the Universal Fragment of TCTL
Lecture Notes in Computer Science | 2011-04-08 | Paper |
Parametric model checking with VerICS
Transactions on Petri Nets and Other Models of Concurrency IV | 2011-01-08 | Paper |
SAT-based (parametric) reachability for a class of distributed time Petri nets
Transactions on Petri Nets and Other Models of Concurrency IV | 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 |
scientific article; zbMATH DE number 5499373 (Why is no real title available?)
| 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
Model Checking and Artificial Intelligence | 2007-11-01 | Paper |
SAT-Based Verification of Security Protocols Via Translation to Networks of Automata
Model Checking and Artificial Intelligence | 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 |
scientific article; zbMATH DE number 5033900 (Why is no real title available?)
| 2006-06-19 | Paper |
Formal Modeling and Analysis of Timed Systems
Lecture Notes in Computer Science | 2006-01-10 | Paper |
scientific article; zbMATH DE number 2104641 (Why is no real title available?)
| 2004-10-01 | Paper |
scientific article; zbMATH DE number 2064232 (Why is no real title available?)
| 2004-05-18 | Paper |
scientific article; zbMATH DE number 1956587 (Why is no real title available?)
| 2003-07-30 | Paper |
scientific article; zbMATH DE number 1799521 (Why is no real title available?)
| 2002-10-21 | Paper |
scientific article; zbMATH DE number 19712 (Why is no real title available?)
| 1992-06-26 | Paper |
The hilbert type axiomatization of some three‐valued propositional logic
Mathematical Logic Quarterly | 1990-01-01 | Paper |
scientific article; zbMATH DE number 4106806 (Why is no real title available?)
| 1988-01-01 | Paper |
