SC Harvester Papers Database Interface

Loop Bound Analysis based on a Combination of Program Slicing, Abstract Interpretation, and Invariant Analysis

Andreas Ermedahl, C. Sandberg, J. Gustafsson, Stefan Bygde, B. Lisper. In: . 2007

Elemental Function Overloadingin Explicitly Typed

LanguagesClaes, Thornberg, B. Lisper. 2007

Sequential PLEX, and its Potential for Parallel Execution

Johan Lindhult, B. Lisper. In: . 2007

A Model-Based Framework for Designing Embedded Real-Time Systems

Séverine Sentilles, Aneta Vulgarakis, I. Crnkovic. In: . 2007

Component-Based Software Engineering, 10th International Symposium, CBSE 2007

H. Schmidt, I. Crnkovic, G. Heineman, J. Stafford. In: . 2007

Component-Based Software Engineering of Trustworthy Embedded Systems

I. Crnkovic, H. Schmidt, J. Stafford, G. Heineman, K. Wallnau. In: Journal of Systems and Software. 2007

Software Component Evaluation: A Theoretical Study on Component Selection and Certification

Alexandre Alvaro, R. Land, I. Crnkovic. In: . 2007

Software Configuration Management editorial

R. Krikhaar, I. Crnkovic. In: Science of Computer Programming. 2007

How to Improve Software Integration

S. Larsson, Petri Myllyperkiö, F. Ekdahl, I. Crnkovic. In: . 2007

Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7, 2007, Companion Papers

I. Crnkovic, A. Bertolino. In: . 2007

Tutorial: Emerging Technologies in Industrial Context - Component-Based and Service-Oriented Software Engineering

I. Crnkovic, H. Pei-Breivold. In: . 2007

Quality of SoftwareArchitectures: Second International Conferenceon Quality of Software Architectures, QoSA 2006Västeras, Schweden, June 27-29, 2006Revised Papers (Lecture Notes in Computer Science)

C. Hofmeister, I. Crnkovic, Ralf H. Reussner. In: . 2007

A Classification Framework for Component Models

I. Crnkovic, M. Chaudron, Séverine Sentilles, Aneta Vulgarakis. In: . 2007

Increasing Interdisciplinarity by Distance Learning: Examples Connecting Economics with Software Engineering, and Computing with Philosophy

G. Dodig-Crnkovic, I. Crnkovic. In: . 2007

Guest Editorial

I. Crnkovic, G. Heineman, H. Schmidt, J. Stafford, K. Wallnau. In: J. Syst. Softw.. 2007