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

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

Article

Busard, Simon, Pecheur, Charles, Qu, Hongyang and Raimondi, Franco (2018) Comparing approaches for model-checking strategies under imperfect information and fairness constraints. International Journal on Software Tools for Technology Transfer . ISSN 1433-2779 (Published online first) (doi:10.1007/s10009-018-0505-6)

Cacciagrano, Diletta Romana, Corradini, Flavio, Culmone, Rosario, Gorogiannis, Nikos ORCID: https://orcid.org/0000-0001-8660-6609, Mostarda, Leonardo, Raimondi, Franco and Vannucchi, Claudia (2018) Analysis and verification of ECA rules in intelligent environments. Journal of Ambient Intelligence and Smart Environments, 10 (3). pp. 261-273. ISSN 1876-1364 (doi:10.3233/ais-180487)

Bauereiß, Thomas, Pesenti Gritti, Armando, Popescu, Andrei and Raimondi, Franco (2018) CoSMed: a confidentiality-verified social media platform. Journal of Automated Reasoning, 61 (1-4). pp. 113-119. ISSN 0168-7433 (doi:10.1007/s10817-017-9443-3)

Martin, Barnaby, Raimondi, Franco, Chen, Taolue and Martin, Jos (2017) The packing chromatic number of the infinite square lattice is between 13 and 15. Discrete Applied Mathematics, 225 . pp. 136-142. ISSN 0166-218X (doi:10.1016/j.dam.2017.03.013)

Primiero, Giuseppe, Raimondi, Franco, Bottone, Michele and Tagliabue, Jacopo (2017) Trust and distrust in contradictory information transmission. Applied Network Science, 2 (1). ISSN 2364-8228 (doi:10.1007/s41109-017-0029-0)

Vannucchi, Claudia, Diamanti, Michelangelo, Mazzante, Gianmarco, Cacciagrano, Diletta, Culmone, Rosario, Gorogiannis, Nikos, Mostarda, Leonardo and Raimondi, Franco (2017) Symbolic verification of event–condition–action rules in intelligent environments. Journal of Reliable Intelligent Environments . ISSN 2199-4668 (doi:10.1007/s40860-017-0036-z)

Lomuscio, Alessio, Qu, Hongyang and Raimondi, Franco (2017) MCMAS: an open-source model checker for the verification of multi-agent systems. International Journal on Software Tools for Technology Transfer, 19 (1). pp. 9-30. ISSN 1433-2779 (doi:10.1007/s10009-015-0378-x)

Barbon, Gianluca, Margolis, Michael, Palumbo, Filippo, Raimondi, Franco and Weldin, Nick (2016) Taking Arduino to the Internet of things: the ASIP programming model. Computer Communications, 89-90 . pp. 128-140. ISSN 0140-3664 (doi:10.1016/j.comcom.2016.03.016)

Chen, Taolue, Primiero, Giuseppe, Raimondi, Franco and Rungta, Neha (2016) A computationally grounded, weighted doxastic logic. Studia Logica, 104 (4). pp. 679-703. ISSN 0039-3215 (doi:10.1007/s11225-015-9621-4)

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

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

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

Apel, Sven, Beyer, Dirk, Friedberger, Karlheinz, 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 (doi:10.1007/978-3-319-03077-7_18)

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

Sama, Michele, Elbaum, Sebastian, Raimondi, Franco, 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 (doi:10.1109/TSE.2010.35)

Skene, James, 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 (doi:10.1109/TSE.2009.55)

Lomuscio, Alessio, 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 (doi:10.1007/978-3-642-02658-4_55)

Liberti, Leo and Raimondi, Franco (2008) The secret santa problem. Lecture Notes in Computer Science, 5034 . pp. 271-279. ISSN 0302-9743 (doi:10.1007/978-3-540-68880-8_26)

Book Section

Pecheur, Charles, 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. (doi:10.1145/1572272.1572279)

Sama, Michele, Raimondi, Franco, 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. (doi:10.1109/ASEW.2008.4686287)

Raimondi, Franco, 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. (doi:10.1145/1453101.1453125)

Conference or Workshop Item

Bottone, Michele, Raimondi, Franco and Primiero, Giuseppe (2018) Multi-agent based simulations of block-free distributed ledgers. In: The 32nd IEEE International Conference on Advanced Information Networking and Applications Workshops (WAINA), 16-18 May 2018, Krakow, Poland. (doi:10.1109/WAINA.2018.00149)

Androutsopoulos, Kelly, Aristodemou, Leonidas, Boender, Jaap, Bottone, Michele, Currie, Edward, El-Aroussi, Inas, Fields, Bob ORCID: https://orcid.org/0000-0003-1117-1844, Gheri, Lorenzo, Gorogiannis, Nikos ORCID: https://orcid.org/0000-0001-8660-6609, Heeney, Michael, Micheletti, Matteo, Loomes, Martin J., Margolis, Michael, Petridis, Miltos, Piermarteri, Andrea, Primiero, Giuseppe, Raimondi, Franco and Weldin, Nick (2018) MIRTO: an open-source robotic platform for education. In: 3rd European Conference on Software Engineering Education, 14-15 June 2018, Seeon, Germany. (doi:10.1145/3209087.3209106)

Gorogiannis, Nikos ORCID: https://orcid.org/0000-0001-8660-6609, Raimondi, Franco and Boureanu, Ioana (2017) A novel symbolic approach to verifying epistemic properties of programs. In: Twenty-Sixth International Joint Conference on Artificial Intelligence, 19-25 August 2017, Melbourne, Australia. (doi:10.24963/ijcai.2017/30)

Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033, Barn, Ravinder, Raimondi, Franco and Mukherjee, Utsa (2017) Examining the interaction between fourth estate and Twitter: an exploratory case study. In: HUSO 2017: Third International Conference on Human and Social Analytics, 23-27 July 2017, Nice, France.

Bauereiß, Thomas, Pesenti Gritti, Armando, Popescu, Andrei and Raimondi, Franco (2017) CoSMeDis: a distributed social media platform with formally verified confidentiality guarantees. In: 38th IEEE Symposium on Security and Privacy, 22-26 May 2017, San Jose, CA, USA. (doi:10.1109/SP.2017.24)

Primiero, Giuseppe, Raimondi, Franco, Chen, Taolue and Nagarajan, Rajagopal (2017) A proof-theoretic trust and reputation model for VANET. In: S4CIP’17: 2nd Workshop on Safety & Security aSSurance for Critical Infrastructures Protection, 29 Apr 2017, Paris, France. (doi:10.1109/EuroSPW.2017.64)

Primiero, Giuseppe, Bottone, Michele, Raimondi, Franco and Tagliabue, Jacopo (2016) Contradictory information flow in networks with trust and distrust. In: 5th International Workshop on Complex Networks and their Applications (COMPLEX NETWORKS 2016), 01-06 Dec 2016, Milan. (doi:10.1007/978-3-319-50901-3_29)

Boender, Jaap, Currie, Edward, Loomes, Martin J., Primiero, Giuseppe and Raimondi, Franco (2016) Teaching functional patterns through robotic applications. In: The 4th International Workshop on Trends in Functional Programming in Education, TFPIE 2015, 02 Jun 2015, Sophia-Antipolis, France. (doi:10.4204/EPTCS.230.2)

Bottone, Michele, Primiero, Giuseppe, Raimondi, Franco and De Florio, Vincenzo (2016) A model for trustworthy orchestration in the internet of things. In: 2016 12th International Conference on Intelligent Environments (IE), 14-16 Sept 2016, London, United Kingdom. (doi:10.1109/IE.2016.37)

Bottone, Michele, Palumbo, Filippo, Primiero, Giuseppe, Raimondi, Franco and Stocker, Richard (2016) Implementing virtual pheromones in BDI robots using MQTT and Jason. In: 2016 5th IEEE International Conference on Cloud Networking (Cloudnet), 03-05 Oct 2016, Pisa, Italy. (doi:10.1109/CloudNet.2016.22)

Bottone, Michele, Primiero, Giuseppe, Raimondi, Franco and Rungta, Neha (2016) From raw data to agent perceptions for simulation, verification, and monitoring. In: 12th International Conference on Intelligent Environment 2016:- 5th International Workshop on Reliability of Intelligent Environments (WoRIE’16), 14-16 Sept 2016, London, United Kingdom. (doi:10.3233/978-1-61499-690-3-66)

Bauereiß, Thomas, Pesenti Gritti, Armando, Popescu, Andrei and Raimondi, Franco (2016) CoSMed: a confidentiality-verified social media platform. In: ITP 2016: 7th International Conference on Interactive Theorem Proving, 22-25 Aug 2016, Nancy, France. (doi:10.1007/978-3-319-43144-4_6)

Boender, Jaap, 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. (doi:10.1109/PST.2015.7232973)

Alechina, Natasha, Logan, Brian, 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.

Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033, 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 2015, 16-24 May 2015, Florence, Italy. (doi:10.1109/ICSE.2015.182)

Bordoni, Mirco, Bottone, Michele, Fields, Bob ORCID: https://orcid.org/0000-0003-1117-1844, Gorogiannis, Nikos ORCID: https://orcid.org/0000-0001-8660-6609, Margolis, Michael, 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. (doi:10.1109/SEsCPS.2015.18)

Alechina, Natasha, Logan, Brian, Nguyen, Hoang Nga, 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.

Alechina, Natasha, Logan, Brian, 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. (doi:10.3233/978-1-61499-419-0-9)

Magazzeni, Daniele, Mercorio, Fabio, Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033, Clark, Tony, 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.

Primiero, Giuseppe, 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.

Busard, Simon, Pecheur, Charles, 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. (doi:10.1007/978-3-319-11737-9_3)

Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033, Raimondi, Franco, 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 Apr 2014, Lisbon, Portugal. (doi:10.5220/0004972204400447)

Androutsopoulos, Kelly, Gorogiannis, Nikos ORCID: https://orcid.org/0000-0001-8660-6609, Loomes, Martin J., Margolis, M., Primiero, Giuseppe, Raimondi, Franco, Varsani, Puja, Weldin, N. and Zivanovic, Aleksandar ORCID: https://orcid.org/0000-0003-3354-754X (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. (doi:10.1109/PST.2014.6890963)

Rungta, Neha, Brat, Guillaume, Clancey, William J., Linde, Charlotte, Raimondi, Franco, 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. (doi:10.1145/2494493.2494498)

Hunter, Josie, Raimondi, Franco, 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, Pecheur, Charles, 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., Gallo, F., Gemikonakli, Orhan ORCID: https://orcid.org/0000-0002-0513-1128, 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). (doi:10.1109/AINA.2013.102)

Kammueller, Florian, 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, 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, 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, Liberti, Leo, 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, 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, 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, Sama, Michele, 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 Wed Dec 11 05:18:46 2019 GMT.