Items where Author / Artist / Editor is "Raimondi, Franco"
![]() | See full list of headings |
Article
Busard, Simon, Pecheur, Charles, Qu, Hongyang and Raimondi, Franco ORCID: 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: 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: https://orcid.org/0000-0001-8660-6609, Mostarda, Leonardo, Raimondi, Franco
ORCID: 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: https://orcid.org/0000-0001-8660-6609, Mostarda, Leonardo and Raimondi, Franco
ORCID: 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: 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: 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: 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: 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: 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: 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: 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: https://orcid.org/0000-0003-4015-3549, Primiero, Giuseppe and Raimondi, Franco
ORCID: 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: 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: 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: 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: 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: 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: 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: 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: 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: 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: 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: 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: 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: 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.
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: 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.
[Conference or Workshop Item]
(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
[Conference or Workshop Item]
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 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: 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.
[Conference or Workshop Item]
(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
[Conference or Workshop Item]
(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
[Conference or Workshop Item]
(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
[Conference or Workshop Item]
(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.
[Conference or Workshop Item]
(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.
[Conference or Workshop Item]
(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
[Conference or Workshop Item]
(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.
[Conference or Workshop Item]
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.
[Conference or Workshop Item]
(doi:10.1109/PST.2015.7232973)
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.
[Conference or Workshop Item]
(doi:10.1109/SEsCPS.2015.18)
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.
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: 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: 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: 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.
.
[Conference or Workshop Item]
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 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: 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: 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.
[Conference or Workshop Item]
(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.
.
[Conference or Workshop Item]
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.
[Conference or Workshop Item]
(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.
[Conference or Workshop Item]
(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.
[Conference or Workshop Item]
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
[Conference or Workshop Item]
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).
.
[Conference or Workshop Item]
(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.
.
[Conference or Workshop Item]
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/.
.
[Conference or Workshop Item]
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.
.
[Conference or Workshop Item]
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.
.
[Conference or Workshop Item]
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.
.
[Conference or Workshop Item]
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.
.
[Conference or Workshop Item]
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.
.
[Conference or Workshop Item]