Daniela Briola

60 papers A 4B 4C 1Misc 4Journal 19Unranked 27

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