Claudio Menghi

Cituota

	Visi	Nuo 2019
Šaltiniai	1195	1005
h-rodyklė	20	16
i10-rodyklė	34	32

260

130

195

2014201520162017201820192020202120222023202411 23 26 39 61 76 115 184 173 249 206

Viešas pasiekiamumas

Peržiūrėti viską

41 straipsnis

3 straipsniai

pasiekiami

nepasiekiami

Pagal finansavimo įpareigojimus

Bendraautoriai

Patrizio PelliccioneDirector of the CS area and Prof. in Software Engineering at Gran Sasso Science Institute (GSSI)Patvirtintas el. paštas gssi.it
Carlo GhezziEmeritus Professor, Politecnico di MilanoPatvirtintas el. paštas polimi.it
Lionel BriandProfessor, EECS, University of Ottawa, Canada and Lero Centre, University of Limerick, IrelandPatvirtintas el. paštas uottawa.ca
Paola SpoletiniKennesaw State UniversityPatvirtintas el. paštas kennesaw.edu
Thorsten BergerProfessor of Computer Science, Ruhr University BochumPatvirtintas el. paštas rub.de
Christos TsigkanosUniversity of Athens, GreecePatvirtintas el. paštas aerospace.uoa.gr
Shiva NejatiEECS / University of OttawaPatvirtintas el. paštas uottawa.ca
Sergio García GonzaloUniversity of GothenburgPatvirtintas el. paštas chalmers.se
Marsha ChechikProfessor of Computer Science, University of TorontoPatvirtintas el. paštas cs.toronto.edu
Bashar NuseibehThe Open UniversityPatvirtintas el. paštas open.ac.uk
Liliana PasqualeUniversity College DublinPatvirtintas el. paštas ucd.ie
Marcello M. BersaniPost-doc researcher, Politecnico di MilanoPatvirtintas el. paštas elet.polimi.it
Georgios FainekosToyota Research Institute of North AmericaPatvirtintas el. paštas toyota.com
Gidon ErnstSoftware and Computational Systems Lab, LMU MunichPatvirtintas el. paštas lmu.de
Giulia PedrielliAssociate Professor, School of Computing & Augmented Intelligence, Arizona State UniversityPatvirtintas el. paštas asu.edu
Paolo ArcainiNational Institute of InformaticsPatvirtintas el. paštas nii.ac.jp
Mehrnoosh AskarpourGeneral Motors, McMaster UniversityPatvirtintas el. paštas gm.com
Yago Isasi ParacheLuxSpace SàrlPatvirtintas el. paštas luxspace.lu
Yoriyuki YamagataSenior Researcher, National Institute of Advanced Industrial Science and Technology (AIST)Patvirtintas el. paštas aist.go.jp
Zhenya ZhangKyushu UniversityPatvirtintas el. paštas ait.kyushu-u.ac.jp

Stebėti

Claudio Menghi

University of Bergamo and McMaster University

Patvirtintas el. paštas unibg.it - Pagrindinis puslapis

formal methods software engineering automated verification


Pavadinimas Rūšiuoti pagal šaltinius Rūšiuoti pagal metus Rūšiuoti pagal pavadinimą	Cituota Cituota	Metai
Specification patterns for robotic missions C Menghi, C Tsigkanos, P Pelliccione, C Ghezzi, T Berger IEEE Transactions on Software Engineering (TSE), 2019	106	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	88	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	67	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	54	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	47	2020
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
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	46	2019
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	45	2019
Multi-Robot LTL Planning Under Uncertainty C Menghi, S Garcia, P Pelliccione, J Tumova 22nd International Symposium on Formal Methods (FM), 2018	45*	2018
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
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
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	31	2021
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	31	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	29	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	28	2017
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	23	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
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
Mining Assumptions for Software Components using Machine Learning K Gaaloul, C Menghi, S Nejati, L Briand, D Wolfe Foundations of Software Engineering (ESEC/FSE), 2020	21	2020
Property specification patterns for robotic missions C Menghi, C Tsigkanos, T Berger, P Pelliccione, C Ghezzi Proceedings of the 40th International Conference on Software Engineering …, 2018	21	2018

Sistema negali atlikti operacijos. Bandykite vėliau dar kartą.

Straipsniai 1–20

Šaltinių per metus

Dubliuoti šaltiniai

Sujungti šaltiniai

Pridėti bendraautoriusBendraautoriai

Stebėti

Cituota

Bendraautoriai