Dr hab. Bożena Woźna-Szcześniak, prof. UJD

• UJD |
• DMCS |
• PL |
• EN

Conferences

Year 2018

• June 20-22, 2018, Toledo, Spain. The 15th International Conference on Distributed Computing and Artificial Intelligence (DCAI'2018). Referat: Real-Time Conditional Commitment Logic and Duration Communication Interpreted Systems.

Year 2017

• September 25-27, 2017 Warsaw, Poland. The 26th International Workshop on Concurrency, Specification and Programming (CS&P'2017). Presentation: Real-Time Conditional Commitment Logic and Duration Communication Interpreted Systems.
• June 21-23, 2017, Porto, Portugal. The 14th International Conference on Distributed Computing and Artificial Intelligence (DCAI'2017). Presentation: Modeling and checking robustness of communicating autonomous vehicles.
• June 6-9, 2017, Ružomberok, Slovakia. The XXIV Czech-Polish-Slovak Mathematical Conference. Presentation: Real-Time Commitment Logic interpreted over Duration Communication Interpreted System.

Year 2016

• May 9-12, 2016, Cartagena, Spain. The 20th International Conference on Optical Network Design and Modeling (ONDM'2016). Presentation: Adapted and Constrained Dijkstra for Elastic Optical Networks.
• September 28-30, 2016, Rostock, Germany. The 25th International Workshop on Concurrency, Specification and Programming (CS&P'2016). Presentations:
  1. Extrapolation of an Optimal Policy using Statistical Probabilistic Model Checking
  2. A GPGPU--based Simulator for Prism: Statistical Verification of Results of PMC

Year 2015

• September 28-30, 2015, Rzeszów, Poland. The 24th International Workshop on Concurrency, Specification and Programming (CS&P'2015). Presentation: SMT-based searching for k-quasi-optimal runs in weighted timed automata (Extended Abstract).
• May 4-8, 2015, Istanbul, Turkey. The 14th International Conference on Autonomous Agents and Multi-Agent systems (AAMAS'2015). Poster: "SMT-based Bounded Model Checking for Weighted Interpreted Systems and for Weighted Epistemic ECTL".

Year 2014

• December 1-5, 2014, Gold Coast, Queensland, Australia. The 17th International Conference on Principles and Practice of Multi-Agent Systems. Presentation: Bounded Model Checking for Weighted Interpreted Systems and for Flat Weighted Epistemic Computation Tree Logic.
• September 29 - October 01, 2014, Chemnitz, Germany. The 23th International Workshop on Concurrency, Specification and Programming (CS&P'2014). Presentation: SAT-based Bounded Model Checking for Weighted Deontic Interpreted Systems (Extended Abstract).
• July 1-4, 2014, Białystok, Poland. The 6th Podlasie Conference on Mathematics (PCM 2014). Presentation: On the SAT-based Verification of Communicative Commitments.
• May 5-9, 2014, Paris, France. The 7th Workshop on Logical Aspects of Multi-Agent Systems (LAMAS'2014). Presentation: Checking EMTLK properties of Timed Interpreted Systems via Bounded Model Checking.
• May 5-9, 2014, Paris, France. The 13th International Conference on Autonomous Agents and Multi-Agent systems (AAMAS'2014). Poster: "Checking EMTLK properties of Timed Interpreted Systems via Bounded Model Checking".

Year 2013

• December 1-6, 2013 Dunedin, New Zealand. The 16th International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2013). Presentation: "SAT-based Bounded Model Checking for Weighted Interpreted Systems and Weighted Linear Temporal Logic".
• September 25-27, 2013, Warsaw, Poland. The Concurrency Specification and Programming workshop (CS&P'2013). Presentation: "Checking MTL Properties of Discrete Timed Automata via Bounded Model Checking (Extended Abstract)".
• September 18-20, 2013, Szczecin, Poland. National Conference: XX Real Time Systems. (SCR'2013). Presentation: "SAT-based Bounded Model Checking for Metric Temporal Logic and Simply-timed systems".
• September 16-17, 2013, Venice, Italy. The 10th European Workshop on Performance Engineering (EPEW 2013). Presentation: "SAT-based Bounded Model Checking for RTECTL and Simply-timed systems".
• September 9-12, 2013, Angra do Heroísmo, Azores, Portugal. The 16th Portuguese Conference on Artificial Intelligence (EPIA'2013). Presentation: "SAT-based Bounded Model Checking for Weighted Deontic Interpreted Systems".

Year 2012

• June 25-27, 2012. Dubrovnik, Croatia. The 6th International KES Conference on Agents and Multi-agent Systems, Technologies and Applications (KES AMSTA 2012). Presentation: "SAT-­‐based Bounded Model Checking for Deontic Interleaved Interpreted Systems".
• June 4-8, 2012. Valencia, Spain. The 11th International Conference on Autonomous Agents and Multi-Agent systems (AAMAS 2012) ; Poster: "Bounded Model Checking for Knowledge and Linear Time". The 10th International Workshop on Declarative Agent Languages and Technologies (DALT 2012) . Presentation: "SAT-based BMC for Deontic Metric Temporal Logic and Deontic Interleaved Interpreted Systems".
• 27 February - 4 March 2012, Zakopane, Poland. Applications of Algebra XVI. Presentation: "SAT-based BMC for RTECTLK and Deontic Interleaved Interpreted Systems".

Year 2011

• October 10-13, 2011, Lisbon, Portugal. The 15th Portuguese Conference on Artificial Intelligence (EPIA 2011) . Presentation: "The BMC method for the existential part of RTCTLK and interleaved interpreted systems".
• September 28-30, 2011. Pułtusk, Poland. The International Workshop on Concurrency Specification and Programming (CS&P'2011). Presentation: "Towards SAT-based BMC for LTLK over Interleaved Interpreted Systems".
• 31 May - 3 June 2011. Orle Gniazdo Hucisko near Czestochowa, Poland. XVIII Czech-Polish-Slovak Mathematical Conference.
• March 2011, Zakopane, Poland. Applications of Algebra XV.

Year 2010

• March 2010, Zakopane, Poland. Applications of Algebra XIV.

Year 2009

• October 12-14, 2009. Krakow, Poland. The 4th Central and East European Conference on Software Engineering Techniques (CEE-SET'09). Presentation: " Bounded model checking for the existential part of Real-Time CTL and knowledge".
• September 28-30, 2009. Krakow, Poland. The International Workshop on Concurrency Specification and Programming (CS&P'09). Presentation: " SAT-based Searching for k-quasi-optimal Runs in Weighted Timed Automata".
• June 17-20, 2009. Ruzomberok, Slovakia. XVI Slovak-Czech-Polish Mathematical School. Presentation: "Verification of Java programs using networks of finite automata with discrete data".
• March 2009, Zakopane, Poland. Applications of Algebra XIII.

Year 2008

• 28 September - 1 October 2008. Gross Vaeter (near Berlin). International Workshop on Concurrency Specification and Programming (CS&P'08). Presentation: "A translator of Java programs to TADDs".
• June 4-7, 2008. Spisska Kapitula, Slovakia. XV Slovak-Czech-Polish Mathematical School. Presentation: "A SAT-based technique to analyse networks of finite automata".
• March 2008. Zakopane, Poland. Applications of Algebra XII.

Year 2007

• September 27-29, 2007. Lagow, Poland. The International Workshop on Concurrency Specification and Programming (CS&P'07). Presentation: "Towards verification of Java programs in VerICS".
• May 14-18, 2007. Honolulu, Hawai'i'. The 6th International Joint Conference on Autonomus Agents & Multi Agent Systems (AAMAS'07). Presentation: "A Temporal Epistemic Logic with a Reset Operation. ".
• March 2007, Zakopane, Poland. Applications of Algebra XI. Presentation: "A Temporal Epistemic Logic with a Reset Operation.".

Year 2006

• September 27-29, 2006, Wandlitz (nearby Berlin), Germany. The International Workshop on Concurrency Specification and Programming (CS&P'06). Presentation: "Verification of the TESLA Protocol in MCMAS-X".
• 28 August - 1 September 2006, Riva del Garda, Italy. The Fourth Workshop on Model Checking and Artificial Intelligence (MoChArt'06). Presentation: "Bounded model checking real-time multi-agent systems with clock differences: theory and implementation ".
• July 12-14, 2006, Utrecht, The Netherlands. The Eight International Workshop on Deontic Logic in Computer Science (DEON'06). Presentation: "A complete and decidable axiomatisation for deontic interpreted systems".
• May 8-12, 2006, Hakodate, Japana. The Fifth International Joint Conference on Autonomus Agents & Multi Agent Systems (AAMAS'06). Presentation: " A complete and decidable security-specialised logic and its application to the TESLA protocol ".
• March 2006. Zakopane, Poland. National(Polish) Conference: Applications of Algebra X. Presentation: " A complete and decidable security-specialised logic and its application to the TESLA protocol".

Year 2005

• September 28-30, 2005, Ruciane-Nida, Poland. The International Workshop on Concurrency Specification and Programming (CS&P'05). Presentations: " Bounded Model Checking for the existential fragment of TCTL and Diagonal Timed Automata " and "A combination of explicit and deductive knowledge with branching time: completeness and decidability results".
• July 25-29, 2005, Utrecht, The Netherlands. The Fourth International Joint Conference on Autonomus Agents & Multi Agent Systems (AAMAS'05). Presentation: " Bounded model checking for knowledge and real time ".
• March 2005, Zakopane, Poland. National (Polish) Conference: Applications of Algebra IX. Presentation: "A Logic for Explicit and Algorithmic Knowledge: Completeness and Decidability Results}".

Year 2004

• September 24-26, 2004, Caputh (nearby Potsdam), Germany. The International Workshop on Concurrency Specification and Programming (CS&P'04). Presentation: " Bounded model checking for knowledge over real time ".
• July 10-11, 2004, Liverpool, United Kingdom. International Warkshop: Knowledge & Games.

Year 2003

• September 25-27, 2003, Czarna (Bieszczady), Poland. The International Workshop on Concurrency Specification and Programming (CS&P'2003). Presentation: "Bounded Model Checking for ECTL*".
• September 15-18, 2003, Ustroń, Poland. National Conference: X Real Time Systems. Presentation: "VerICS: A Tool for Verifying Timed Automata and Estelle Specifications".
• September 6-7, 2003, Marseilles, France. The 1st International Workshop on Formal Analysis and Modeling of Timed Systems (FORMATS'03). Presentation: "Checking ACTL* Properties of Discrete Timed Automata via Bounded Model Checking".
• April 7-11, 2003, Warsaw, Poland. The 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'03).
• February 2003, Zakopane, Poland. National Conference: Applications of Algebra VII. Presentation: "Reachability for Timed Systems based on SAT-Solvers".

Year 2002

• December 12-13, 2002, Karpacz, Poland. National Conference: XVI Forum of Theoretical Computer Science. Presentation: "Reachability for Timed Systems based on SAT-Solvers".
• October 6-9, 2002, Berlin, Germany. The International Workshop on Concurrency, Specification and Programming (CS&P'2002). Presentation: "Reachability for Timed Systems based on SAT-Solvers".
• September 9-12, 2002, Oldenburg, Germany. The 7th International Conference on Formal Techniques in Real-Time and Fault Tolerant Systems (FTRTFT'02). Presentation: "Towards Bounded Model Checking for the Universal Fragment of TCTL".
• September 16-19, 2002, Ustroń, Poland. National Conference: IX Real Time Systems. Presentation: "A symbolic encoding of a network of concurrent Timed Automata".
• February 2002, Zakopane, Poland. National Conference: Application of algebra VI. Presentation: "Bounded Model Checking for Elementary Petri Nets".

Year 2001

• December 2001, Bialystok, Poland. National Conference: XV Forum of Theoretical Computer Science. Presentation: "Bounded Model Checking for Elementary Petri Nets".
• October 2001, Warsaw, Poland. International Workshop on Concurrency, Specification and Programming (CS&P'2001).
• September 24-27, 2001, Krynica, Poland. National Conference: VIII Real Time Systems. Presentation: "Bounded Model Checking for timed systems".
• February 2001, Zakopane, Poland. National Conference: Application of algebra V. Presentation: "Bounded Model Checking for ECTL".

Year 2000

• December 2000, Kraków, Poland - National Conference: XIV Forum of Theoretical Computer Science. Presentation: " ECTL Bounded Model Checking using SAT - procedures".
• February 2000, Zakopane, Poland. National Conference: Application of algebra IV. Presentation: "Logiki Temporalne a Automaty".

Year 1999

• June 10-13, 1999, Litomierzyce, Czechy - VI Czech-Polish Mathematical School. Presentation: "Huffman code".
• May 10-16, 1999. Zakopane, Poland. National Conference: Application of algebra III. Presentation: "Huffman code".

Year 1998

• June 1998, Złoty Potok, Poland. V Czech-Polish Mathematical School. Presentation: "Greedy Algorithm".
• May 1998, Zakopane, Poland. National Conference: Application of algebra II. Presentation: "Greedy Algorithm".