Monitoring and Diagnosing Railway Signalling with Logic-Based Distributed Agents. - Viviana Mascardi; Daniela Briola; Maurizio Martelli; Riccardo Caccia; Carlo Milani (CISIS, 2008)

A Prolog-Based MAS for Railway Signalling Monitoring: Implementation and Experiments. - Daniela Briola; Viviana Mascardi; Maurizio Martelli; Gabriele Arecco; Riccardo Caccia; Carlo Milani (WOA, 2008)

Ontology Agents in FIPA-compliant Platforms: Survey and a New Proposal. - Angela Locoro; Viviana Mascardi; Daniela Briola (WOA, 2008)

Dynamic Resource Allocation in a MAS: A Case Study from the Industry. - Daniela Briola; Viviana Mascardi; Maurizio Martelli; Riccardo Caccia; Carlo Milani (WOA, 2009)

Design and Implementation of a NetLogo Interface for the Stand-Alone FYPA System. - Daniela Briola; Viviana Mascardi (WOA, 2011)

Multi Agent Resource Allocation: a Comparison of Five Negotiation Protocols. - Daniela Briola; Viviana Mascardi (WOA, 2011)

MUSE: MUltilinguality and SEmantics for the Citizens of the World. - Michele Bozzano; Daniela Briola; Diego Leone; Angela Locoro; Lanfranco Marasso; Viviana Mascardi (IDC, 2012)

Ontologica: Exploiting Ontologies and Natural Language for Representing and Querying Railway Management Logics. - Daniela Briola; Riccardo Caccia; Michele Bozzano; Angela Locoro (KES, 2012)

The Indiana MAS Project: Goals and Preliminary Results. - Angela Locoro; Viviana Mascardi; Daniela Briola; Maurizio Martelli; Massimo Ancona; Vincenzo Deufemia; Luca Paolino; Genny Tortora; Giuseppe Polese; Rita Francese (WOA, 2012)

On the Expressiveness of Attribute Global Types: The Formalization of a Real Multiagent System Protocol. - Viviana Mascardi; Daniela Briola; Davide Ancona (AI*IA, 2013)

Exploiting MAS-Based Simulation to Improve the Indian Railways' Efficiency. - Supriyo Ghosh; Animesh Dutta; Viviana Mascardi; Daniela Briola (MATES, 2013)

Ontologica: Exploiting ontologies and natural language for railway management. Design, implementation and usage examples. - Daniela Briola; Riccardo Caccia; Michele Bozzano; Angela Locoro (Int. J. Knowl. Based Intell. Eng. Syst., 2013)

Exploiting Prolog for Projecting Agent Interaction Protocols. - Davide Ancona; Daniela Briola; Amal El Fallah Seghrouchni; Viviana Mascardi; Patrick Taillibert (CILC, 2014)

Distributed Runtime Verification of JADE and Jason Multiagent Systems with Prolog. - Daniela Briola; Viviana Mascardi; Davide Ancona (CILC, 2014)

Efficient Verification of MASs with Projections. - Davide Ancona; Daniela Briola; Amal El Fallah Seghrouchni; Viviana Mascardi; Patrick Taillibert (EMAS@AAMAS, 2014)

Ontology-Driven Processing and Management of Digital Rock Art Objects in IndianaMAS. - Daniela Briola; Vincenzo Deufemia; Viviana Mascardi; Luca Paolino; Nicoletta Bianchi (EuroMed, 2014)

Distributed Runtime Verification of JADE Multiagent Systems. - Daniela Briola; Viviana Mascardi; Davide Ancona (IDC, 2014)

Global Protocols as First Class Entities for Self-Adaptive Agents. - Davide Ancona; Daniela Briola; Angelo Ferrando 001; Viviana Mascardi (AAMAS, 2015)

My MOoD, a Multimedia and Multilingual Ontology Driven MAS: Design and First Experiments in the Sentiment Analysis Domain. - Maurizio Leotta; Silvio Beux; Viviana Mascardi; Daniela Briola (ESSEM@AAMAS, 2015)

Computational thinking for beginners: A successful experience using Prolog. - Silvio Beux; Daniela Briola; Andrea Corradi; Giorgio Delzanno; Angelo Ferrando 001; Federico Frassetto; Giovanna Guerrini; Viviana Mascardi; Marco Oreggia; Francesca Pozzi; Alessandro Solimando; Armando Tacchella (CILC, 2015)

Agents and Ontologies for a Smart Management of Heterogeneous Data: The IndianaMas System. - Daniela Briola (IDC, 2015)

Protocols with Exceptions, Timeouts, and Handlers: A Uniform Framework for Monitoring Fail-Uncontrolled and Ambient Intelligence Systems. - Davide Ancona; Daniela Briola; Viviana Mascardi (WOA, 2015)

Runtime verification of fail-uncontrolled and ambient intelligence systems: A uniform approach. - Davide Ancona; Daniela Briola; Angelo Ferrando 001; Viviana Mascardi (Intelligenza Artificiale, 2015)

MAS-DRiVe: a Practical Approach to Decentralized Runtime Verification of Agent Interaction Protocols. - Davide Ancona; Daniela Briola; Angelo Ferrando 001; Viviana Mascardi (WOA, 2016)

In the Field Monitoring of Interactive Application. - Oscar Cornejo; Daniela Briola; Daniela Micucci; Leonardo Mariani (ICSE-NIER, 2017)

Can My Test Case Run on Your Test Plant? A Logic-Based Compliance Check and Its Evaluation on Real Data. - Daniela Briola; Viviana Mascardi (RuleML+RR, 2017)

In The Field Monitoring of Interactive Applications. - Oscar Cornejo; Daniela Briola; Daniela Micucci; Leonardo Mariani (CoRR, 2017)

Fragmented Monitoring. - Oscar Cornejo; Daniela Briola; Daniela Micucci; Leonardo Mariani (PrePost@iFM, 2017)

Agent-oriented and ontology-driven digital libraries: the IndianaMAS experience. - Daniela Briola; Vincenzo Deufemia; Viviana Mascardi; Luca Paolino (Softw. Pract. Exp., 2017)

OntologyBeanGenerator 5.0: Extending Ontology Concepts with Methods and Exceptions. - Daniela Briola; Viviana Mascardi; Massimiliano Gioseffi (WOA, 2018)

Field Monitoring With Delayed Saving. - Oscar Cornejo; Davide Ginelli; Daniela Briola; Daniela Micucci; Leonardo Mariani (IEEE Access, 2019)

A platform for P2P agent-based collaborative applications. - Daniela Briola; Daniela Micucci; Leonardo Mariani (Softw. Pract. Exp., 2019)

CBR: Controlled Burst Recording. - Oscar Cornejo; Daniela Briola; Daniela Micucci; Leonardo Mariani (ICST, 2020)

In-the-field monitoring of functional calls: Is it feasible? - Oscar Cornejo; Daniela Briola; Daniela Micucci; Leonardo Mariani (J. Syst. Softw., 2020)

OntoScene, A Logic-Based Scene Interpreter: Implementation and Application in the Rock Art Domain. - Daniela Briola; Viviana Mascardi; Massimiliano Gioseffi (Theory Pract. Log. Program., 2020)

Affectivity and Proxemic Distances: an Experimental Agent-based Modeling Approach. - Francesca Gasparini; Marta Giltri; Daniela Briola; Alberto Dennunzio; Stefania Bandini (AIxAS@AI*IA, 2021)

Architectural Technical Debt of Multi-Agent Systems Development Platforms. - Ilaria Pigazzini; Daniela Briola; Francesca Arcelli Fontana (WOA, 2021)

Agents and Robots for Reliable Engineered Autonomy: A Perspective from the Organisers of AREA 2020. - Rafael C. Cardoso 001; Angelo Ferrando 001; Daniela Briola; Claudio Menghi; Tobias Ahlbrecht (J. Sens. Actuator Networks, 2021)

Special Issue: Agents and Robots for Reliable Engineered Autonomy. - Rafael C. Cardoso 001; Angelo Ferrando 001; Daniela Briola; Claudio Menghi; Tobias Ahlbrecht (J. Sens. Actuator Networks, 2021)

Integrating the Implications of Distance-Based Affective States in Cellular Automata Pedestrian Simulation. - Stefania Bandini; Daniela Briola; Alberto Dennunzio; Francesca Gasparini; Marta Giltri; Giuseppe Vizzari (ACRI, 2022)

Furthering an Agent-Based Modeling Approach Introducing Affective States Based on Real Data. - Marta Giltri; Stefania Bandini; Francesca Gasparini; Daniela Briola (ATT@IJCAI, 2022)

About the special issue on: "Distributed Complex Systems: Governance, Engineering, and Maintenance". - Pietro Braione; Daniela Briola; Guglielmo De Angelis; Francesco Gallo; Francesco Poggi; Giovanni Quattrocchi (J. Softw. Evol. Process., 2022)

Fantastic MASs and Where to Find Them: First Results and Lesson Learned. - Daniela Briola; Angelo Ferrando 001; Viviana Mascardi (EMAS, 2023)

Automated Test Case Generation for Safety-Critical Software in Scade. - Elson Kurian; Pietro Braione; Daniela Briola; Dario D'Avino; Matteo Modonato; Giovanni Denaro (ICSE-SEIP, 2023)

Curriculum-Based Reinforcement Learning for Pedestrian Simulation: Towards an Explainable Training Process? - Giuseppe Vizzari; Daniela Briola; Thomas Cecconello (WOA, 2023)

Automatically generating test cases for safety-critical software via symbolic execution. - Elson Kurian; Daniela Briola; Pietro Braione; Giovanni Denaro (J. Syst. Softw., 2023)

Anonymizing Test Data in Android: Does It Hurt? - Elena Masserini; Davide Ginelli; Daniela Micucci; Daniela Briola; Leonardo Mariani (AST@ICSE, 2024)

Curriculum-Based RL for Pedestrian Simulation: Sensitivity Analysis and Hyperparameter Exploration. - Giuseppe Vizzari; Daniela Briola; Federico Pisapia (ATT@ECAI, 2024)

A Data-Driven Approach Supporting Location Decisions for Docking Stations in Bike-Sharing Systems. - Blerina Spahiu; Daniela Briola; Riccardo Sartori; Giuseppe Vizzari (ECAI, 2024)

Creating Virtual Reality Scenarios for Pedestrian Experiments Focusing on Social Interactions. - Daniela Briola; Francesca Tinti; Giuseppe Vizzari (WOA, 2024)

Distance-based affective states in cellular automata pedestrian simulation. - Stefania Bandini; Daniela Briola; Alberto Dennunzio; Francesca Gasparini; Marta Giltri; Giuseppe Vizzari (Nat. Comput., 2024)

A family of experiments about how developers perceive delayed system response time. - Oscar Cornejo; Daniela Briola; Daniela Micucci; Davide Ginelli; Leonardo Mariani; Adrián Santos Parrilla; Natalia Juristo (Softw. Qual. J., 2024)