SC Harvester Papers Database Interface

A Simple and Flexible Timing Constraint Logic

B. Lisper, J. Nordlander. In: . 2012

Eternal Embedded Software: Towards Innovation Experiment Systems

J. Bosch, Ulrik Eklund. In: . 2012

Preface to the Fourth International Workshop on Requirements, Intentions, and Goals in Conceptual Modeling (RIGiM 2012)

C. Rolland, J. Horkoff, E. Yu, C. Salinesi, J. Castro. In: . 2012

Checking Correctness of Services Modeled as Priced Timed Automata

Aida Čaušević, C. Seceleanu, P. Pettersson. In: . 2012

Towards a Safety-Oriented Process Line for Enabling Reuse in Safety Critical Systems Development and Certification

B. Gallina, Irfan Šljivo, Omar Jaradat. In: 2012 35th Annual IEEE Software Engineering Workshop. 2012

Estimation of productivity increase for timing analysis tool chains

Nicholas A. Merriam, B. Lisper. In: International Journal on Software Tools for Technology Transfer. 2012

Moving the mobile Evolved Packet Core to the cloud

J. Kempf, B. Johansson, Sten Pettersson, Harald Luning, Tord Nilsson. In: 2012 IEEE 8th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob). 2012

Code-level timing analysis of embedded software: emsoft'12 invited talk session outline

H. Falk, K. Hammond, K. Larsen, B. Lisper, Stefan M. Petters. In: . 2012

Session details: Human-computer interaction: interaction and interactivity

Thomas Olsson. In: Proceeding of the 16th International Academic MindTrek Conference. 2012

Dynamic Variability in Software-Intensive Embedded System Families

J. Bosch, Rafael Capilla. In: Computer. 2012

CRN synthesis of β-SiAlON from a nanocomposite precursor of mesoporous silica–alumina (Al-SBA-15) with poly 4-vinyl pyridine

S. Abbaspour, A. Nourbakhsh, R. J. Kalbasi, F. Golestani-Fard, K. MacKenzie. In: Journal of Porous Materials. 2012