Claudio Menghi

Citado por

	Total	Desde 2020
Citas	1336	1069
Índice h	21	18
Índice i10	36	28

300

150

225

20142015201620172018201920202021202220232024202511 23 26 39 61 76 115 184 173 248 296 51

Acceso público

Ver todo

44 artículos

3 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Patrizio PelliccioneDirector of the CS area and Prof. in Software Engineering at Gran Sasso Science Institute (GSSI)Dirección de correo verificada de gssi.it
Carlo GhezziEmeritus Professor, Politecnico di MilanoDirección de correo verificada de polimi.it
Lionel BriandProfessor, EECS, University of Ottawa, Canada and Lero Centre, University of Limerick, IrelandDirección de correo verificada de uottawa.ca
Paola SpoletiniKennesaw State UniversityDirección de correo verificada de kennesaw.edu
Thorsten BergerProfessor of Computer Science, Ruhr University BochumDirección de correo verificada de rub.de
Christos TsigkanosUniversity of Athens, GreeceDirección de correo verificada de aerospace.uoa.gr
Shiva NejatiEECS / University of OttawaDirección de correo verificada de uottawa.ca
Marsha ChechikProfessor of Computer Science, University of TorontoDirección de correo verificada de cs.toronto.edu
Georgios FainekosToyota Research Institute of North AmericaDirección de correo verificada de toyota.com
Giulia PedrielliAssociate Professor, School of Computing & Augmented Intelligence, Arizona State UniversityDirección de correo verificada de asu.edu
Paolo ArcainiNational Institute of InformaticsDirección de correo verificada de nii.ac.jp
Zhenya ZhangKyushu UniversityDirección de correo verificada de ait.kyushu-u.ac.jp
Gidon ErnstSoftware and Computational Systems Lab, LMU MunichDirección de correo verificada de lmu.de
Sergio García GonzaloUniversity of GothenburgDirección de correo verificada de chalmers.se
Bashar NuseibehThe Open UniversityDirección de correo verificada de open.ac.uk
Liliana PasqualeUniversity College DublinDirección de correo verificada de ucd.ie
Marcello M. BersaniPost-doc researcher, Politecnico di MilanoDirección de correo verificada de elet.polimi.it
Goran FrehseProfessor of Computer Science, ENSTA ParisDirección de correo verificada de ensta-paris.fr
Mehrnoosh AskarpourGeneral Motors, McMaster UniversityDirección de correo verificada de gm.com
Yago Isasi ParacheLuxSpace SàrlDirección de correo verificada de luxspace.lu

Seguir

Claudio Menghi

University of Bergamo and McMaster University

Dirección de correo verificada de unibg.it - Página principal

formal methods software engineering automated verification


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
Specification patterns for robotic missions C Menghi, C Tsigkanos, P Pelliccione, C Ghezzi, T Berger IEEE Transactions on Software Engineering (TSE), 2019	117	2019
Approximation-Refinement Testing of Compute-Intensive Cyber-Physical Models: An Approach Based on System Identification C Menghi, S Nejati, LC Briand, YI Parache Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020	102	2020
Generating automated and online test oracles for Simulink models with continuous and uncertain behaviors C Menghi, S Nejati, K Gaaloul, LC Briand Foundations of Software Engineering, 27--38, 2019	69	2019
An Architecture for Decentralized, Collaborative, and Autonomous Robots S Garcia, C Menghi, P Pelliccione, T Berger, R Wohlrab International Conference on Software Architecture (ICSA), 2018	59	2018
Arch-comp 2020 category report: Falsification G Ernst, P Arcaini, I Bennani, A Donze, G Fainekos, G Frehse, L Mathesen, ... EPiC Series in Computing, 2020	50	2020
High-level mission specification for multiple robots S García, P Pelliccione, C Menghi, T Berger, T Bures Proceedings of the 12th ACM SIGPLAN international conference on software …, 2019	50	2019
Evaluating Model Testing and Model Checking for Finding Requirements Violations in Simulink Models S Nejati, K Gaaloul, C Menghi, LC Briand, S Foster, D Wolfe Foundations of Software Engineering, 2019	49	2019
Multi-Robot LTL Planning Under Uncertainty C Menghi, S Garcia, P Pelliccione, J Tumova 22nd International Symposium on Formal Methods (FM), 2018	47*	2018
Topology aware adaptive security L Pasquale, C Ghezzi, C Menghi, C Tsigkanos, B Nuseibeh Proceedings of the 9th international symposium on software engineering for …, 2014	47	2014
Engineering topology aware adaptive security: Preventing requirements violations at runtime C Tsigkanos, L Pasquale, C Menghi, C Ghezzi, B Nuseibeh 2014 IEEE 22nd International Requirements Engineering Conference (RE), 203-212, 2014	39	2014
ARCH-COMP 2021 Category Report: Falsification with Validation of Results. G Ernst, P Arcaini, I Bennani, A Chandratre, A Donzé, G Fainekos, ... ARCH@ ADHS, 133-152, 2021	37	2021
SecuriTAS: a tool for engineering adaptive security L Pasquale, C Menghi, M Salehie, L Cavallaro, I Omoronyia, B Nuseibeh Proceedings of the ACM SIGSOFT 20th International Symposium on the …, 2012	34	2012
RoboMAX: Robotic Mission Adaptation eXemplars M Askarpour, C Tsigkanos, C Menghi, R Calinescu, P Pelliccione, ... Symposium on Software Engineering for Adaptive and Self-Managing Systems …, 2021	33	2021
PsALM: Specification of dependable robotic missions C Menghi, C Tsigkanos, T Berger, P Pelliccione 2019 IEEE/ACM 41st International Conference on Software Engineering …, 2019	30	2019
From model checking to a temporal proof for partial models A Bernasconi, C Menghi, P Spoletini, LD Zuck, C Ghezzi Software Engineering and Formal Methods: 15th International Conference, SEFM …, 2017	29	2017
Arch-comp 2022 category report: Falsification with ubounded resources G Ernst, P Arcaini, G Fainekos, F Formica, J Inoue, T Khandait, ... Proceedings of 9th International Workshop on Applied Verification of …, 2022	26	2022
PROMISE: High-level mission specification for multiple robots S Garcia, P Pelliccione, C Menghi, T Berger, T Bures Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020	26	2020
Dealing with Incompleteness in Automata-Based Model Checking C Menghi, P Spoletini, C Ghezzi FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus …, 2016	23	2016
PuRSUE - From Specification of Robotic Environments to Synthesis of Controllers MM Bersani, M Soldo, C Menghi, P Pelliccione, M Rossi Formal Aspects of Computing, 2020	22	2020
On requirements verification for model refinements C Ghezzi, C Menghi, AM Sharifloo, P Spoletini 2013 21st IEEE International Requirements Engineering Conference (RE), 62-71, 2013	22	2013

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores