Search the dblp DataBase

Publications of Author

1. Alessio Lomuscio, Bozena Wozna
   A complete and decidable security-specialised logic and its application to the TESLA protocol. [Citation Graph (0, 0)][DBLP]
   AAMAS, 2006, pp:145-152 [Conf]
   
2. Bozena Wozna, Alessio Lomuscio, Wojciech Penczek
   Bounded model checking for knowledge and real time. [Citation Graph (0, 0)][DBLP]
   AAMAS, 2005, pp:165-172 [Conf]
   
3. Bozena Wozna, Alessio Lomuscio
   A Logic for Knowledge, Correctness, and Real Time. [Citation Graph (0, 0)][DBLP]
   CLIMA V, 2004, pp:1-15 [Conf]
   
4. Alessio Lomuscio, Bozena Wozna
   A Combination of Explicit and Deductive Knowledge with Branching Time: Completeness and Decidability Results. [Citation Graph (0, 0)][DBLP]
   DALT, 2005, pp:188-204 [Conf]
   
5. Alessio Lomuscio, Bozena Wozna
   A Complete and Decidable Axiomatisation for Deontic Interpreted Systems. [Citation Graph (0, 0)][DBLP]
   DEON, 2006, pp:238-254 [Conf]
   
6. Bozena Wozna, Andrzej Zbrzezny
   Checking ACTL^* Properties of Discrete Timed Automata via Bounded Model Checking. [Citation Graph (0, 0)][DBLP]
   FORMATS, 2003, pp:18-33 [Conf]
   
7. Wojciech Penczek, Bozena Wozna, Andrzej Zbrzezny
   Towards Bounded Model Checking for the Universal Fragment of TCTL. [Citation Graph (0, 0)][DBLP]
   FTRTFT, 2002, pp:265-290 [Conf]
   
8. Piotr Dembinski, Agata Janowska, Pawel Janowski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Bozena Wozna, Andrzej Zbrzezny
   Verics: A Tool for Verifying Timed Automata and Estelle Specifications. [Citation Graph (0, 0)][DBLP]
   TACAS, 2003, pp:278-283 [Conf]
   
9. Bozena Wozna, Alessio Lomuscio, Wojciech Penczek
   Bounded Model Checking for Deontic Interpreted Systems. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2005, v:126, n:, pp:93-114 [Journal]
   
10. Wojciech Penczek, Bozena Wozna, Andrzej Zbrzezny
    Bounded Model Checking for the Universal Fragment of CTL. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2002, v:51, n:1-2, pp:135-156 [Journal]
    
11. Bozena Wozna
    ACTLS properties and Bounded Model Checking. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2004, v:63, n:1, pp:65-87 [Journal]
    
12. Bozena Wozna, Andrzej Zbrzezny, Wojciech Penczek
    Checking Reachability Properties for Timed Automata via SAT. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2003, v:55, n:2, pp:223-241 [Journal]
    
13. Alessio Lomuscio, Bozena Wozna, Andrzej Zbrzezny
    Bounded Model Checking Real-Time Multi-agent Systems with Clock Differences: Theory and Implementation. [Citation Graph (0, 0)][DBLP]
    MoChArt, 2006, pp:95-112 [Conf]
    
14. Alessio Lomuscio, Wojciech Penczek, Bozena Wozna
    Bounded model checking for knowledge and real time. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2007, v:171, n:16-17, pp:1011-1038 [Journal]
    
15. Alessio Lomuscio, Franco Raimondi, Bozena Wozna
    Verification of the TESLA protocol in MCMAS-X. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2007, v:79, n:3-4, pp:473-486 [Journal]
    
16. Bozena Wozna, Andrzej Zbrzezny
    Bounded Model Checking for the Existential Fragment of TCTL_-G and Diagonal Timed Automata. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2007, v:79, n:1-2, pp:229-256 [Journal]
    
17. 
    A temporal epistemic logic with a reset operation. [Citation Graph (, )][DBLP]