All Stories

  1. Model Checking and Synthesis for Strategic Timed CTL using Strategies in Rewriting Logic

    Article • September 2024, ACM (Association for Computing Machinery)

    Professor Wojciech Penczek

  2. Preface

    Article • Fundamenta Informaticae, March 2021, IOS Press

    Professor Wojciech Penczek

  3. Preface

    Article • Fundamenta Informaticae, October 2019, IOS Press

    Professor Wojciech Penczek

  4. Preface

    Article • Fundamenta Informaticae, March 2019, IOS Press

    Professor Wojciech Penczek, Piotr Wasilewski

  5. Applying modern SAT-solvers to solving hard problems

    Article • Fundamenta Informaticae, March 2019, IOS Press

    Professor Wojciech Penczek, PhD Artur Niewiadomski

  6. Preface

    Article • Fundamenta Informaticae, July 2018, IOS Press

    Professor Wojciech Penczek, prof.dr.ir. Wil van der Aalst

  7. Preface

    Article • Fundamenta Informaticae, January 2018, IOS Press

    Professor Wojciech Penczek

  8. TripICS - a Web Service Composition System for Planning Trips and Travels

    Article • Fundamenta Informaticae, January 2018, IOS Press

    Professor Wojciech Penczek

  9. Verification of Linear-Time Temporal Properties for Reaction Systems with Discrete Concentrations

    Article • Fundamenta Informaticae, August 2017, IOS Press

    Professor Wojciech Penczek, Maciej Koutny

  10. Preface

    Article • Fundamenta Informaticae, November 2016, IOS Press

    Professor Wojciech Penczek, Krzysztof Stencel

  11. Concrete Planning in PlanICS Framework by Combining SMT with GEO and Simulated Annealing*

    Article • Fundamenta Informaticae, November 2016, IOS Press

    Professor Wojciech Penczek, PhD Artur Niewiadomski

  12. Preface

    Article • Fundamenta Informaticae, September 2016, IOS Press

    Professor Wojciech Penczek

  13. Preface

    Article • Fundamenta Informaticae, February 2016, IOS Press

    Professor Wojciech Penczek, Krzysztof Stencel

  14. Action Synthesis for Branching Time Logic

    Article • ACM Transactions on Embedded Computing Systems, September 2015, ACM (Association for Computing Machinery)

    Professor Wojciech Penczek

  15. Fixed-Point Methods in Parametric Model Checking

    Article • January 2015, Springer Science + Business Media

    Professor Wojciech Penczek

  16. Action Synthesis for Branching Time Logic: Theory and Applications

    Article • June 2014, Institute of Electrical & Electronics Engineers (IEEE)

    Professor Wojciech Penczek

  17. Evolutionary Algorithms for Abstract Planning

    Article • January 2014, Springer Science + Business Media

    Professor Wojciech Penczek, PhD Artur Niewiadomski

  18. Automated abstract planning with use of genetic algorithms

    Article • July 2013, ACM (Association for Computing Machinery)

    PhD Artur Niewiadomski, Professor Wojciech Penczek

  19. Applying Timed Automata to Model Checking of Security Protocols

    Article • October 2012, Taylor & Francis

    Professor Wojciech Penczek

  20. Towards Checking Parametric Reachability for UML State Machines

    Article • January 2010, Springer Science + Business Media

    Professor Wojciech Penczek, PhD Artur Niewiadomski

  21. Model checking for multivalued logic of knowledge and time

    Article • January 2006, ACM (Association for Computing Machinery)

    Professor Wojciech Penczek

  22. Specification and Model Checking of Temporal Properties in Time Petri Nets and Timed Automata

    Article • January 2004, Springer Science + Business Media

    Professor Wojciech Penczek

  23. Automated Verification of Infinite State Concurrent Systems

    Article • January 2002, Springer Science + Business Media

    Professor Wojciech Penczek

  24. Reducing Model Checking from Multi-valued CTL* to CTL*

    Article • January 2002, Springer Science + Business Media

    Professor Wojciech Penczek

  25. Towards Formal Specification and Verification in Cyberspace

    Article • January 2001, Springer Science + Business Media

    Professor Wojciech Penczek

  26. Model checking of causal knowledge formulas

    Article • Electronic Notes in Theoretical Computer Science, January 2000, Elsevier

    Professor Wojciech Penczek

  27. Communication and concurrency

    Article • Science of Computer Programming, May 1990, Elsevier

    Professor Wojciech Penczek

  28. Is Your Security Protocol on Time ?

    Article • Springer Science + Business Media

    Professor Wojciech Penczek