Elvinia Riccobene
University of Milan(IT)Mylan (Switzerland)(CH)
Publications by Year
Research Areas
Formal Methods in Verification, Advanced Software Engineering Methodologies, Model-Driven Software Engineering Techniques, Software Testing and Debugging Techniques, Software Reliability and Analysis Research
Most-Cited Works
- → Modeling and Analyzing MAPE-K Feedback Loops for Self-Adaptation(2015)200 cited
- → An ASM Semantics for UML Activity Diagrams(2000)100 cited
- → Modeling the Dynamics of UML State Machines(2000)98 cited
- → ASM-Based Testing: Coverage Criteria and Automatic Test Sequence(2020)82 cited
- → A SoC Design Methodology Involving a UML 2.0 Profile for SystemC(2005)79 cited
- → A Metamodel-based Language and a Simulation Engine for Abstract State Machines(2020)77 cited
- → A model‐driven process for engineering a toolset for a formal method