patrizia scandurra
TitoloCitata daAnno
Component-based robotic engineering (part i)[tutorial]
D Brugali, P Scandurra
IEEE Robotics & Automation Magazine 16 (4), 84-96, 2009
1982009
A SoC design methodology involving a UML 2.0 profile for SystemC
E Riccobene, P Scandurra, A Rosti, S Bocchio
Proceedings of the conference on Design, Automation and Test in Europe …, 2005
1192005
Modeling and analyzing MAPE-K feedback loops for self-adaptation
P Arcaini, E Riccobene, P Scandurra
Proceedings of the 10th international symposium on software engineering for …, 2015
712015
A model-driven design environment for embedded systems
E Riccobene, P Scandurra, A Rosti, S Bocchio
2006 43rd ACM/IEEE Design Automation Conference, 915-918, 2006
652006
A semantic framework for metamodel-based languages
A Gargantini, E Riccobene, P Scandurra
Automated software engineering 16 (3-4), 415-454, 2009
632009
A metamodel-based language and a simulation engine for abstract state machines
AM Gargantini, E Riccobene, P Scandurra
Know-Center 14 (12), 1949-1983, 2008
632008
On-orbit servicing
E Stoll, J Letschnik, U Walter, J Artigas, P Kremer, C Preusche, ...
IEEE robotics & automation magazine 16 (4), 29-33, 2009
542009
A model‐driven process for engineering a toolset for a formal method
P Arcaini, A Gargantini, E Riccobene, P Scandurra
Software: Practice and Experience 41 (2), 155-166, 2011
472011
A scenario-based validation language for ASMs
A Carioni, A Gargantini, E Riccobene, P Scandurra
International Conference on Abstract State Machines, B and Z, 71-84, 2008
422008
UML for ESL design-basic principles, tools, and applications
W Mueller, A Rosti, S Bocchio, E Riccobene, P Scandurra, W Dehaene, ...
2006 IEEE/ACM International Conference on Computer Aided Design, 73-80, 2006
392006
A UML 2.0 profile for SystemC: toward high-level SoC design
E Riccobene, P Scandurra, A Rosti, S Bocchio
Proceedings of the 5th ACM international conference on Embedded software …, 2005
372005
SystemC/C-based model-driven design for embedded systems
E Riccobene, P Scandurra, S Bocchio, A Rosti, L Lavazza, L Mantellini
ACM Transactions on Embedded Computing Systems (TECS) 8 (4), 30, 2009
342009
Improving SoC design flow by means of MDA and UML profiles
E Riccobene, A Rosti, P Scandurra
3rd Workshop in Software Model Engineering (WiSME 2004), 2004
342004
Model-driven language engineering: The ASMETA case study
A Gargantini, E Riccobene, P Scandurra
2008 The Third International Conference on Software Engineering Advances …, 2008
312008
Designing a unified process for embedded systems
E Riccobene, P Scandurra, A Rosti, S Bocchio
Fourth International Workshop on Model-Based Methodologies for Pervasive and …, 2007
312007
Adaptation space exploration for service-oriented applications
R Mirandola, P Potena, P Scandurra
Science of Computer Programming 80, 356-384, 2014
252014
A UML 2.0 profile for SystemC
E Riccobene, P Scandurra, A Rosti, S Bocchio
STMicroelectronics, 2005
252005
Combining formal methods and MDE techniques for model-driven system design and analysis
A Gargantini, E Riccobene, P Scandurra
INTERNATIONAL JOURNAL 1, 2010
212010
A metamodel-based simulator for ASMs
A Gargantini, E Riccobene, P Scandurra
Proc. of the 14th Intl. Abstract State Machines Workshop, 2007
202007
Formal design and verification of self-adaptive systems with decentralized control
P Arcaini, E Riccobene, P Scandurra
ACM Transactions on Autonomous and Adaptive Systems (TAAS) 11 (4), 25, 2017
192017
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20