Daniela Briola
Orcid: 0000-0003-1994-8929
According to our database1,
Daniela Briola
authored at least 48 papers
between 2008 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Nat. Comput., March, 2024
2023
Automatically generating test cases for safety-critical software via symbolic execution.
J. Syst. Softw., May, 2023
Curriculum-Based Reinforcement Learning for Pedestrian Simulation: Towards an Explainable Training Process?
Proceedings of the 24th Workshop "From Objects to Agents", 2023
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2023
Proceedings of the Engineering Multi-Agent Systems - 11th International Workshop, 2023
2022
About the special issue on: "Distributed Complex Systems: Governance, Engineering, and Maintenance".
J. Softw. Evol. Process., 2022
Furthering an Agent-Based Modeling Approach Introducing Affective States Based on Real Data.
Proceedings of the Twelfth International Workshop on Agents in Traffic and Transportation co-located with the the 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI-ECAI 2022), 2022
Integrating the Implications of Distance-Based Affective States in Cellular Automata Pedestrian Simulation.
Proceedings of the Cellular Automata, 2022
2021
J. Sens. Actuator Networks, 2021
Agents and Robots for Reliable Engineered Autonomy: A Perspective from the Organisers of AREA 2020.
J. Sens. Actuator Networks, 2021
Proceedings of the 22nd Workshop "From Objects to Agents", 2021
Proceedings of the Italian Workshop on Artificial Intelligence for an Ageing Society 2021 co-located with 20th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2021), 2021
2020
OntoScene, A Logic-Based Scene Interpreter: Implementation and Application in the Rock Art Domain.
Theory Pract. Log. Program., 2020
Proceedings of the 13th IEEE International Conference on Software Testing, 2020
2019
2018
Proceedings of the 19th Workshop "From Objects to Agents", 2018
2017
Softw. Pract. Exp., 2017
Proceedings of the Proceedings Second International Workshop on Pre- and Post-Deployment Verification Techniques, 2017
Can My Test Case Run on Your Test Plant? A Logic-Based Compliance Check and Its Evaluation on Real Data.
Proceedings of the Rules and Reasoning - International Joint Conference, 2017
Proceedings of the 39th IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Technologies Results Track, 2017
2016
MAS-DRiVe: a Practical Approach to Decentralized Runtime Verification of Agent Interaction Protocols.
Proceedings of the 17th Workshop "From Objects to Agents" co-located with 18th European Agent Systems Summer School (EASSS 2016), 2016
2015
Runtime verification of fail-uncontrolled and ambient intelligence systems: A uniform approach.
Intelligenza Artificiale, 2015
Protocols with Exceptions, Timeouts, and Handlers: A Uniform Framework for Monitoring Fail-Uncontrolled and Ambient Intelligence Systems.
Proceedings of the 16th Workshop "From Objects to Agents", 2015
Agents and Ontologies for a Smart Management of Heterogeneous Data: The IndianaMas System.
Proceedings of the Intelligent Distributed Computing IX - Proceedings of the 9th International Symposium on Intelligent Distributed Computing, 2015
Proceedings of the 30th Italian Conference on Computational Logic, 2015
My MOoD, a Multimedia and Multilingual Ontology Driven MAS: Design and First Experiments in the Sentiment Analysis Domain.
Proceedings of the 2nd International Workshop on Emotion and Sentiment in Social and Expressive Media: Opportunities and Challenges for Emotion-aware Multiagent Systems co-located with 14th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2015), 2015
Proceedings of the 2015 International Conference on Autonomous Agents and Multiagent Systems, 2015
2014
Proceedings of the Intelligent Distributed Computing VIII, 2014
Proceedings of the Digital Heritage. Progress in Cultural Heritaage: Documentation, Preservation, and Protection, 2014
Proceedings of the Engineering Multi-Agent Systems - Second International Workshop, 2014
Proceedings of the 29th Italian Conference on Computational Logic, 2014
Proceedings of the 29th Italian Conference on Computational Logic, 2014
2013
Ontologica: Exploiting ontologies and natural language for railway management. Design, implementation and usage examples.
Int. J. Knowl. Based Intell. Eng. Syst., 2013
Proceedings of the Multiagent System Technologies - 11th German Conference, 2013
On the Expressiveness of Attribute Global Types: The Formalization of a Real Multiagent System Protocol.
Proceedings of the AI*IA 2013: Advances in Artificial Intelligence, 2013
2012
Proceedings of the 13th Workshop on Objects and Agents, 2012
Ontologica: Exploiting Ontologies and Natural Language for Representing and Querying Railway Management Logics.
Proceedings of the Advances in Knowledge-Based and Intelligent Information and Engineering Systems, 2012
Proceedings of the Intelligent Distributed Computing VI - Proceedings of the 6th International Symposium on Intelligent Distributed Computing, 2012
2011
Proceedings of the 12th Workshop on Objects and Agents, Rende (CS), Italy, Jul 4-6, 2011, 2011
Proceedings of the 12th Workshop on Objects and Agents, Rende (CS), Italy, Jul 4-6, 2011, 2011
2009
Dynamic Resource Allocation in a MAS: A Case Study from the Industry.
Proceedings of the 10th Workshop "From Objects to Agents", Parma, Italy, July 9-10, 2009, 2009
2008
Ontology Agents in FIPA-compliant Platforms: Survey and a New Proposal.
Proceedings of the 9th Workshop "From Objects to Agents", Palermo, Italy, July 17-18, 2008, 2008
A Prolog-Based MAS for Railway Signalling Monitoring: Implementation and Experiments.
Proceedings of the 9th Workshop "From Objects to Agents", Palermo, Italy, July 17-18, 2008, 2008
Proceedings of the International Workshop on Computational Intelligence in Security for Information Systems, 2008