Items where Author is "Raimondi, Franco"

See full list of headings
Export as [feed] Atom [feed] RSS 1.0
Group by: Item Type | No Grouping
Number of items: 31.

Barn, Balbir and Barn, Ravinder and Raimondi, Franco (2015) On the role of value sensitive concerns in software engineering practice. In: 37th International Conference on Software Engineering, ICSE Companion, 22-24 May 2015, Florence, Italy. (Accepted - In Press)

Lomuscio, Alessio and Qu, Hongyang and Raimondi, Franco (2015) MCMAS: an open-source model checker for the verification of multi-agent systems. International Journal on Software Tools for Technology Transfer . ISSN 1433-2779

Alechina, Natasha and Logan, Brian and Nguyen, Hoang Nga and Raimondi, Franco (2014) Decidable model-checking for a resource logic with production of resources. In: Proceedings of the 21st European Conference on Artificial Intelligence (ECAI-2014).

Busard, Simon and Pecheur, Charles and Qu, Hongyang and Raimondi, Franco (2014) Improving the model checking of strategies under partial observability and fairness constraints. In: ICFEM 2014.

Primiero, Giuseppe and Raimondi, Franco and Rungta, Neha (2014) Model checking degrees of belief in a system of agents. In: International conference on Autonomous Agents and Multi-Agent Systems, AAMAS '14, Paris, France, May 5-9, 2014.

Primiero, Giuseppe and Raimondi, Franco and Rungta, Neha (2014) Model checking degrees of belief in a system of agents. In: AAMAS.

Huyck, Christian R. and Primiero, Giuseppe and Raimondi, Franco (2014) Programming the MIRTO robot with neurons. Procedia Computer Science . pp. 75-82. ISSN 1877-0509

Barn, Balbir and Raimondi, Franco and Athappian, Lalith and Clark, Tony (2014) Slrtool: a tool to support collaborative systematic literature reviews. In: ICEIS 2014 - Proceedings of the 16th International Conference on Enterprise Information Systems, Volume 2, Lisbon, Portugal, 27-30 April, 2014.

Androutsopoulos, Kelly and Gorogiannis, Nikos and Loomes, Martin J. and Margolis, M. and Primiero, Giuseppe and Raimondi, Franco and Varsani, Puji and Weldin, N. and Zivanovic, Aleksandar (2014) A racket-based robot to teach first-year computer science. In: 7 th European Lisp Symposium, May 5 – 6 2014, IRCAM, Paris, France.

Primiero, Giuseppe and Raimondi, Franco (2014) A typed natural deduction calculus to reason about secure trust. In: PST 2014.

Primiero, Giuseppe and Raimondi, Franco (2014) A typed natural deduction calculus to reason about secure trust. In: IEEE Privacy, Security and Trust 2014, Toronto, Canada.

Bettinelli, Andrea and Liberti, Leo and Raimondi, Franco and Savourey, David (2013) The Anonymous Subgraph Problem. Computers & Operations Research, 40 (4). pp. 973-979. ISSN 03050548

Rungta, Neha and Brat, Guillaume and Clancey, William J. and Linde, Charlotte and Raimondi, Franco and Seah, Chin and Shafto, Michael (2013) Aviation safety. In: ATACCS 2013.

Apel, Sven and Beyer, Dirk and Friedberger, Karlheinz and Raimondi, Franco and von Rhein, Alexander (2013) Domain types: abstract-domain selection based on variable usage. Hardware and Software: Verification and Testing, 8244 . pp. 262-278. ISSN 0302-9743

Di Marco, A. and Gallo, F. and Gemikonakli, Orhan and Mostarda, Leonardo and Raimondi, Franco (2013) Implementing adaptation and reconfiguration strategies in heterogeneous WSN. In: 27th IEEE International Conference on Advanced Information Networking and Applications (AINA-2013).

Busard, Simon and Pecheur, Charles and Qu, Hongyang and Raimondi, Franco (2013) Reasoning about strategies under partial observability and fairness constraints. In: Strategic Reasoning 2013.

Hunter, Josie and Raimondi, Franco and Rungta, Neha and Stocker, Richard (2013) A synergistic and extensible framework for multi-agent system verification. In: Proceedings of the 2013 International Conference on Autonomous Agents and Multi-agent Systems.

Kammueller, Florian and Probst, Christian and Raimondi, Franco (2012) Application of verification techniques to security: model checking insider attacks. In: 1st International Conference on Software and Emerging Technologies for Education, Culture, Entertainment, and Commerce (SETECEC 2012): New Directions in Multimedia Mobile Computing, Social Networks, Human-Computer Interaction and Communicability, 28-29 Mar 2012, Venice, Italy.

Roda, Fabio and Liberti, Leo and Raimondi, Franco (2011) Evaluation of collaborative filtering algorithms using a small dataset. In: WEBIST 2011, http://www.webist.org/WEBIST2011/.

von Rhein, Alexander and Apel, Sven and Raimondi, Franco (2011) Introducing Binary Decision Diagrams in the explicit-state verification of Java code. In: The Java Pathfinder Workshop.

Sama, Michele and Elbaum, Sebastian and Raimondi, Franco and Rosenblum, David S. and Wang, Zhimin (2010) Context-aware adaptive applications: fault patterns and their automated identification. IEEE Transactions on Software Engineering, 36 (5). pp. 644-661. ISSN 0098-5589

Skene, James and Raimondi, Franco and Emmerich, Wolfgang (2010) Service-level agreements for electronic services. IEEE Transactions on Software Engineering, 36 (2). pp. 288-304. ISSN 0098-5589

Bettinelli, Andrea and Liberti, Leo and Raimondi, Franco and Savourey, David (2009) The Anonymous subgraph problem. In: Cologne Twente Workshop 2009: 8th Cologne-Twente Workshop on Graphs and Combinatorial Optimization, June 2-4, 2009, Paris.

Roda, Fabio and Liberti, Leo and Raimondi, Franco (2009) Combinatorial optimization based recommender systems. In: Cologne Twente Workshop 2009: 8th Cologne-Twente Workshop on Graphs and Combinatorial Optimization, June 2-4, 2009, Paris.

Lomuscio, Alessio and Qu, Hongyang and Raimondi, Franco (2009) MCMAS: a model checker for the verification of multi-agent systems. Lecture Notes in Computer Science, 5643 . pp. 682-688. ISSN 0302-9743

Raimondi, Franco and Pecheur, Charles and Brat, Guillaume (2009) PDVer, a tool to verify PDDL planning domains. In: ICAPS'09 Workshop on Verification and Validation of Planning and Scheduling Systems, September 20, 2009, Thessaloniki, Greece.

Pecheur, Charles and Raimondi, Franco and Brat, Guillaume (2009) A formal analysis of requirements-based testing. In: Proceedings of the Eighteenth International Symposium on Software Testing and Analysis. Rothermel, Gregg and Dillon, Laura, eds. Association for Computing Machinery, pp. 47-56. ISBN 9781605583389

Cubo, Javier and Sama, Michele and Raimondi, Franco and Rosenblum, David (2009) A model to design and verify context-aware adaptive service composition. In: 6th IEEE International Conference on Services Computing (SCC 2009), September 21-25, 2009, Bangalore.

Sama, Michele and Raimondi, Franco and Rosenblum, David and Emmerich, Wolfgang (2008) Algorithms for efficient symbolic detection of faults in context-aware applications. In: Automated Software Engineering - Workshops, 2008. ASE Workshops 2008. 23rd IEEE/ACM International Conference. Institute of Electrical and Electronics Engineers, pp. 1-8. ISBN 9781424427765

Raimondi, Franco and Skene, James and Emmerich, Wolfgang (2008) Efficient online monitoring of web-service SLAs. In: Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering. Harrold, Jean and Murphy, Gail, eds. Association for Computing Machinery, pp. 170-180. ISBN 9781595939951

Liberti, Leo and Raimondi, Franco (2008) The secret santa problem. Lecture Notes in Computer Science, 5034 . pp. 271-279. ISSN 0302-9743

This list was generated on Mon May 25 09:18:54 2015 IST.