Segui
patrizia scandurra
Titolo
Citata da
Citata da
Anno
Modeling and analyzing MAPE-K feedback loops for self-adaptation
P Arcaini, E Riccobene, P Scandurra
2015 IEEE/ACM 10th International Symposium on Software Engineering for …, 2015
2722015
Component-based robotic engineering (part i)[tutorial]
D Brugali, P Scandurra
IEEE Robotics & Automation Magazine 16 (4), 84-96, 2009
2502009
A SoC design methodology involving a UML 2.0 profile for SystemC
E Riccobene, P Scandurra, A Rosti, S Bocchio
Design, Automation and test in Europe, 704-709, 2005
1272005
A metamodel-based language and a simulation engine for abstract state machines.
A Gargantini, E Riccobene, P Scandurra
J. Univers. Comput. Sci. 14 (12), 1949-1983, 2008
992008
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
842011
A semantic framework for metamodel-based languages
A Gargantini, E Riccobene, P Scandurra
Automated software engineering 16, 415-454, 2009
782009
A model-driven design environment for embedded systems
E Riccobene, P Scandurra, A Rosti, S Bocchio
Proceedings of the 43rd annual Design Automation Conference, 915-918, 2006
732006
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), 1-35, 2017
692017
A scenario-based validation language for ASMs
A Carioni, A Gargantini, E Riccobene, P Scandurra
Abstract State Machines, B and Z: First International Conference, ABZ 2008 …, 2008
672008
UML for ESL design: basic principles, tools, and applications
W Mueller, A Rosti, S Bocchio, E Riccobene, P Scandurra, W Dehaene, ...
Proceedings of the 2006 IEEE/ACM international conference on Computer-aided …, 2006
462006
Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation: Applications for Design and Implementation
L Gomes, J Fernandes
IGI Global, 2009
442009
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), 1-37, 2009
422009
Adaptation space exploration for service-oriented applications
R Mirandola, P Potena, P Scandurra
Science of Computer Programming 80, 356-384, 2014
412014
Model-driven language engineering: The ASMETA case study
A Gargantini, E Riccobene, P Scandurra
2008 The Third International Conference on Software Engineering Advances …, 2008
412008
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
412005
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
352007
Combining formal methods and MDE techniques for model-driven system design and analysis
A Gargantini, E Riccobene, P Scandurra
INTERNATIONAL JOURNAL 1, 2010
342010
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
322004
Specifying and verifying real-time self-adaptive systems
M Camilli, A Gargantini, P Scandurra
2015 IEEE 26th International Symposium on Software Reliability Engineering …, 2015
302015
A formal framework for service modeling and prototyping
E Riccobene, P Scandurra
Formal Aspects of Computing 26, 1077-1113, 2014
302014
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20