Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 69 (showing 1 - 50)

Doctoral Thesis (2)

Adaptive and Flexible Scheduling Frameworks for Component-Based Real-Time Systems (Nov 2015)
Nima Khalilzad

Introducing Mode Switch in Component-Based Software Development (Sep 2015)
Hang Yin

Licentiate Thesis (5)

An Observer-Based Technique with Trace Links for Requirements Validation in Embedded Real-Time Systems (Oct 2014)
Jiale Zhou

Adaptive Hierarchical Scheduling Framework for Real-Time Systems (Jun 2013)
Nima Khalilzad

Mode switch for component-based multi-mode systems (Dec 2012)
Hang Yin

Design and Analysis Support for Abstract Models of Component-based Embedded Systems (Jun 2011)
Jagadish Suryadevara

Formal Approaches to Service-oriented Design: From Behavioral Modeling to Service Analysis (Jun 2011)
Aida Causevic

Journal article (7)

Towards Adaptive Resource Reservations for Component-Based Distributed Real-Time Systems (Jun 2015)
Nima Khalilzad, Mohammad Ashjaei, Luis Almeida, Moris Behnam, Thomas Nolte
ACM SIGBED Review. Special Issue on 7th Workshop on Adaptive and Reconfigurable Embedded Systems (APRES 2015) (SIGBED Review)

Adaptive Task Automata with Earliest-Deadline-First Scheduling (Nov 2014)
Leo Hatvani, Alexandre David , Cristina Seceleanu, Paul Pettersson
Electronic Communications of the EASST Volume 70: Automated Verification of Critical Systems (EASST'14)

Mode switch timing analysis for component-based multi-mode systems (Nov 2013)
Hang Yin, Hans Hansson
Journal of Systems Architecture, 2013, 59(10) (JSA, 59(10))

Component Models for Reasoning (Nov 2013)
Cristina Seceleanu, Ivica Crnkovic
The Computer Journal (Comput. J.)

Exact and Approximate Supply Bound Function for Multiprocessor Periodic Resource Model: Unsynchronized Servers (Oct 2013)
Nima Khalilzad, Moris Behnam, Thomas Nolte
ACM SIGBED Review. Special Issue on 5th Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2012) (SIGBED Review)

Modeling and Analysis of Adaptive Embedded Systems using Adaptive Task Automata (Feb 2013)
Leo Hatvani, Cristina Seceleanu, Paul Pettersson
Special Issue on the 4th Workshop on Adaptive and Reconfigurable Embedded Systems (APRES 2012) (SIGBEDRevV10N1)

Timing analysis for a composable mode switch (Sep 2011)
Hang Yin, Hans Hansson
ACM SIGBED Review

Conference/Workshop Paper (44)

Adaptive Multi-Resource End-to-End Reservations for Component-Based Distributed Real-Time Systems (Oct 2015)
Nima Khalilzad, Mohammad Ashjaei, Luis Almeida, Moris Behnam, Thomas Nolte
13th IEEE Symposium on Embedded Systems for Real-Time Multimedia (ESTIMedia'15)

On Component-Based Software Development for Multiprocessor Real-Time Systems (Aug 2015)
Nima Khalilzad, Moris Behnam, Thomas Nolte
21st IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'15)

Towards Energy-Aware Placement of Real-Time Virtual Machines in a Cloud Data Center (Aug 2015)
Nima Khalilzad, Hamid Reza Faragardi, Thomas Nolte
IEEE International Symposium on High Performance and Smart Computing (HPSC'15)

Extended Support for Limited Preemption Fixed Priority Scheduling for OSEK/AUTOSAR-Compliant Operating Systems (Jun 2015)
Matthias Becker, Nima Khalilzad, Reinder J. Bril, Thomas Nolte
10th IEEE International Symposium on Industrial Embedded Systems (SIES'15)

A Feedback Scheduling Framework for Component-Based Soft Real-Time Systems (Apr 2015)
Nima Khalilzad, Fanxin Kong , Xue Liu , Moris Behnam, Thomas Nolte
21th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'15)

Towards Adaptive Resource Reservations for Component-Based Distributed Real-Time Systems (Apr 2015)
Nima Khalilzad, Mohammad Ashjaei, Luis Almeida, Moris Behnam, Thomas Nolte
7th Workshop on Adaptive and Reconfigurable Embedded Systems (APRES'15)

Flexible and efficient reuse of multi-mode components for building multi-mode systems (Jan 2015)
Hang Yin, Hans Hansson
The 14th International Conference on Software Reuse (ICSR2015)

Handling emergency mode switch for component-based systems (Dec 2014)
Hang Yin, Hans Hansson
The 21st Asia-Pacific Software Engineering Conference (APSEC'14)

Formalization and verification of mode changes in hierarchical scheduling (Oct 2014)
Hang Yin, Rafia Inam, Reinder J. Bril, Mikael Sjödin
26th Nordic Workshop on Programming Theory (NWPT'14)

A Mode Switch Logic for component-based multi-mode systems (Oct 2014)
Hang Yin, Hans Hansson
23rd Nordic Workshop on Programming Theory (NWPT'11)

Adaptive Task Automata with Earliest-Deadline-First Scheduling (Sep 2014)
Leo Hatvani, Alexandre David , Cristina Seceleanu, Paul Pettersson
Pre-proceedings of the 14th International Workshop on Automated Verification of Critical Systems (AVoCS'14)

Towards Feature-oriented Requirements Validation for Automotive Systems (Aug 2014)
Jiale Zhou, Yue Lu, Kristina Lundqvist
22nd IEEE International Requirements Engineering Conference (RE'14)

The Observer-Based Technique for Requirements Validation in Embedded Real-Time Systems (Aug 2014)
Jiale Zhou, Yue Lu, Kristina Lundqvist
1st International Workshop on Requirements Engineering and Testing (RET'14)

A TASM-based Requirements Validation Approach for Safety-critical Embedded Systems (Jun 2014)
Jiale Zhou, Yue Lu, Kristina Lundqvist
The 19th International Conference on Reliable Software Technologies Ada-Europe 2014 (Ada-Europe14)

Probabilistic Application Interfaces for Hierarchical Scheduling (Dec 2013)
Nima Khalilzad, Meng Liu, Moris Behnam, Thomas Nolte
IEEE Real-Time Systems Symposium Work-in-Progress (WiP) session (RTSS13)

Handling multiple mode switch scenarios in component-based multi-mode systems (Dec 2013)
Hang Yin, Hans Hansson
The 20th Asia-Pacific Software Engineering Conference (APSEC2013)

Wind Turbine System : An Industrial Case Study in Formal Modeling and Verification (Oct 2013)
Jagadish Suryadevara, Gaetana Sapienza, Cristina Seceleanu, Tiberiu Seceleanu, Stein-Erik Ellevseth , Paul Pettersson
Second International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2013)

Verifying MARTE/CCSL Mode Behaviors using UPPAAL (Sep 2013)
Jagadish Suryadevara, Cristina Seceleanu, Frederic Mallet , Paul Pettersson
11th International Conference on Software Engineering and Formal Methods

Adaptive Hierarchical Scheduling Framework: Configuration and Evaluation (Sep 2013)
Nima Khalilzad, Moris Behnam, Thomas Nolte
18th IEEE International Conference on Emerging Technologies & Factory Automation (ETFA'13)

Validating EAST-ADL Timing Constraints using UPPAAL (Sep 2013)
Jagadish Suryadevara
39th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)

A Context-based Information Retrieval Technique for Recovering Use-Case-to-Source-Code Trace Links in Embedded Software Systems (Sep 2013)
Jiale Zhou, Yue Lu, Kristina Lundqvist
39th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2013)

Towards Energy-aware Multiprocessor Hierarchical Scheduling of Real-time Systems (Aug 2013)
Nima Khalilzad, Juri Lelli , Giuseppe Lipari , Thomas Nolte

Multi-Level Adaptive Hierarchical Scheduling Framework for Composing Real-Time Systems (Aug 2013)
Nima Khalilzad, Moris Behnam, Thomas Nolte
19th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'13)

Implementation of the Multi-Level Adaptive Hierarchical Scheduling Framework (Jul 2013)
Nima Khalilzad, Moris Behnam, Thomas Nolte
9th annual workshop on Operating Systems Platforms for Embedded Real-Time applications (OSPERT 13)

Mode switch handling for the ProCom component model (Jun 2013)
Hang Yin, Hongwan Qin , Jan Carlson, Hans Hansson
The 16th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE'13)

Towards Implementation of Virtual-Clustered Multiprocessor Scheduling in Linux (Jun 2013)
Syed Md Jakaria Abdullah, Nima Khalilzad, Moris Behnam, Thomas Nolte
8th IEEE International Symposium on Industrial Embedded Systems (SIES13), Work-in-Progress (WiP) session

Exact and Approximate Supply Bound Function for Multiprocessor Periodic Resource Model: Unsynchronized Servers (Dec 2012)
Nima Khalilzad, Moris Behnam, Thomas Nolte
5th International Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS12)

Timed Automata Modeling of CCSL Constraints (Nov 2012)
Jagadish Suryadevara, Ling Yin
First International Workshop on Formal Techniques for Safety-Critical Systems

Formal Execution Semantics for Asynchronous Constructs of AADL (Sep 2012)
Jiale Zhou, Andreas Johnsen, Kristina Lundqvist
5th International Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB'12)

Timing analysis for mode switch in component-based multi-mode systems (Jul 2012)
Hang Yin, Hans Hansson
24th Euromicro Conference on Real-Time Systems (ECRTS12)

Bandwidth Adaptation in Hierarchical Scheduling Using Fuzzy Controllers (Jun 2012)
Nima Khalilzad, Moris Behnam, Giacomo Spampinato, Thomas Nolte
7th IEEE International Symposium on Industrial Embedded Systems (SIES12)

Towards mode switch handling in component-based multi-mode systems (Jun 2012)
Hang Yin, Jan Carlson, Hans Hansson
15th International ACM SIGSOFT Symposium on Component Based Software Engineering (CBSE-2012)

Modeling and Analysis of Adaptive Embedded Systems using Adaptive Task Automata (Apr 2012)
Leo Hatvani, Cristina Seceleanu, Paul Pettersson
4th Workshop on Adaptive and Reconfigurable Embedded Systems (APRES2012)

Adaptive Task Automata: A Framework for Verifying Adaptive Embedded Systems (Mar 2012)
Leo Hatvani, Paul Pettersson, Cristina Seceleanu
FASE12: Proceedings of the 15th International Conference on Fundamental Approaches to Software Engineering

A mode mapping mechanism for component-based multi-mode systems (Nov 2011)
Hang Yin, Hans Hansson
4th Workshop on Compositional Theory and Technology for Real‐Time Embedded Systems(CRTS 2011)

Towards Adaptive Hierarchical Scheduling of Real-Time Systems (Sep 2011)
Nima Khalilzad, Thomas Nolte, Moris Behnam, Mikael Åsberg
16th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA11)

Items per page: