Travelled to:
1 × Cyprus
1 × Germany
1 × Italy
1 × Poland
1 × Spain
1 × United Kingdom
3 × USA
Collaborated with:
P.Scandurra A.Gargantini A.Cavarra P.Arcaini E.Börger A.Rosti S.Bocchio A.Zavanella R.Mirandola
Talks about:
model (9) formal (5) system (4) uml (4) state (3) test (3) generat (2) environ (2) automat (2) machin (2)
Person: Elvinia Riccobene
DBLP: Riccobene:Elvinia
Contributed to:
Wrote 12 papers:
- ESEC-FSE-2015-ArcainiGR #composition #generative #modelling #testing
- Improving model-based test generation by model decomposition (PA, AG, ER), pp. 119–130.
- SAC-2015-RiccobeneS #adaptation #formal method #modelling #self
- Formal modeling self-adaptive service-oriented applications (ER, PS), pp. 1704–1710.
- TAP-2014-ArcainiGR #abstraction #model checking #testing
- An Abstraction Technique for Testing Decomposable Systems by Model Checking (PA, AG, ER), pp. 36–52.
- ASE-2011-ArcainiGR #automation #generative #optimisation #satisfiability #smt #testing
- Optimizing the automatic test generation by SAT and SMT solving for Boolean expressions (PA, AG, ER), pp. 388–391.
- DAC-2006-RiccobeneSRB #design #embedded #modelling
- A model-driven design environment for embedded systems (ER, PS, AR, SB), pp. 915–918.
- DATE-2005-RiccobeneSRB #design #uml
- A SoC Design Methodology Involving a UML 2.0 Profile for SystemC (ER, PS, AR, SB), pp. 704–709.
- SAC-2004-CavarraRS #framework #modelling #simulation #uml
- A framework to simulate UML models: moving from a semi-formal to a formal environment (AC, ER, PS), pp. 1519–1523.
- FASE-2003-GargantiniR #animation #automation #modelling #specification
- Automatic Model Driven Animation of SCR Specifications (AG, ER), pp. 294–309.
- SAC-2003-BorgerRC #concurrent #modelling #state machine #uml
- Modeling the Meaning of Transitions from and to Concurrent States in UML State Machines (EB, ER, AC), pp. 1086–1091.
- SAC-J-2003-BorgerCR04 #formal method #on the #state machine #uml #using
- On formalizing UML state machines using ASM (EB, AC, ER), pp. 287–292.
- SAC-2000-CavarraRZ #formal method #parallel #semantics
- A Formal Model for the Parallel Semantics of P3L (AC, ER, AZ), pp. 804–812.
- ECSA-2018-ArcainiMRS #adaptation #domain-specific language #representation #self
- A DSL for MAPE Patterns Representation in Self-adapting Systems (PA, RM, ER, PS), pp. 3–19.