Bozena Wozna

Proceedings of the 16th International Conference on Agents and Artificial Intelligence, 2024

2023

Is dynamic dedicated path protection tractable?

[BibT_eX]

[DOI]

Ireneusz Olszewski

CoRR, 2023

Generic Dijkstra: correctness and tractability.

[BibT_eX]

[DOI]

Proceedings of the NOMS 2023, 2023

2022

An External Circular Crack in an Infinite Solid under Axisymmetric Heat Flux Loading in the Framework of Fractional Thermoelasticity.

[BibT_eX]

[DOI]

Yuriy Povstenko

Tamara Kyrylych

Renata Kawa

Andrzej Yatsko

Entropy, 2022

SMT-based BMC for Dense Timed Interpreted Systems and EMTLK Properties.

[BibT_eX]

[DOI]

Proceedings of the 14th International Conference on Agents and Artificial Intelligence, 2022

2021

Towards an Efficient and Exact Algorithm for Dynamic Dedicated Path Protection.

[BibT_eX]

[DOI]

Ireneusz Olszewski

Entropy, 2021

2019

Generic Dijkstra for optical networks.

[BibT_eX]

[DOI]

Andrzej Jajszczyk

JOCN, 2019

The efficient and optimal algorithm for the dynamic dedicated path protection.

[BibT_eX]

[DOI]

Ireneusz Olszewski

CoRR, 2019

2018

Extrapolation of an Optimal Policy using Statistical Probabilistic Model Checking.

[BibT_eX]

[DOI]

Artur Rataj

Fundam. Informaticae, 2018

Real-Time Conditional Commitment Logic and Duration Communication Interpreted Systems.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing and Artificial Intelligence, 2018

2017

SMT-based Searching for k-quasi-optimal Runs in Weighted Timed Automata.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2017

Performance of interoperator fixed-mobile network sharing.

[BibT_eX]

[DOI]

Andrzej R. Pach

Proceedings of the 2017 International Conference on Optical Network Design and Modeling, 2017

Modeling and checking robustness of communicating autonomous vehicles.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing and Artificial Intelligence, 2017

2016

Checking EMTLK Properties of Timed Interpreted Systems Via Bounded Model Checking.

[BibT_eX]

[DOI]

Stud Logica, 2016

SAT-based Bounded Model Checking for Weighted Deontic Interpreted Systems.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2016

Itinerant routing in elastic optical networks.

[BibT_eX]

[DOI]

CoRR, 2016

Adapted and constrained Dijkstra for elastic optical networks.

[BibT_eX]

[DOI]

Proceedings of the 2016 International Conference on Optical Network Design and Modeling, 2016

A GPGPU-based Simulator for Prism: Statistical Verification of Results of PMC (extended abstract).

[BibT_eX]

[DOI]

Marcin Copik

Artur Rataj

Proceedings of the 25th International Workshop on Concurrency, 2016

2015

Interoperator fixed-mobile network sharing.

[BibT_eX]

[DOI]

Piotr Cholda

Andrzej R. Pach

Proceedings of the 2015 International Conference on Optical Network Design and Modeling, 2015

SMT-Based Bounded Model Checking for Weighted Epistemic ECTL.

[BibT_eX]

[DOI]

Proceedings of the Progress in Artificial Intelligence, 2015

SMT-based Bounded Model Checking for Weighted Interpreted Systems and for Weighted Epistemic ECTL.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015

2014

Checking MTL Properties of Discrete Timed Automata via Bounded Model Checking.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2014

BDD-versus SAT-based bounded model checking for the existential fragment of linear temporal logic with knowledge: algorithms and their performance.

[BibT_eX]

[DOI]

Maciej Szreter

Auton. Agents Multi Agent Syst., 2014

Bounded Model Checking for Weighted Interpreted Systems and for Flat Weighted Epistemic Computation Tree Logic.

[BibT_eX]

[DOI]

Proceedings of the PRIMA 2014: Principles and Practice of Multi-Agent Systems, 2014

SAT-Based Bounded Model Checking for Weighted Deontic Interpreted Systems (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the 23th International Workshop on Concurrency, Specification and Programming, Chemnitz, Germany, September 29, 2014

Checking EMTLK properties of timed interpreted systems via bounded model checking.

[BibT_eX]

[DOI]

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

2013

A Translation of the Existential Model Checking Problem from MITL to HLTL.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2013

SAT-Based Bounded Model Checking for Weighted Interpreted Systems and Weighted Linear Temporal Logic.

[BibT_eX]

[DOI]

Proceedings of the PRIMA 2013: Principles and Practice of Multi-Agent Systems, 2013

SAT-Based Bounded Model Checking for RTECTL and Simply-Timed Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Performance Engineering - 10th European Workshop, 2013

Two Approaches to Bounded Model Checking for a Soft Real-Time Epistemic Computation Tree Logic.

[BibT_eX]

[DOI]

Proceedings of the Distributed Computing and Artificial Intelligence, 2013

2012

Towards SAT-based BMC for LTLK over Interleaved Interpreted Systems.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2012

SAT-Based Bounded Model Checking for Deontic Interleaved Interpreted Systems.

[BibT_eX]

[DOI]

Proceedings of the Agent and Multi-Agent Systems. Technologies and Applications, 2012

Two Approaches to Bounded Model Checking for Linear Time Logic with Knowledge.

[BibT_eX]

[DOI]

Maciej Szreter

Proceedings of the Agent and Multi-Agent Systems. Technologies and Applications, 2012

SAT-Based BMC for Deontic Metric Temporal Logic and Deontic Interleaved Interpreted Systems.

[BibT_eX]

[DOI]

Proceedings of the Declarative Agent Languages and Technologies X, 2012

Bounded model checking for knowledge and linear time.

[BibT_eX]

[DOI]

Maciej Szreter

Proceedings of the International Conference on Autonomous Agents and Multiagent Systems, 2012

2011

The BMC Method for the Existential Part of RTCTLK and Interleaved Interpreted Systems.

[BibT_eX]

[DOI]

Proceedings of the Progress in Artificial Intelligence, 2011

Bounded Model Checking Approaches for Verification of Distributed Time Petri Nets.

[BibT_eX]

[DOI]

Agata Pólrola

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2011

2009

A Translator of Java Programs to TADDs.

[BibT_eX]

[DOI]

Artur Rataj

Fundam. Informaticae, 2009

Bounded Model Checking for the Existential Part of Real-Time CTL and Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Advances in Software Engineering Techniques, 2009

2008

Towards Verification of Java Programs in perICS.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2008

VerICS 2007 - a Model Checker for Knowledge and Real-Time.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2008

2007

Bounded Model Checking for the Existential Fragment of TCTL<sub>-G</sub> and Diagonal Timed Automata.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2007

Verification of the TESLA protocol in MCMAS-X.

[BibT_eX]

[DOI]

Franco Raimondi

Fundam. Informaticae, 2007

Bounded model checking for knowledge and real time.

[BibT_eX]

[DOI]

Artif. Intell., 2007

A temporal epistemic logic with a reset operation.

[BibT_eX]

[DOI]

Proceedings of the 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), 2007

2006

Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences: Theory and Implementation.

[BibT_eX]

[DOI]

Proceedings of the Model Checking and Artificial Intelligence, 4th Workshop, 2006

A Complete and Decidable Axiomatisation for Deontic Interpreted Systems.

[BibT_eX]

[DOI]

Proceedings of the Deontic Logic and Artificial Normative Systems, 2006

A complete and decidable security-specialised logic and its application to the TESLA protocol.

[BibT_eX]

[DOI]

Proceedings of the 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), 2006

2005

A Combination of Explicit and Deductive Knowledge with Branching Time: Completeness and Decidability Results.

[BibT_eX]

[DOI]

Proceedings of the Declarative Agent Languages and Technologies III, 2005

2004

ACTLS properties and Bounded Model Checking.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2004

Bounded Model Checking for Deontic Interpreted Systems.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Logic and Communication in Multi-Agent Systems, 2004

A Logic for Knowledge, Correctness, and Real Time.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 5th International Workshop, 2004

2003

Checking Reachability Properties for Timed Automata via SAT.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2003

Verics: A Tool for Verifying Timed Automata and Estelle Specifications.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

Checking ACTL<sup>*</sup> Properties of Discrete Timed Automata via Bounded Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003

2002

Bounded Model Checking for the Universal Fragment of CTL.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2002

Towards Bounded Model Checking for the Universal Fragment of TCTL.

[BibT_eX]

[DOI]