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 ORCID: https://orcid.org/0000-0002-9508-7713 (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 ORCID: https://orcid.org/0000-0002-9508-7713 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 ORCID: https://orcid.org/0000-0002-9508-7713 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 ORCID: https://orcid.org/0000-0002-9508-7713 (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 ORCID: https://orcid.org/0000-0002-9508-7713 (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. 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, 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. 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 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 (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, Chen, Taolue and Nagarajan, Rajagopal (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 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, Loomes, Martin J., Primiero, Giuseppe and Raimondi, Franco (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 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 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 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)

Boender, Jaap, Primiero, Giuseppe and Raimondi, Franco (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)

Alechina, Natasha, Logan, Brian, Nguyen, Hoang Nga and Raimondi, Franco (2015) Symbolic model checking for one-resource RB±ATL. 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.

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. 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 (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 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 (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 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 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, 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, 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. 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, 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, 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 (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 (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, 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 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 (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 Tue Feb 18 05:22:03 2020 GMT.