SC Harvester Papers Database Interface

A Formal Approach for Flexible Modeling and Analysis of Transaction Timeliness and Isolation

Simin Cai, B. Gallina, Dag Nyström, C. Seceleanu. In: Proceedings of the 24th International Conference on Real-Time Networks and Systems. 2016

Coordinated Actors for Reliable Self-adaptive Systems

Maryam Bagheri, Ilge Akkaya, Ehsan Khamespanah, Narges Khakpour, M. Sirjani et al. In: . 2016

Reliable Communication in Health Monitoring Applications

H. Fotouhi, M. Vahabi, Apala Ray, M. Björkman. In: . 2016

Session details: Engagement and user experience

Thomas Olsson. In: Proceedings of the 20th International Academic Mindtrek Conference. 2016

Session details: Directions for augmented reality

Thomas Olsson. In: Proceedings of the 20th International Academic Mindtrek Conference. 2016

Session details: Visualizations and animations

Thomas Olsson. In: Proceedings of the 20th International Academic Mindtrek Conference. 2016

Mutation-Based Test Generation for PLC Embedded Software Using Model Checking

Eduard Paul Enoiu, Daniel Sundmark, Adnan Causevic, R. Feldt, P. Pettersson. In: . 2016

Abstract: Testing is an important activity in engineering of industrial embedded software. In certain application domains (e.g., railway industry) engineering software is certified according to safety standards that require extensive software testing procedures to be applied for the development of reliable systems. Mutation analysis is a technique for creating faulty versions of a software for the purpose o...

PTRebeca: Modeling and analysis of distributed and asynchronous systems

Ali Jafari, Ehsan Khamespanah, M. Sirjani, H. Hermanns, M. Cimini. In: Sci. Comput. Program.. 2016

MDE4IoT: Supporting the Internet of Things with Model-Driven Engineering

Federico Ciccozzi, Romina Spalazzese. In: . 2016

MDE4IoT: Supporting the Internet of Things with Model-Driven Engineering

Federico Ciccozzi, Romina Spalazzese. In: . 2016

Perspectives on Motivation in PhD Education and Supervision

J. Axelsson, M. Maggio, M. Mondéjar, Romina Spalazzese, Zan Wu. In: . 2016

Descriptive vs prescriptive models in industry

Rogardt Heldal, Patrizio Pelliccione, Ulf Eliasson, Jonn Lantz, Jesper Derehag et al. In: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems. 2016

The quest for open source projects that use UML: mining GitHub

R. Hebig, Truong Ho-Quang, M. Chaudron, G. Robles, M. A. Fernández. In: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems. 2016

Multi-variability modeling and realization for software derivation in industrial automation management

Miao Fang, G. Leyh, Jörg Dörr, Christoph Elsner. In: Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems. 2016

Abstract: The systems of industrial automation management (IAM) are in the domain of information systems. IAM systems have software components that support manufacturing processes. The operational parts of IAM coordinate highly plug-compatible hardware devices. These functions lead to process and topology variability, which result in development and reuse challenges for software engineers in practice. This ...

A Complexity Measure for Textual Requirements

Vard Antinyan, M. Staron, A. Sandberg, J. Hansson. In: 2016 Joint Conference of the International Workshop on Software Measurement and the International Conference on Software Process and Product Measurement (IWSM-MENSURA). 2016