Items where Author / Artist / Editor is "Raimondi, Franco"

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

Article

Raimondi, Franco (2016) Using multi-agent systems to go beyond temporal patterns verification. ACM SIGLOG News, 3 (2). pp. 69-77.

Barbon, Gianluca and Margolis, Michael and Palumbo, Filippo and Raimondi, Franco and Weldin, Nick (2016) Taking Arduino to the Internet of things: the ASIP programming model. Computer Communications . ISSN 0140-3664

Chen, Taolue and Primiero, Giuseppe and Raimondi, Franco and Rungta, Neha (2015) A computationally grounded, weighted doxastic logic. Studia Logica . ISSN 0039-3215 (Published online first)

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 . pp. 1-22. ISSN 1433-2779 (Published online first)

Primiero, Giuseppe and Raimondi, Franco (2015) Software theory change for resilient near-complete specifications. Procedia Computer Science, 52 . pp. 988-995. ISSN 1877-0509

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

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 (1). pp. 262-278. ISSN 0302-9743

Bettinelli, Andrea and Liberti, Leo and Raimondi, Franco and Savourey, David (2013) The anonymous subgraph problem. Computers and Operations Research, 40 (4). pp. 973-979. ISSN 0305-0548

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

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

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

Book Section

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

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

Conference or Workshop Item

Boender, Jaap and Primiero, Giuseppe and Raimondi, Franco (2015) Minimizing transitive trust threats in software management systems. In: 13th Annual Conference on Privacy, Security and Trust (PST 2015), 21-23 Jul 2015, Izmir, Turkey.

Alechina, Natasha and Logan, Brian and Nguyen, Hoang Nga and Raimondi, Franco (2015) Symbolic model checking for one-resource RB±ATL. In: 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), 25-31 Jul 2015, Buenos Aires, Argentina.

Bordoni, Mirco and Bottone, Michele and Fields, Bob and Gorogiannis, Nikos and Margolis, Michael and Primiero, Giuseppe and Raimondi, Franco (2015) Towards cyber-physical systems as services: the ASIP protocol. In: 2015 IEEE/ACM 1st International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS), 17-17 May 2015, Florence, Italy.

Alechina, Natasha and Logan, Brian and Nguyen, Hoang Nga and Raimondi, Franco and Mostarda, Leonardo (2015) Symbolic model-checking for resource-bounded ATL. In: 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015, 4-8 May 2015, Istanbul, Turkey.

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)

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: 21st European Conference on Artificial Intelligence (ECAI-2014), 18-22 Aug 2014, Prague, Czech Republic.

Magazzeni, Daniele and Mercorio, Fabio and Barn, Balbir and Clark, Tony and Raimondi, Franco and Kulkarni, Vinay (2014) Temporal planning for business process optimisation. In: ICAPS 2014: 8th Scheduling and Planning Application woRKshop (SPARK 2014), 22 Jun 2014, Portsmouth, New Hampshire, USA.

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: 16th International Conference on Formal Engineering Methods, ICFEM 2014, 3-5 Nov 2014, Luxembourg.

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

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

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: 2014 Twelfth Annual Conference on Privacy, Security and Trust (PST), 23-24 Jul 2014, Toronto, Canada.

Rungta, Neha and Brat, Guillaume and Clancey, William J. and Linde, Charlotte and Raimondi, Franco and Seah, Chin and Shafto, Michael (2013) Aviation safety: modeling and analyzing complex interactions between humans and automated systems. In: ATACCS 2013, 28-30 May 2013, Naples, Italy.

Hunter, Josie and Raimondi, Franco and Rungta, Neha and Stocker, Richard (2013) A synergistic and extensible framework for multi-agent system verification. In: AAMAS 2013 :12th International Conference on Autonomous Agents and Multiagent Systems, 6-10 May 2013, Saint Paul, Minnesota, USA..

Busard, Simon and Pecheur, Charles and Qu, Hongyang and Raimondi, Franco (2013) Reasoning about strategies under partial observability and fairness constraints. In: 1st International Workshop on Strategic Reasoning, 16-17 Mar 2013, Rome, Italy.

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).

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 (co-located with ASE 2011), 12 Nov 2011, Oread, Lawrence, Kansas.

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.

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.

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.

This list was generated on Fri Aug 26 04:22:26 2016 BST.