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