Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego
Publications
Agata Janowska
2012
- Agata Janowska, Wojciech Penczek, Agata Pólrola and Andrzej Zbrzezny, Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets, in: International Workshop on Petri Nets and Software Engineering, Hamburg, Germany, 2012.see in PBN
2011
- Andrzej Zbrzezny and Agata Janowska, Towards Discrete-Time Verification of Time Petri Nets with Dense-Time Semantics, in: CS&P'2011, 20th International Workshop on Concurrency, Specification and Programming, Białystok University of Technology, Białystok 2011.see in PBN
2009
- Agata Janowska and Tomasz Uliński, Improved method of verifying Estelle with Verics, in: Proc. of the Int. Workshop on Concurrency, Specification and Programming (CS&P'09), Uniwersytet Warszawski, Warszawa 2009.see in PBN
2008
- Agata Janowska, Paweł Janowski and Dobiesław Wróblewski, Translation of Intermediate Language to Timed Automata with Discrete Data, Fundamenta Informaticae 85 (1-4) 2008, p. 235–248.see in PBN
- Agata Janowska, Paweł Janowski and Wojciech Nabiałek, Translation of Timed Promela to Timed Automata with Discrete Data, Fundamenta Informaticae 85 (1-4) 2008, p. 409–424.see in PBN
- Agata Janowska, Paweł Janowski and Wojciech Nabiałek, Timed Promela Semantics, in: CS&P, 2008.see in PBN
2007
- Agata Janowska and Wojciech Penczek, Path Compression in Timed Automata, Fundamenta Informaticae 79 (3-4) 2007, p. 379–399.see in PBN
- Agata Janowska and Paweł Janowski, Translation of Intermediate Language to Timed Automata with Discrete Data, in: Proc. of the Int. Workshop on Concurrency, Specification and Programming (CS&P'07), Warszawa 2007.see in PBN
2006
- A. Janowska and P. Janowski, Slicing of Timed Automata with Discrete Data, Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk Nr 990 2006, p. 1–29.see in PBN
- Agata Janowska and Paweł Janowski, Slicing of Timed Automata with Discrete Data, Fundamenta Informaticae 72 (3) 2006, p. 181–195.see in PBN
- Agata Janowska and Wojciech Penczek, Static Path Compression in Timed Systems, in: Proc. of the Int. Workshop on Concurrency, Specification and Programming (CS&P'06), Humboldt University, Berlin 2006.see in PBN
2005
- Agata Janowska and Paweł Janowski, Slicing of Timed Automata with Discrete Data, in: Proceedings of the International Workshop on Concurrency, Specification and Programming (CS&P'05), Wydawnictwa Uniwersytetu Warszawskiego, Warszawa 2005.see in PBN
2003
- Piotr Dembinski, Agata Janowska, Paweł Janowski, Wojciech Penczek, Agata Polrola, Maciej Szreter, Bozena Wozna and Andrzej Zbrzezny, Verics: A Tool for Verifying Timed Automata and Estelle Specifications, Lecture Notes In Computer Science 2619 2003, p. 278–283.see in PBN
- Agata Janowska and Paweł Janowski, Slicing Timed Systems, in: Proceedings of the International Workshop on Concurrency, Specification and Programming (CS&P, Wydawnictwa Uniwersytetu Warszawskiego, Warszawa 2003.see in PBN
- Piotr Dembinski, Agata Janowska, Paweł Janowski, Wojciech Penczek, Agata Połrola, Maciej Szreter, Bożena Woźna and Andrzej Zbrzeźny, Verics: weryfikator dla automatów czasowych i specyfikacji zapisanych w języku Estelle, in: Materiały X Konferencji Systemów Czasu Rzeczywistego, Instytut Informatyki Politechniki Sląskiej, Gliwice 2003.see in PBN
2002
- Anna Doros, Agata Janowska and Paweł Janowski, From Specification Languages to Timed Automata, in: Proceedings of the International Workshop on Concurrency, Specificationand Programming, Humboldt University, Berlin 2002.see in PBN
2000
- Agata Janowska and M Pakuła, Model checking of Estelle specifications with SPI, in: . Workshop Concurrency, Specification and Programming, Humboldt Universitat, Berlin 2000.see in PBN
You are not logged in | log in
