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

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

Androutsopoulos, Kelly ORCID: https://orcid.org/0000-0001-8257-1867, Aristodemou, Leonidas, Boender, Jaap, Bottone, Michele, Currie, Edward ORCID: https://orcid.org/0000-0003-1186-5547, 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 ORCID: https://orcid.org/0000-0002-9508-7713 and Weldin, Nick (2018) MIRTO: an open-source robotic platform for education. Proceedings of the 3rd European Conference of Software Engineering Education on ZZZ - ECSEE'18. In: 3rd European Conference on Software Engineering Education, 14-15 June 2018, Seeon, Germany. ISBN 9781450363839. (doi:10.1145/3209087.3209106)

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

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

Bauereiß, Thomas, Pesenti Gritti, Armando, Popescu, Andrei and Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 (2017) CoSMeDis: a distributed social media platform with formally verified confidentiality guarantees. 2017 IEEE Symposium on Security and Privacy (SP). In: 38th IEEE Symposium on Security and Privacy, 22-26 May 2017, San Jose, CA, USA. ISBN 9781509055333. ISSN 2375-1207 (doi:10.1109/SP.2017.24)

Primiero, Giuseppe, Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713, Chen, Taolue and Nagarajan, Rajagopal ORCID: https://orcid.org/0000-0002-9724-4962 (2017) A proof-theoretic trust and reputation model for VANET. 2017 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW). In: S4CIP’17: 2nd Workshop on Safety & Security aSSurance for Critical Infrastructures Protection, 29 Apr 2017, Paris, France. ISBN 9781538622445. (doi:10.1109/EuroSPW.2017.64)

Primiero, Giuseppe, Bottone, Michele, Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 and Tagliabue, Jacopo (2016) Contradictory information flow in networks with trust and distrust. Complex Networks & Their Applications V: Proceedings of the 5th International Workshop on Complex Networks and their Applications (COMPLEX NETWORKS 2016). In: 5th International Workshop on Complex Networks and their Applications (COMPLEX NETWORKS 2016), 01-06 Dec 2016, Milan. ISBN 9783319509006. ISSN 1860-949X (doi:10.1007/978-3-319-50901-3_29)

Boender, Jaap, Currie, Edward ORCID: https://orcid.org/0000-0003-1186-5547, Loomes, Martin J., Primiero, Giuseppe and Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 (2016) Teaching functional patterns through robotic applications. Proceedings 4th and 5th International Workshop on Trends in Functional Programming in Education (TFPIE 2015/6) (Electronic Proceedings in Theoretical Computer Science, Vol 230). In: The 4th International Workshop on Trends in Functional Programming in Education, TFPIE 2015, 02 Jun 2015, Sophia-Antipolis, France. . ISSN 2075-2180 (doi:10.4204/EPTCS.230.2)

Bottone, Michele, Primiero, Giuseppe, Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 and De Florio, Vincenzo (2016) A model for trustworthy orchestration in the internet of things. 2016 12th International Conference on Intelligent Environments (IE). In: 2016 12th International Conference on Intelligent Environments (IE), 14-16 Sept 2016, London, United Kingdom. ISBN 9781509040568. ISSN 2472-7571 (doi:10.1109/IE.2016.37)

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

Bottone, Michele, Primiero, Giuseppe, Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 and Rungta, Neha (2016) From raw data to agent perceptions for simulation, verification, and monitoring. Intelligent Environments 2016 - Workshop Proceedings of the 12th International Conference on Intelligent Environments. 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. ISBN 9781614996897. (doi:10.3233/978-1-61499-690-3-66)

Bauereiß, Thomas, Pesenti Gritti, Armando, Popescu, Andrei and Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 (2016) CoSMed: a confidentiality-verified social media platform. Interactive Theorem Proving. ITP 2016. Lecture Notes in Computer Science, vol 9807. In: ITP 2016: 7th International Conference on Interactive Theorem Proving, 22-25 Aug 2016, Nancy, France. ISBN 9783319431437. ISSN 0302-9743 (doi:10.1007/978-3-319-43144-4_6)

Alechina, Natasha, Logan, Brian, Nguyen, Hoang Nga and Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 (2015) Symbolic model checking for one-resource RB±ATL. Yang, Qiang and Wooldridge, Michael, eds. Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015). In: 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), 25-31 Jul 2015, Buenos Aires, Argentina. ISBN 9781577357384.

Boender, Jaap, Primiero, Giuseppe and Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 (2015) Minimizing transitive trust threats in software management systems. 2015 13th Annual Conference on Privacy, Security and Trust (PST). In: 13th Annual Conference on Privacy, Security and Trust (PST 2015), 21-23 Jul 2015, Izmir, Turkey. ISBN 9781467378284. (doi:10.1109/PST.2015.7232973)

Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033, Barn, Ravinder and Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 (2015) On the role of value sensitive concerns in software engineering practice. 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering. In: 37th International Conference on Software Engineering, ICSE 2015, 16-24 May 2015, Florence, Italy. ISBN 9781479919345. ISSN 0270-5257 (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 ORCID: https://orcid.org/0000-0002-9508-7713 (2015) Towards cyber-physical systems as services: the ASIP protocol. 2015 IEEE/ACM 1st International Workshop on Software Engineering for Smart Cyber-Physical Systems. In: 2015 IEEE/ACM 1st International Workshop on Software Engineering for Smart Cyber-Physical Systems (SEsCPS), 17-17 May 2015, Florence, Italy. ISBN 9781467370882. (doi:10.1109/SEsCPS.2015.18)

Alechina, Natasha, Logan, Brian, Nguyen, Hoang Nga, Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 and Mostarda, Leonardo (2015) Symbolic model-checking for resource-bounded ATL. Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2015, Istanbul, Turkey, May 4-8, 2015. 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 ORCID: https://orcid.org/0000-0002-9508-7713 (2014) Decidable model-checking for a resource logic with production of resources. ECAI 2014: 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, including prestigious applications of artificial intelligence (PAIS-2014) proceedings. In: 21st European Conference on Artificial Intelligence (ECAI-2014), 18-22 Aug 2014, Prague, Czech Republic. ISBN 9781614994183. ISSN 0922-6389 (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 ORCID: https://orcid.org/0000-0002-9508-7713 and Kulkarni, Vinay (2014) Temporal planning for business process optimisation. ICAPS-2014 Proceedings of the 8th Scheduling and Planning Applications Workshop. In: ICAPS 2014: 8th Scheduling and Planning Application woRKshop (SPARK 2014), 22 Jun 2014, Portsmouth, New Hampshire, USA. .

Primiero, Giuseppe, Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 and Rungta, Neha (2014) Model checking degrees of belief in a system of agents. Proceedings of the 13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014), May 5-9, 2014, Paris, France. In: 13th International Conference on Autonomous Agents and Multiagent Systems, AAMAS '14, 5-9 May 2014, Paris, France. ISBN 9781450327381.

Busard, Simon, Pecheur, Charles, Qu, Hongyang and Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 (2014) Improving the model checking of strategies under partial observability and fairness constraints. Formal Methods and Software Engineering: 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings. In: 16th International Conference on Formal Engineering Methods, ICFEM 2014, 3-5 Nov 2014, Luxembourg. ISBN 9783319117362. ISSN 0302-9743 (doi:10.1007/978-3-319-11737-9_3)

Barn, Balbir ORCID: https://orcid.org/0000-0002-7251-5033, Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713, Athiappan, Lalith and Clark, Tony (2014) Slrtool: a tool to support collaborative systematic literature reviews. Proceedings of the 16th International Conference on Enterprise Information Systems, Volume 2. In: ICEIS 2014 - 16th International Conference on Enterprise Information Systems, 27-30 Apr 2014, Lisbon, Portugal. ISBN 9789897580284. (doi:10.5220/0004972204400447)

Androutsopoulos, Kelly ORCID: https://orcid.org/0000-0001-8257-1867, Gorogiannis, Nikos ORCID: https://orcid.org/0000-0001-8660-6609, Loomes, Martin J., Margolis, M., Primiero, Giuseppe, Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713, 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 ORCID: https://orcid.org/0000-0002-9508-7713 (2014) A typed natural deduction calculus to reason about secure trust. 2014 Twelfth Annual International Conference on Privacy, Security and Trust (PST). In: 2014 Twelfth Annual Conference on Privacy, Security and Trust (PST), 23-24 Jul 2014, Toronto, Canada. ISBN 9781479935024. (doi:10.1109/PST.2014.6890963)

Rungta, Neha, Brat, Guillaume, Clancey, William J., Linde, Charlotte, Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713, Seah, Chin and Shafto, Michael (2013) Aviation safety: modeling and analyzing complex interactions between humans and automated systems. ATACCS '13 Proceedings of the 3rd International Conference on Application and Theory of Automation in Command and Control Systems - ATACCS '13. In: ATACCS 2013, 28-30 May 2013, Naples, Italy. ISBN 9781450322492. (doi:10.1145/2494493.2494498)

Hunter, Josie, Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713, Rungta, Neha and Stocker, Richard (2013) A synergistic and extensible framework for multi-agent system verification. AAMAS '13 Proceedings of the 2013 International Conference on Autonomous Agents and Multi-agent Systems. In: AAMAS 2013 :12th International Conference on Autonomous Agents and Multiagent Systems, 6-10 May 2013, Saint Paul, Minnesota, USA.. ISBN 9781450319935.

Busard, Simon, Pecheur, Charles, Qu, Hongyang and Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 (2013) Reasoning about strategies under partial observability and fairness constraints. Electronic Proceedings in Theoretical Computer Science, 112: Proceedings 1st International Workshop on Strategic Reasoning Rome, Italy, March 16-17, 2013. In: 1st International Workshop on Strategic Reasoning, 16-17 Mar 2013, Rome, Italy. . ISSN 2075-2180

Di Marco, A., Gallo, F., Gemikonakli, Orhan ORCID: https://orcid.org/0000-0002-0513-1128, Mostarda, Leonardo and Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 (2013) Implementing adaptation and reconfiguration strategies in heterogeneous WSN. 2013 IEEE 27th International Conference on Advanced Information Networking and Applications (AINA). In: 27th IEEE International Conference on Advanced Information Networking and Applications (AINA-2013). . (doi:10.1109/AINA.2013.102)

Kammueller, Florian ORCID: https://orcid.org/0000-0001-5839-5488, Probst, Christian and Raimondi, Franco ORCID: https://orcid.org/0000-0002-9508-7713 (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 ORCID: https://orcid.org/0000-0002-9508-7713 (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 ORCID: https://orcid.org/0000-0002-9508-7713 (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 ORCID: https://orcid.org/0000-0002-9508-7713 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 ORCID: https://orcid.org/0000-0002-9508-7713 (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 ORCID: https://orcid.org/0000-0002-9508-7713, 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 ORCID: https://orcid.org/0000-0002-9508-7713 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 Thu Sep 24 05:28:32 2020 BST.

Export as	RSS 1.0 RSS 2.0