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
Jump to: Article | Book Section | Conference or Workshop Item
Number of items: 58.

Article

Busard, Simon, Pecheur, Charles, Qu, Hongyang and Raimondi, Franco ORCID logoORCID: https://orcid.org/0000-0002-9508-7713 (2019) Comparing approaches for model-checking strategies under imperfect information and fairness constraints. International Journal on Software Tools for Technology Transfer, 21 (4) . pp. 449-469. ISSN 1433-2779 [Article] (doi:10.1007/s10009-018-0505-6)

Bauereiß, Thomas, Pesenti Gritti, Armando, Popescu, Andrei and Raimondi, Franco ORCID logoORCID: 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 [Article] (doi:10.1007/s10817-017-9443-3)

Cacciagrano, Diletta Romana, Corradini, Flavio, Culmone, Rosario, Gorogiannis, Nikos ORCID logoORCID: https://orcid.org/0000-0001-8660-6609, Mostarda, Leonardo, Raimondi, Franco ORCID logoORCID: https://orcid.org/0000-0002-9508-7713 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 [Article] (doi:10.3233/ais-180487)

Vannucchi, Claudia, Diamanti, Michelangelo, Mazzante, Gianmarco, Cacciagrano, Diletta, Culmone, Rosario, Gorogiannis, Nikos ORCID logoORCID: https://orcid.org/0000-0001-8660-6609, Mostarda, Leonardo and Raimondi, Franco ORCID logoORCID: https://orcid.org/0000-0002-9508-7713 (2017) Symbolic verification of event–condition–action rules in intelligent environments. Journal of Reliable Intelligent Environments, 3 (2) . pp. 117-130. ISSN 2199-4668 [Article] (doi:10.1007/s40860-017-0036-z)

Martin, Barnaby, Raimondi, Franco ORCID logoORCID: https://orcid.org/0000-0002-9508-7713, 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 [Article] (doi:10.1016/j.dam.2017.03.013)

Primiero, Giuseppe, Raimondi, Franco ORCID logoORCID: https://orcid.org/0000-0002-9508-7713, Bottone, Michele and Tagliabue, Jacopo (2017) Trust and distrust in contradictory information transmission. Applied Network Science, 2 (1) . ISSN 2364-8228 [Article] (doi:10.1007/s41109-017-0029-0)

Lomuscio, Alessio, Qu, Hongyang and Raimondi, Franco ORCID logoORCID: https://orcid.org/0000-0002-9508-7713 (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 [Article] (doi:10.1007/s10009-015-0378-x)

Barbon, Gianluca, Margolis, Michael, Palumbo, Filippo, Raimondi, Franco ORCID logoORCID: https://orcid.org/0000-0002-9508-7713 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 [Article] (doi:10.1016/j.comcom.2016.03.016)

Chen, Taolue, Primiero, Giuseppe, Raimondi, Franco ORCID logoORCID: https://orcid.org/0000-0002-9508-7713 and Rungta, Neha (2016) A computationally grounded, weighted doxastic logic. Studia Logica, 104 (4) . pp. 679-703. ISSN 0039-3215 [Article] (doi:10.1007/s11225-015-9621-4)

Raimondi, Franco ORCID logoORCID: https://orcid.org/0000-0002-9508-7713 (2016) Using multi-agent systems to go beyond temporal patterns verification. ACM SIGLOG News, 3 (2) . pp. 69-77. [Article]

Primiero, Giuseppe and Raimondi, Franco ORCID logoORCID: https://orcid.org/0000-0002-9508-7713 (2015) Software theory change for resilient near-complete specifications. Procedia Computer Science, 52 . pp. 988-995. ISSN 1877-0509 [Article] (doi:10.1016/j.procs.2015.05.091)

Huyck, Christian R. ORCID logoORCID: https://orcid.org/0000-0003-4015-3549, Primiero, Giuseppe and Raimondi, Franco ORCID logoORCID: https://orcid.org/0000-0002-9508-7713 (2014) Programming the MIRTO robot with neurons. Procedia Computer Science, 41 . pp. 75-82. ISSN 1877-0509 [Article] (doi:10.1016/j.procs.2014.11.087)

Apel, Sven, Beyer, Dirk, Friedberger, Karlheinz, Raimondi, Franco ORCID logoORCID: 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 [Article] (doi:10.1007/978-3-319-03077-7_18)

Bettinelli, Andrea, Liberti, Leo, Raimondi, Franco ORCID logoORCID: 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 [Article] (doi:10.1016/j.cor.2012.11.018)

Sama, Michele, Elbaum, Sebastian, Raimondi, Franco ORCID logoORCID: https://orcid.org/0000-0002-9508-7713, 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 [Article] (doi:10.1109/TSE.2010.35)

Skene, James, Raimondi, Franco ORCID logoORCID: https://orcid.org/0000-0002-9508-7713 and Emmerich, Wolfgang (2010) Service-level agreements for electronic services. IEEE Transactions on Software Engineering, 36 (2) . pp. 288-304. ISSN 0098-5589 [Article] (doi:10.1109/TSE.2009.55)

Lomuscio, Alessio, Qu, Hongyang and Raimondi, Franco ORCID logoORCID: 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 [Article] (doi:10.1007/978-3-642-02658-4_55)

Liberti, Leo and Raimondi, Franco ORCID logoORCID: https://orcid.org/0000-0002-9508-7713 (2008) The secret santa problem. Lecture Notes in Computer Science, 5034 . pp. 271-279. ISSN 0302-9743 [Article] (doi:10.1007/978-3-540-68880-8_26)

Book Section

Pecheur, Charles, Raimondi, Franco ORCID logoORCID: https://orcid.org/0000-0002-9508-7713 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. [Book Section] (doi:10.1145/1572272.1572279)

Sama, Michele, Raimondi, Franco ORCID logoORCID: https://orcid.org/0000-0002-9508-7713, 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. [Book Section] (doi:10.1109/ASEW.2008.4686287)

Raimondi, Franco ORCID logoORCID: https://orcid.org/0000-0002-9508-7713, 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. [Book Section] (doi:10.1145/1453101.1453125)

Conference or Workshop Item

Žikelić, Ðorđe, Chang, Bor-Yuh Evan, Bolignano, Pauline and Raimondi, Franco ORCID logoORCID: https://orcid.org/0000-0002-9508-7713 (2022) Differential cost analysis with simultaneous potentials and anti-potentials. PLDI 2022: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation. In: Programming Language Design and Implementation (PLDI 2022), 13-17 June 2022, San Diego, USA. ISBN 9781450392655. [Conference or Workshop Item] (doi:10.1145/3519939.3523435)

Bastys, Iulia, Bolignano, Pauline, Raimondi, Franco ORCID logoORCID: https://orcid.org/0000-0002-9508-7713 and Schoepe, Daniel (2021) Automatic annotation of confidential data in java code. In: FPS 2021: The 14th International Symposium on Foundations & Practice of Security, 08-12 Dec 2021, Paris, France. . ISSN 0302-9743 [Conference or Workshop Item]

Bottone, Michele, Raimondi, Franco ORCID logoORCID: 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. [Conference or Workshop Item] (doi:10.1109/WAINA.2018.00149)

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

Gorogiannis, Nikos ORCID logoORCID: https://orcid.org/0000-0001-8660-6609, Raimondi, Franco ORCID logoORCID: 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. [Conference or Workshop Item] (doi:10.24963/ijcai.2017/30)

Barn, Balbir ORCID logoORCID: https://orcid.org/0000-0002-7251-5033, Barn, Ravinder, Raimondi, Franco ORCID logoORCID: 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 [Conference or Workshop Item]

Bauereiß, Thomas, Pesenti Gritti, Armando, Popescu, Andrei and Raimondi, Franco ORCID logoORCID: 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 9781509055326, e-ISBN 9781509055333, pbk-ISBN 9781509055340. ISSN 2375-1207 [Conference or Workshop Item] (doi:10.1109/SP.2017.24)

Primiero, Giuseppe, Raimondi, Franco ORCID logoORCID: https://orcid.org/0000-0002-9508-7713, Chen, Taolue and Nagarajan, Rajagopal ORCID logoORCID: 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. [Conference or Workshop Item] (doi:10.1109/EuroSPW.2017.64)

Primiero, Giuseppe, Bottone, Michele, Raimondi, Franco ORCID logoORCID: 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 [Conference or Workshop Item] (doi:10.1007/978-3-319-50901-3_29)

Boender, Jaap, Currie, Edward ORCID logoORCID: https://orcid.org/0000-0003-1186-5547, Loomes, Martin J., Primiero, Giuseppe and Raimondi, Franco ORCID logoORCID: 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 [Conference or Workshop Item] (doi:10.4204/EPTCS.230.2)

Bottone, Michele, Primiero, Giuseppe, Raimondi, Franco ORCID logoORCID: 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 [Conference or Workshop Item] (doi:10.1109/IE.2016.37)

Bottone, Michele, Palumbo, Filippo, Primiero, Giuseppe, Raimondi, Franco ORCID logoORCID: 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. [Conference or Workshop Item] (doi:10.1109/CloudNet.2016.22)

Bottone, Michele, Primiero, Giuseppe, Raimondi, Franco ORCID logoORCID: 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. [Conference or Workshop Item] (doi:10.3233/978-1-61499-690-3-66)

Bauereiß, Thomas, Pesenti Gritti, Armando, Popescu, Andrei and Raimondi, Franco ORCID logoORCID: 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 [Conference or Workshop Item] (doi:10.1007/978-3-319-43144-4_6)

Alechina, Natasha, Logan, Brian, Nguyen, Hoang Nga and Raimondi, Franco ORCID logoORCID: 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. [Conference or Workshop Item]

Boender, Jaap, Primiero, Giuseppe and Raimondi, Franco ORCID logoORCID: 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. [Conference or Workshop Item] (doi:10.1109/PST.2015.7232973)

Bordoni, Mirco, Bottone, Michele, Fields, Bob ORCID logoORCID: https://orcid.org/0000-0003-1117-1844, Gorogiannis, Nikos ORCID logoORCID: https://orcid.org/0000-0001-8660-6609, Margolis, Michael, Primiero, Giuseppe and Raimondi, Franco ORCID logoORCID: 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. [Conference or Workshop Item] (doi:10.1109/SEsCPS.2015.18)

Barn, Balbir ORCID logoORCID: https://orcid.org/0000-0002-7251-5033, Barn, Ravinder and Raimondi, Franco ORCID logoORCID: 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. e-ISBN 9781479919345. ISSN 0270-5257 [Conference or Workshop Item] (doi:10.1109/ICSE.2015.182)

Alechina, Natasha, Logan, Brian, Nguyen, Hoang Nga, Raimondi, Franco ORCID logoORCID: 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. . [Conference or Workshop Item]

Alechina, Natasha, Logan, Brian, Nguyen, Hoang Nga and Raimondi, Franco ORCID logoORCID: 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 [Conference or Workshop Item] (doi:10.3233/978-1-61499-419-0-9)

Magazzeni, Daniele, Mercorio, Fabio, Barn, Balbir ORCID logoORCID: https://orcid.org/0000-0002-7251-5033, Clark, Tony, Raimondi, Franco ORCID logoORCID: 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. . [Conference or Workshop Item]

Primiero, Giuseppe, Raimondi, Franco ORCID logoORCID: https://orcid.org/0000-0002-9508-7713 and Rungta, Neha (2014) Model checking degrees of belief in a system of agents. Proceedings of the 2014 international conference on Autonomous agents and multi-agent systems (AAMAS '14). In: 13th International Conference on Autonomous Agents and Multiagent Systems, AAMAS '14, 05-09 May 2014, Paris, France. ISBN 9781450327381. [Conference or Workshop Item]

Busard, Simon, Pecheur, Charles, Qu, Hongyang and Raimondi, Franco ORCID logoORCID: 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 [Conference or Workshop Item] (doi:10.1007/978-3-319-11737-9_3)

Barn, Balbir ORCID logoORCID: https://orcid.org/0000-0002-7251-5033, Raimondi, Franco ORCID logoORCID: 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. [Conference or Workshop Item] (doi:10.5220/0004972204400447)

Androutsopoulos, Kelly ORCID logoORCID: https://orcid.org/0000-0001-8257-1867, Gorogiannis, Nikos ORCID logoORCID: https://orcid.org/0000-0001-8660-6609, Loomes, Martin J., Margolis, M., Primiero, Giuseppe, Raimondi, Franco ORCID logoORCID: https://orcid.org/0000-0002-9508-7713, Varsani, Puja, Weldin, N. and Zivanovic, Aleksandar ORCID logoORCID: 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. . [Conference or Workshop Item]

Primiero, Giuseppe and Raimondi, Franco ORCID logoORCID: 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. [Conference or Workshop Item] (doi:10.1109/PST.2014.6890963)

Rungta, Neha, Brat, Guillaume, Clancey, William J., Linde, Charlotte, Raimondi, Franco ORCID logoORCID: 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. [Conference or Workshop Item] (doi:10.1145/2494493.2494498)

Hunter, Josie, Raimondi, Franco ORCID logoORCID: 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. [Conference or Workshop Item]

Busard, Simon, Pecheur, Charles, Qu, Hongyang and Raimondi, Franco ORCID logoORCID: 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 [Conference or Workshop Item]

Di Marco, A., Gallo, F., Gemikonakli, Orhan ORCID logoORCID: https://orcid.org/0000-0002-0513-1128, Mostarda, Leonardo and Raimondi, Franco ORCID logoORCID: 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). . [Conference or Workshop Item] (doi:10.1109/AINA.2013.102)

Kammueller, Florian ORCID logoORCID: https://orcid.org/0000-0001-5839-5488, Probst, Christian and Raimondi, Franco ORCID logoORCID: 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. . [Conference or Workshop Item]

Roda, Fabio, Liberti, Leo and Raimondi, Franco ORCID logoORCID: 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/. . [Conference or Workshop Item]

von Rhein, Alexander, Apel, Sven and Raimondi, Franco ORCID logoORCID: 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. . [Conference or Workshop Item]

Bettinelli, Andrea, Liberti, Leo, Raimondi, Franco ORCID logoORCID: 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. . [Conference or Workshop Item]

Roda, Fabio, Liberti, Leo and Raimondi, Franco ORCID logoORCID: 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. . [Conference or Workshop Item]

Raimondi, Franco ORCID logoORCID: 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. . [Conference or Workshop Item]

Cubo, Javier, Sama, Michele, Raimondi, Franco ORCID logoORCID: 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. . [Conference or Workshop Item]

This list was generated on Tue Aug 16 06:16:17 2022 BST.