The SCEAS System
Navigation Menu

Search the dblp DataBase


Franco Raimondi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Alessio Lomuscio, Franco Raimondi
    Model checking knowledge, strategies, and games in multi-agent systems. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2006, pp:161-168 [Conf]
  2. Alessio Lomuscio, Franco Raimondi
    The complexity of model checking concurrent programs against CTLK specifications. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2006, pp:548-550 [Conf]
  3. Alessio Lomuscio, Franco Raimondi, Marek J. Sergot
    Towards model checking interpreted systems. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2003, pp:1054-1055 [Conf]
  4. Franco Raimondi, Alessio Lomuscio
    Verification of Multiagent Systems via Ordered Binary Decision Diagrams: An Algorithm and Its Implementation. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2004, pp:630-637 [Conf]
  5. Alessio Lomuscio, Franco Raimondi
    The Complexity of Model Checking Concurrent Programs Against CTLK Specifications. [Citation Graph (0, 0)][DBLP]
    DALT, 2006, pp:29-42 [Conf]
  6. Franco Raimondi, Alessio Lomuscio
    Automatic Verification of Deontic Properties of Multi-agent Systems. [Citation Graph (0, 0)][DBLP]
    DEON, 2004, pp:228-242 [Conf]
  7. Franco Raimondi, Alessio Lomuscio
    Automatic Verification of Deontic Interpreted Systems by Model Checking via OBDD's. [Citation Graph (0, 0)][DBLP]
    ECAI, 2004, pp:53-57 [Conf]
  8. Franco Raimondi, Alessio Lomuscio
    Towards Symbolic Model Checking for Multi-agent Systems via OBDD's. [Citation Graph (0, 0)][DBLP]
    FAABS, 2004, pp:213-221 [Conf]
  9. Alessio Lomuscio, Charles Pecheur, Franco Raimondi
    Automatic Verification of Knowledge and Time with NuSMV. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2007, pp:1384-1389 [Conf]
  10. Alessio Lomuscio, Franco Raimondi
    MCMAS: A Model Checker for Multi-agent Systems. [Citation Graph (0, 0)][DBLP]
    TACAS, 2006, pp:450-454 [Conf]
  11. Magdalena Kacprzak, Alessio Lomuscio, Artur Niewiadomski, Wojciech Penczek, Franco Raimondi, Maciej Szreter
    Comparing BDD and SAT Based Techniques for Model Checking Chaum's Dining Cryptographers Protocol. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:72, n:1-3, pp:215-234 [Journal]
  12. Franco Raimondi, Alessio Lomuscio
    Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams. [Citation Graph (0, 0)][DBLP]
    J. Applied Logic, 2007, v:5, n:2, pp:235-251 [Journal]
  13. Roberta Calegari, Mirco Musolesi, Franco Raimondi, Cecilia Mascolo
    CTG: a connectivity trace generator for testing the performance of opportunistic mobile systems. [Citation Graph (0, 0)][DBLP]
    ESEC/SIGSOFT FSE, 2007, pp:415-424 [Conf]
  14. Charles Pecheur, Franco Raimondi
    Symbolic Model Checking of Logics with Actions. [Citation Graph (0, 0)][DBLP]
    MoChArt, 2006, pp:113-128 [Conf]
  15. Franco Raimondi, Charles Pecheur, Guillaume Brat
    Testing Planning Domains (without Model Checkers). [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:190, n:2, pp:113-125 [Journal]
  16. 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]

  17. A Model to Design and Verify Context-Aware Adaptive Service Composition. [Citation Graph (, )][DBLP]

  18. The Secret Santa Problem. [Citation Graph (, )][DBLP]

  19. MCMAS: A Model Checker for the Verification of Multi-Agent Systems. [Citation Graph (, )][DBLP]

  20. A formal analysis of requirements-based testing. [Citation Graph (, )][DBLP]

  21. Algorithms for efficient symbolic detection of faults in context-aware applications. [Citation Graph (, )][DBLP]

  22. Efficient online monitoring of web-service SLAs. [Citation Graph (, )][DBLP]

  23. Combinatorial Optimization Based Recommender Systems. [Citation Graph (, )][DBLP]

  24. The Anonymous Subgraph Problem. [Citation Graph (, )][DBLP]

Search in 0.003secs, Finished in 0.004secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002