Concepedia

Maura Cerioli

MC

5

Publications

195

Citations

5

H-Index

1995

Active since

Affiliations

University of Genoa(Current)

Maura Cerioli is an author at University of Genoa specializing in engineering, software engineering, and technology.

Top concepts

EngineeringTechnologyFormal MethodsSensor NetworksSystem SoftwareComputer ScienceInternet Of ThingsAutomated ReasoningSystems EngineeringComputer Engineering

Publications per year

1995–2020

5

Publications

5

May I borrow your logic? (Transporting logical structures along maps)

Maura Cerioli, José Meseguer · Theoretical Computer Science · 1997 · 70 citations

Applied Logic, Computational Logic, Engineering +8

What are IoT systems for real? An experts’ survey on software engineering aspects

Gianna Reggio, Maurizio Leotta, Maura Cerioli et al. · Internet of Things · 2020 · 50 citations

Sensor Networks, Engineering, Software Engineering Aspects +11

What 5 million job advertisements tell us about testing

Maura Cerioli, Maurizio Leotta, Filippo Ricca · 2020 · 42 citations

Software Maintenance, Final Product Quality, Engineering +19

On the Deployment of IoT Systems: An Industrial Survey

Fahed Alkhabbas, Romina Spalazzese, Maura Cerioli et al. · 2020 · 19 citations · Full text

Provisioning (Technology), Engineering, Industrial Survey +21

Free objects and equational deduction for partial conditional specifications

Egidio Astesiano, Maura Cerioli · Theoretical Computer Science · 1995 · 14 citations

Engineering, Automated Reasoning, Formal Methods +6

Rows per page

1–5 of 5