Takip et
patrizia scandurra
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
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
3302015
Component-based robotic engineering (part i)[tutorial]
D Brugali, P Scandurra
IEEE Robotics & Automation Magazine 16 (4), 84-96, 2009
2562009
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
1252005
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
1032008
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
952011
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
792017
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
772008
A semantic framework for metamodel-based languages
A Gargantini, E Riccobene, P Scandurra
Automated software engineering 16, 415-454, 2009
752009
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
752006
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
492006
Model-driven language engineering: The ASMETA case study
A Gargantini, E Riccobene, P Scandurra
2008 The Third International Conference on Software Engineering Advances …, 2008
462008
Behavioral Modeling for Embedded Systems and Technologies: Applications for Design and Implementation: Applications for Design and Implementation
L Gomes, J Fernandes
IGI Global, 2009
452009
Adaptation space exploration for service-oriented applications
R Mirandola, P Potena, P Scandurra
Science of Computer Programming 80, 356-384, 2014
422014
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
422005
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
412009
Combining formal methods and MDE techniques for model-driven system design and analysis
A Gargantini, E Riccobene, P Scandurra
International journal on advances in software 3 (1), 2010
352010
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
342007
A formal framework for service modeling and prototyping
E Riccobene, P Scandurra
Formal Aspects of Computing 26, 1077-1113, 2014
322014
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
Integrating formal methods with model-driven engineering
A Gargantini, E Riccobene, P Scandurra
2009 Fourth International Conference on Software Engineering Advances, 86-92, 2009
312009
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20