D. Briola

Most-cited papers

Automatically Generating Test Cases for Safety-Critical Software via Symbolic Execution
Elson Kurian, D. Briola, Pietro Braione, G. Denaro
2022Journal of Systems and Software36 citations Open access
Semantic Scholar
Global Protocols as First Class Entities for Self-Adaptive Agents
D. Ancona, D. Briola, Angelo Ferrando, V. Mascardi
2015Adaptive Agents and Multi-Agent Systems30 citations Open access
Semantic Scholar
Distributed Runtime Verification of JADE Multiagent Systems
D. Briola, V. Mascardi, D. Ancona
2014International Conference on Interaction Design and Children27 citations
Semantic Scholar
A Holonic Multi-Agent System for Sketch, Image and Text Interpretation in the Rock Art Domain
V. Mascardi, D. Briola, A. Locoro, D. Grignani +6 more
201424 citations
Semantic Scholar
Monitoring and Diagnosing Railway Signalling with Logic-Based Distributed Agents
V. Mascardi, D. Briola, M. Martelli, Riccardo Caccia +1 more
2008Computational Intelligence in Security for Information Systems21 citations
Semantic Scholar
Distributed Runtime Verification of JADE and Jason Multiagent Systems with Prolog
D. Briola, V. Mascardi, D. Ancona
2014Italian Conference on Computational Logic18 citations
Semantic Scholar
Efficient Verification of MASs with Projections
D. Ancona, D. Briola, A. El Fallah Seghrouchni, V. Mascardi +1 more
2014EMAS@AAMAS17 citations Open access
Semantic Scholar
Agent‐oriented and ontology‐driven digital libraries: the IndianaMAS experience
D. Briola, V. Deufemia, V. Mascardi, L. Paolino
2017Software, Practice & Experience13 citations
Semantic Scholar
On the Expressiveness of Attribute Global Types: The Formalization of a Real Multiagent System Protocol
V. Mascardi, D. Briola, D. Ancona
2013International Conference of the Italian Association for Artificial Intelligence13 citations
Semantic Scholar
Ontology agents in FIPA-compliant platforms: A survey and a new proposal
D. Briola, A. Locoro, Mascardi
200812 citations
Semantic Scholar
Intelligent Agents that Monitor, Diagnose and Solve Problems Two Success Stories of Industry-University Collaboration
D. Briola, V. Mascardi, M. Martelli
200910 citations
Semantic Scholar
Runtime verification of fail-uncontrolled and ambient intelligence systems: A uniform approach
D. Ancona, D. Briola, Angelo Ferrando, V. Mascardi
2015Intelligenza Artificiale9 citations Open access
Semantic Scholar
A platform for P2P agent‐based collaborative applications
D. Briola, D. Micucci, L. Mariani
2018Software, Practice & Experience8 citations Open access
Semantic Scholar
MAS-DRiVe: a Practical Approach to Decentralized Runtime Verification of Agent Interaction Protocols
D. Ancona, D. Briola, Angelo Ferrando, V. Mascardi
2016Workshop From Objects to Agents8 citations
Semantic Scholar
Computational thinking for beginners: A successful experience using Prolog
Silvio Beux, D. Briola, A. Corradi, G. Delzanno +8 more
2015Italian Conference on Computational Logic8 citations
Semantic Scholar
Dynamic Resource Allocation in a MAS: A Case Study from the Industry
D. Briola, Viviana Mascardi, M. Martelli, Riccardo Caccia +1 more
2009Workshop From Objects to Agents8 citations
Semantic Scholar
A Prolog-Based MAS for Railway Signalling Monitoring: Implementation and Experiments
D. Briola, V. Mascardi, M. Martelli, Gabriele Arecco +2 more
2008Workshop From Objects to Agents8 citations
Semantic Scholar
My MOoD, a Multimedia and Multilingual Ontology Driven MAS: Design and First Experiments in the Sentiment Analysis Domain
Maurizio Leotta, Silvio Beux, V. Mascardi, D. Briola
2015ESSEM@AAMAS7 citations
Semantic Scholar
Ontology-Driven Processing and Management of Digital Rock Art Objects in IndianaMAS
D. Briola, V. Deufemia, V. Mascardi, L. Paolino +1 more
2014International Euro-Mediterranean Conference7 citations
Semantic Scholar
Ontologies in Industrial Enterprise Content Management Systems: the EC2M Project
D. Briola, Alessandro Amicone, Dante Laudisa
20137 citations
Semantic Scholar
Design and Implementation of a NetLogo Interface for the Stand-Alone FYPA System
D. Briola, V. Mascardi
2011Workshop From Objects to Agents7 citations
Semantic Scholar
Distance-based affective states in cellular automata pedestrian simulation
S. Bandini, D. Briola, Alberto Dennunzio, F. Gasparini +2 more
2023Natural Computing6 citations Open access
Semantic Scholar
Ontologica: Exploiting ontologies and natural language for railway management. Design, implementation and usage examples
D. Briola, Riccardo Caccia, M. Bozzano, A. Locoro
2013Int. J. Knowl. Based Intell. Eng. Syst.6 citations
Semantic Scholar
Multi Agent Resource Allocation: a Comparison of Five Negotiation Protocols
D. Briola, V. Mascardi
2011Workshop From Objects to Agents6 citations
Semantic Scholar
Automated Test Case Generation for Safety-Critical Software in Scade
Elson Kurian, Pietro Braione, D. Briola, Dario D'Avino +2 more
20232023 IEEE/ACM 45th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP)5 citations Open access
Semantic Scholar
Fantastic MASs and Where to Find Them: First Results and Lesson Learned
D. Briola, Angelo Ferrando, Viviana Mascardi
2023International Workshop on Engineering Multi-Agent Systems4 citations
Semantic Scholar
In-The-Field Monitoring of Functional Calls: Is It Feasible?
Oscar Cornejo, D. Briola, D. Micucci, L. Mariani
2020Journal of Systems and Software4 citations Open access
Semantic Scholar
Field Monitoring With Delayed Saving
Oscar Cornejo, Davide Ginelli, D. Briola, D. Micucci +1 more
2019IEEE Access4 citations Open access
Semantic Scholar
OntologyBeanGenerator 5.0: Extending Ontology Concepts with Methods and Exceptions
D. Briola, V. Mascardi, M. Gioseffi
2018Workshop From Objects to Agents4 citations
Semantic Scholar
Fragmented Monitoring
Oscar Cornejo, D. Briola, D. Micucci, L. Mariani
2017PrePost@iFM4 citations Open access
Semantic Scholar
MUSE: MUltilinguality and SEmantics for the Citizens of the World
M. Bozzano, D. Briola, D. Leone, A. Locoro +2 more
2012International Conference on Interaction Design and Children4 citations
Semantic Scholar
The Indiana MAS Project: Goals and Preliminary Results
A. Locoro, V. Mascardi, D. Briola, M. Martelli +6 more
2012Workshop From Objects to Agents4 citations
Semantic Scholar
Agents and Robots for Reliable Engineered Autonomy: A Perspective from the Organisers of AREA 2020
R. C. Cardoso, Angelo Ferrando, D. Briola, C. Menghi +1 more
2021J. Sens. Actuator Networks3 citations Open access
Semantic Scholar
Affectivity and Proxemic Distances: an Experimental Agent-based Modeling Approach
F. Gasparini, Marta Giltri, D. Briola, Alberto Dennunzio +1 more
2021AIxAS@AI*IA3 citations
Semantic Scholar
In the Field Monitoring of Interactive Application
Oscar Cornejo, D. Briola, D. Micucci, L. Mariani
20172017 IEEE/ACM 39th International Conference on Software Engineering: New Ideas and Emerging Technologies Results Track (ICSE-NIER)3 citations
Semantic Scholar
Agents and Ontologies for a Smart Management of Heterogeneous Data: The IndianaMas System
D. Briola
2015International Conference on Interaction Design and Children3 citations
Semantic Scholar
Ontologica: Exploiting Ontologies and Natural Language for Representing and Querying Railway Management Logics
D. Briola, Riccardo Caccia, M. Bozzano, A. Locoro
2012International Conference on Knowledge-Based Intelligent Information & Engineering Systems3 citations
Semantic Scholar
A family of experiments about how developers perceive delayed system response time
Oscar Cornejo, D. Briola, D. Micucci, Davide Ginelli +3 more
2024Software quality journal2 citations Open access
Semantic Scholar
Furthering an Agent-Based Modeling Approach Introducing Affective States Based on Real Data
Marta Giltri, S. Bandini, F. Gasparini, D. Briola
2022ATT@IJCAI2 citations
Semantic Scholar
Integrating the Implications of Distance-Based Affective States in Cellular Automata Pedestrian Simulation
S. Bandini, D. Briola, Alberto Dennunzio, F. Gasparini +2 more
2022International Conference on Cellular Automata for Research and Industry2 citations
Semantic Scholar
CBR: Controlled Burst Recording
Oscar Cornejo, D. Briola, D. Micucci, L. Mariani
2020International Conference on Information Control Systems & Technologies2 citations Open access
Semantic Scholar
Proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy
R. C. Cardoso, Angelo Ferrando, D. Briola, C. Menghi +1 more
2020Electronic Proceedings in Theoretical Computer Science2 citations Open access
Semantic Scholar
Can My Test Case Run on Your Test Plant? A Logic-Based Compliance Check and Its Evaluation on Real Data
D. Briola, V. Mascardi
2017RuleML+RR2 citations
Semantic Scholar
Integrating JaCa-Unity in VEsNA for Behavioural Realistic VR Simulations
D. Briola, G. Vizzari, Giuseppe Mirra, Andrea Gatti +2 more
2025European Workshop on Multi-Agent Systems1 citations
Semantic Scholar
Architectural Technical Debt of Multi-Agent Systems Development Platforms
Ilaria Pigazzini, D. Briola, F. Fontana
2021Workshop From Objects to Agents1 citations
Semantic Scholar
OntoScene, A Logic-Based Scene Interpreter: Implementation and Application in the Rock Art Domain
D. Briola, V. Mascardi, M. Gioseffi
2019Theory and Practice of Logic Programming1 citations Open access
Semantic Scholar
A Detailed Description of the EC2M Project: Exploiting Ontologies for the Automatic and Manual Documents Classification in Industrial Enterprise Content Management Systems
D. Briola, A. Amicone
20141 citations
Semantic Scholar
Exploiting MAS-Based Simulation to Improve the Indian Railways' Efficiency
Supriyo Ghosh, Animesh Dutta, V. Mascardi, D. Briola
2013Multiagent System Technologies1 citations Open access
Semantic Scholar
Specification, simulation and verification of negotiation protocols in a unified agent-based framework
D. Briola, M. Martelli, Mascardi
20101 citations
Semantic Scholar
Engineering Reliable Autonomous Systems: Challenges and Solutions
Marie Farrell, Matt Luckcuck, Angelo Ferrando, R. C. Cardoso +27 more
2026arXiv.org0 citations
Semantic Scholar