SC Harvester Papers Database Interface

A Multiparadigm Approach to Integrate Gestures and Sound in the Modeling Framework

Vasco Amaral, A. Cicchetti, R. Deshayes. In: . 2013

A design methodology for systematic Multiple properties-based Partitioning of embedded systems applications

Crnkovic Ivica, Co-Advisor, Tiberiu Seceleanu, A. Cicchetti, Lars Asplund. 2013

“ Bidirectionality in Model Transformations

I. Crnkovic, A. Cicchetti, Alfonso Pieran, Romina Eramo. 2013

Towards a Novel Model Versioning Approach Based on the Separation Between Linguistic and Ontological Aspects

A. Cicchetti, Federico Ciccozzi. In: . 2013

Customer-Specific Teams for Agile Software Evolution

H. Holmström, J. Bosch, H. Alahyari. 2013

Electronic Communications of the EASST Volume 66 ( 2013 ) Proceedings of the Automated Verification of Critical Systems ( AVoCS 2013 ) Functional and Performance Analysis of Network-on-Chips Using Actor-based Modeling and Formal Verification

Z. Sharifi, Mahdi Mosaffa, S. Mohammadi, M. Sirjani. 2013

Fundamentals of Software Engineering (selected papers of FSEN 2011)

F. Arbab, M. Sirjani. In: Sci. Comput. Program.. 2013

Comparison of NoC Routing Algorithms Using Formal Methods

Z. Sharifi, S. Mohammadi, M. Sirjani. In: . 2013

Fundamentals of Software Engineering

F. Arbab, M. Sirjani. In: . 2013

Automatic Synthesis of Heterogeneous CPU-GPU Embedded Applications from a UML Profile

Federico Ciccozzi. In: . 2013

A Model Management Framework for Maintaining Traceability Links

Thomas Beyhl, R. Hebig, H. Giese. In: . 2013

Monitoring Evolution of Code Complexity in Agile/Lean Software Development - A Case Study at Two Companies

Vard Antinyan, M. Staron, Wilhelm Meding, Per Österströ, Henric Bergenwall et al. In: . 2013

Forschungsberichte der Fakultät IV – Elektrotechnik und Informatik Modeling and Analysis of Self-Adaptive Systems Based on Graph Transformation

A. Bucchiarone, H. Ehrig, Claudia Ermel, Patrizio Pellicione, Olga Runge. 2013

13th Symposium on Programming Languages and Software Tools

Zalán Szügyi, Z. Ujhelyi, András Vörös, Miroslavu Staron, Wilhelm Meding et al. 2013

Managing Timing Implications of Security Aspects in Model-Driven Development of Real-Time Embedded Systems

Mehrdad Saadatmand, Thomas Leveque, A. Cicchetti, Mikael Sjödin. In: . 2012