SC Harvester Papers Database Interface

A preliminary design for a spherical inflatable microrover for planetary exploration

F. Bruhn, H. Kratz, J. Warell, C. Lagerkvist, Viktor Kaznov et al. In: Acta Astronautica. 2008

Maximizing the Fault Tolerance Capability of Fixed Priority Schedules

R. Dobrin, Hüseyin Aysan, S. Punnekkat. In: 2008 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications. 2008

Parametric Timing Analysis for Complex Architectures

S. Altmeyer, Christian Humbert, B. Lisper, R. Wilhelm. In: 2008 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications. 2008

Analyzing Software Evolvability

Hongyu Pei Breivold, I. Crnkovic, Peter Eriksson. In: 2008 32nd Annual IEEE International Computer Software and Applications Conference. 2008

Error Modeling in Dependable Component-Based Systems

Hüseyin Aysan, S. Punnekkat, R. Dobrin. In: 2008 32nd Annual IEEE International Computer Software and Applications Conference. 2008

A Product Line Perspective for Quality Reuse of Development Frameworks for Distributed Transactional Applications

B. Gallina, N. Guelfi. In: 2008 32nd Annual IEEE International Computer Software and Applications Conference. 2008

Using the Friction between Business Processes and Use Cases in SOA Requirements

E. Knauss, Daniel Lübke. In: 2008 32nd Annual IEEE International Computer Software and Applications Conference. 2008

Message from the CORCS 2008 Workshop Organizers

C. Seceleanu, P. Pettersson, H. Hansson. In: . 2008

CORCS 2008 Workshop Organization

C. Seceleanu, P. Pettersson, H. Hansson. In: . 2008

Evaluation of Automatic Flow Analysis for WCET Calculation on Industrial Real-Time System Code

Dani Barkah, Andreas Ermedahl, J. Gustafsson, B. Lisper, C. Sandberg. In: 2008 Euromicro Conference on Real-Time Systems. 2008

Bounding Shared-Stack Usage in Systems with Offsets and Precedences

M. Bohlin, Kaj Hänninen, Jukka Mäki-Turja, Jan Carlson, Mikael Nolin. In: 2008 Euromicro Conference on Real-Time Systems. 2008

Process algebraic verification of SystemC codes

Hossein Hojjat, M. Mousavi, M. Sirjani. In: 2008 8th International Conference on Application of Concurrency to System Design. 2008

An effective approach for model checking SystemC designs

Razieh Behjati, H. Sabouri, N. Razavi, M. Sirjani. In: 2008 8th International Conference on Application of Concurrency to System Design. 2008

Stress arrangement for decoupling when a substrate with a chip

Christoph Brueggenolte, A. Franke, S. Knies. In: . 2008

Can Patterns Improve i* Modeling? Two Exploratory Studies

M. Strohmaier, J. Horkoff, E. Yu, Jorge Aranda, S. Easterbrook. In: . 2008