Daniela Briola

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 32

Top Topics

Test Case Generation

Ambient Intelligence Systems

Top Venues

J. Sens. Actuator Networks

Publications

Stefania Bandini, Daniela Briola, Alberto Dennunzio, Francesca Gasparini, Marta Giltri, Giuseppe Vizzari
Distance-based affective states in cellular automata pedestrian simulation. Nat. Comput. 23 (1) (2024)
Elena Masserini, Davide Ginelli, Daniela Micucci, Daniela Briola, Leonardo Mariani
Anonymizing Test Data in Android: Does It Hurt? AST@ICSE (2024)
Daniela Briola, Francesca Tinti, Giuseppe Vizzari
Creating Virtual Reality Scenarios for Pedestrian Experiments Focusing on Social Interactions. WOA (2024)
Elena Masserini, Davide Ginelli, Daniela Micucci, Daniela Briola, Leonardo Mariani
Anonymizing Test Data in Android: Does It Hurt? CoRR (2024)
Oscar Cornejo, Daniela Briola, Daniela Micucci, Davide Ginelli, Leonardo Mariani, Adrián Santos Parrilla, Natalia Juristo
A family of experiments about how developers perceive delayed system response time. Softw. Qual. J. 32 (2) (2024)
Daniela Briola, Angelo Ferrando, Viviana Mascardi
Fantastic MASs and Where to Find Them: First Results and Lesson Learned. EMAS (2023)
Elson Kurian, Pietro Braione, Daniela Briola, Dario D'Avino, Matteo Modonato, Giovanni Denaro
Automated Test Case Generation for Safety-Critical Software in Scade. ICSE-SEIP (2023)
Giuseppe Vizzari, Daniela Briola, Thomas Cecconello
Curriculum-Based Reinforcement Learning for Pedestrian Simulation: Towards an Explainable Training Process? WOA (2023)
Elson Kurian, Daniela Briola, Pietro Braione, Giovanni Denaro
Automatically generating test cases for safety-critical software via symbolic execution. J. Syst. Softw. 199 (2023)
Elson Kurian, Daniela Briola, Pietro Braione, Giovanni Denaro
Automatically Generating Test Cases for Safety-Critical Software via Symbolic Execution. CoRR (2022)
Marta Giltri, Stefania Bandini, Francesca Gasparini, Daniela Briola
Furthering an Agent-Based Modeling Approach Introducing Affective States Based on Real Data. ATT@IJCAI (2022)
Stefania Bandini, Daniela Briola, Alberto Dennunzio, Francesca Gasparini, Marta Giltri, Giuseppe Vizzari
Integrating the Implications of Distance-Based Affective States in Cellular Automata Pedestrian Simulation. ACRI (2022)
Pietro Braione, Daniela Briola, Guglielmo De Angelis, Francesco Gallo, Francesco Poggi, Giovanni Quattrocchi
About the special issue on: "Distributed Complex Systems: Governance, Engineering, and Maintenance". J. Softw. Evol. Process. 34 (10) (2022)
Rafael C. Cardoso, Angelo Ferrando, Daniela Briola, Claudio Menghi, Tobias Ahlbrecht
Special Issue: Agents and Robots for Reliable Engineered Autonomy. J. Sens. Actuator Networks 10 (3) (2021)
Francesca Gasparini, Marta Giltri, Daniela Briola, Alberto Dennunzio, Stefania Bandini
Affectivity and Proxemic Distances: an Experimental Agent-based Modeling Approach. AIxAS@AI*IA (2021)
Ilaria Pigazzini, Daniela Briola, Francesca Arcelli Fontana
Architectural Technical Debt of Multi-Agent Systems Development Platforms. WOA (2021)
Rafael C. Cardoso, Angelo Ferrando, Daniela Briola, Claudio Menghi, Tobias Ahlbrecht
Agents and Robots for Reliable Engineered Autonomy: A Perspective from the Organisers of AREA 2020. J. Sens. Actuator Networks 10 (2) (2021)
Daniela Briola, Viviana Mascardi, Massimiliano Gioseffi
OntoScene, A Logic-Based Scene Interpreter: Implementation and Application in the Rock Art Domain. Theory Pract. Log. Program. 20 (4) (2020)
Oscar Cornejo, Daniela Briola, Daniela Micucci, Leonardo Mariani
CBR: Controlled Burst Recording. CoRR (2020)
Oscar Cornejo, Daniela Briola, Daniela Micucci, Leonardo Mariani
In-The-Field Monitoring of Functional Calls: Is It Feasible? CoRR (2020)
Oscar Cornejo, Daniela Briola, Daniela Micucci, Leonardo Mariani
CBR: Controlled Burst Recording. ICST (2020)
Oscar Cornejo, Daniela Briola, Daniela Micucci, Leonardo Mariani
In-the-field monitoring of functional calls: Is it feasible? J. Syst. Softw. 163 (2020)
Daniela Briola, Daniela Micucci, Leonardo Mariani
A platform for P2P agent-based collaborative applications. Softw. Pract. Exp. 49 (3) (2019)
Daniela Briola, Viviana Mascardi, Massimiliano Gioseffi
OntoScene, A Logic-based Scene Interpreter: Implementation and Application in the Rock Art Domain. CoRR (2019)
Oscar Cornejo, Davide Ginelli, Daniela Briola, Daniela Micucci, Leonardo Mariani
Field Monitoring With Delayed Saving. IEEE Access 7 (2019)
Daniela Briola, Viviana Mascardi, Massimiliano Gioseffi
OntologyBeanGenerator 5.0: Extending Ontology Concepts with Methods and Exceptions. WOA (2018)
Oscar Cornejo, Daniela Briola, Daniela Micucci, Leonardo Mariani
In the Field Monitoring of Interactive Application. ICSE-NIER (2017)
Oscar Cornejo, Daniela Briola, Daniela Micucci, Leonardo Mariani
Fragmented Monitoring. PrePost@iFM (2017)
Daniela Briola, Viviana Mascardi
Can My Test Case Run on Your Test Plant? A Logic-Based Compliance Check and Its Evaluation on Real Data. RuleML+RR (2017)
Oscar Cornejo, Daniela Briola, Daniela Micucci, Leonardo Mariani
In The Field Monitoring of Interactive Applications. CoRR (2017)
Daniela Briola, Vincenzo Deufemia, Viviana Mascardi, Luca Paolino
Agent-oriented and ontology-driven digital libraries: the IndianaMAS experience. Softw. Pract. Exp. 47 (11) (2017)
Davide Ancona, Daniela Briola, Angelo Ferrando, Viviana Mascardi
MAS-DRiVe: a Practical Approach to Decentralized Runtime Verification of Agent Interaction Protocols. WOA (2016)
Davide Ancona, Daniela Briola, Angelo Ferrando, Viviana Mascardi
Global Protocols as First Class Entities for Self-Adaptive Agents. AAMAS (2015)
Maurizio Leotta, Silvio Beux, Viviana Mascardi, Daniela Briola
My MOoD, a Multimedia and Multilingual Ontology Driven MAS: Design and First Experiments in the Sentiment Analysis Domain. ESSEM@AAMAS (2015)
Silvio Beux, Daniela Briola, Andrea Corradi, Giorgio Delzanno, Angelo Ferrando, Federico Frassetto, Giovanna Guerrini, Viviana Mascardi, Marco Oreggia, Francesca Pozzi, Alessandro Solimando, Armando Tacchella
Computational thinking for beginners: A successful experience using Prolog. CILC (2015)
Daniela Briola
Agents and Ontologies for a Smart Management of Heterogeneous Data: The IndianaMas System. IDC (2015)
Davide Ancona, Daniela Briola, Angelo Ferrando, Viviana Mascardi
Runtime verification of fail-uncontrolled and ambient intelligence systems: A uniform approach. Intelligenza Artificiale 9 (2) (2015)
Davide Ancona, Daniela Briola, Viviana Mascardi
Protocols with Exceptions, Timeouts, and Handlers: A Uniform Framework for Monitoring Fail-Uncontrolled and Ambient Intelligence Systems. WOA (2015)
Daniela Briola, Viviana Mascardi, Davide Ancona
Distributed Runtime Verification of JADE Multiagent Systems. IDC (2014)
Davide Ancona, Daniela Briola, Amal El Fallah Seghrouchni, Viviana Mascardi, Patrick Taillibert
Exploiting Prolog for Projecting Agent Interaction Protocols. CILC (2014)
Davide Ancona, Daniela Briola, Amal El Fallah Seghrouchni, Viviana Mascardi, Patrick Taillibert
Efficient Verification of MASs with Projections. EMAS@AAMAS (2014)
Daniela Briola, Viviana Mascardi, Davide Ancona
Distributed Runtime Verification of JADE and Jason Multiagent Systems with Prolog. CILC (2014)
Daniela Briola, Vincenzo Deufemia, Viviana Mascardi, Luca Paolino, Nicoletta Bianchi
Ontology-Driven Processing and Management of Digital Rock Art Objects in IndianaMAS. EuroMed (2014)
Daniela Briola, Riccardo Caccia, Michele Bozzano, Angela Locoro
Ontologica: Exploiting ontologies and natural language for railway management. Design, implementation and usage examples. Int. J. Knowl. Based Intell. Eng. Syst. 17 (1) (2013)
Viviana Mascardi, Daniela Briola, Davide Ancona
On the Expressiveness of Attribute Global Types: The Formalization of a Real Multiagent System Protocol. AI*IA (2013)
Supriyo Ghosh, Animesh Dutta, Viviana Mascardi, Daniela Briola
Exploiting MAS-Based Simulation to Improve the Indian Railways' Efficiency. MATES (2013)
Daniela Briola, Riccardo Caccia, Michele Bozzano, Angela Locoro
Ontologica: Exploiting Ontologies and Natural Language for Representing and Querying Railway Management Logics. KES (2012)
Michele Bozzano, Daniela Briola, Diego Leone, Angela Locoro, Lanfranco Marasso, Viviana Mascardi
MUSE: MUltilinguality and SEmantics for the Citizens of the World. IDC (2012)
Angela Locoro, Viviana Mascardi, Daniela Briola, Maurizio Martelli, Massimo Ancona, Vincenzo Deufemia, Luca Paolino, Genny Tortora, Giuseppe Polese, Rita Francese
The Indiana MAS Project: Goals and Preliminary Results. WOA (2012)
Daniela Briola, Viviana Mascardi
Design and Implementation of a NetLogo Interface for the Stand-Alone FYPA System. WOA (2011)
Daniela Briola, Viviana Mascardi
Multi Agent Resource Allocation: a Comparison of Five Negotiation Protocols. WOA (2011)
Daniela Briola, Viviana Mascardi, Maurizio Martelli, Riccardo Caccia, Carlo Milani
Dynamic Resource Allocation in a MAS: A Case Study from the Industry. WOA (2009)
Daniela Briola, Viviana Mascardi, Maurizio Martelli, Gabriele Arecco, Riccardo Caccia, Carlo Milani
A Prolog-Based MAS for Railway Signalling Monitoring: Implementation and Experiments. WOA (2008)
Viviana Mascardi, Daniela Briola, Maurizio Martelli, Riccardo Caccia, Carlo Milani
Monitoring and Diagnosing Railway Signalling with Logic-Based Distributed Agents. CISIS (2008)
Angela Locoro, Viviana Mascardi, Daniela Briola
Ontology Agents in FIPA-compliant Platforms: Survey and a New Proposal. WOA (2008)