Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 41

Doctoral Thesis (2)

Limited Preemptive Scheduling in Real-time Systems (May 2016)
Abhilash Thekkilakattil

Formal Approaches for Behavioral Modeling and Analysis of Design-time Services and Service Negotiations (Dec 2013)
Aida Causevic

Licentiate Thesis (1)

Resource Augmentation for Performance Guarantees in Embedded Real-time Systems (Nov 2012)
Abhilash Thekkilakattil

Journal article (5)

The Limited-preemptive Feasibility of Real-time Tasks on Uniprocessors (Apr 2015)
Abhilash Thekkilakattil, Radu Dobrin, Sasikumar Punnekkat
Real-Time Systems: The International Journal of Time-Critical Computing Systems (RTSJ'15)

Embedded Systems Software Architecture (Nov 2013)
Ivica Crnkovic, Judith Stafford
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.)

A Formal Analysis Framework for AADL (Nov 2011)
Stefan Björnander, Cristina Seceleanu, Kristina Lundqvist, Paul Pettersson
The Journal of Science and Technology

Software Components beyond Programming: From Routines to Services (Jul 2011)
Ivica Crnkovic, Judith Stafford , Clemens Szyperski
IEEE Software

Conference/Workshop Paper (27)

Quantifying the Exact Sub-Optimality of Non-Preemptive Scheduling (Dec 2015)
Rob Davis , Abhilash Thekkilakattil, Oliver Gettings , Radu Dobrin, Sasikumar Punnekkat
The 36th IEEE Real-Time Systems Symposium (RTSS'15)

What is the Exact Speedup Factor for Fixed Priority Pre-emptive versus Fixed Priority Non-pre-emptive Scheduling? (Jul 2015)
Rob Davis , Oliver Gettings , Abhilash Thekkilakattil, Radu Dobrin, Sasikumar Punnekkat
The 6th International Real-Time Scheduling Open Problems Seminar (RTSOPS'15)

Ethics Aspects Of Embedded And Cyber-Physical Systems (Jul 2015)
Abhilash Thekkilakattil, Gordana Dodig-Crnkovic
The 39th Annual International Computers, Software & Applications Conference (COMPSAC'15)

Fault Tolerant Scheduling of Mixed Criticality Real-Time Tasks under Error Bursts (Dec 2014)
Abhilash Thekkilakattil, Radu Dobrin, Sasikumar Punnekkat
The International Conference on Information and Communication Technologies (ICICT'14)

Optimizing Preemption-Overhead Accounting in Multiprocessor Real-Time Systems (Oct 2014)
Bryan Ward , Abhilash Thekkilakattil, James Anderson
The 22nd International Conference on Real-Time Networks and Systems (RTNS'14)

Towards Exploiting Limited Preemptive Scheduling for Partitioned Multicore Systems (Oct 2014)
Abhilash Thekkilakattil, Radu Dobrin, Sasikumar Punnekkat
The 8th Junior Researcher Workshop on Real-Time Computing (JRWRTC'14)

SWEET – a Tool for WCET Flow Analysis (Oct 2014)
Björn Lisper
6th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2014)

Bounding the Effectiveness of Temporal Redundancy in Fault-tolerant Real-time Scheduling under Error Bursts (Sep 2014)
Abhilash Thekkilakattil, Radu Dobrin, Sasikumar Punnekkat
The 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'14)

The Global Limited Preemptive Earliest Deadline First Feasibility of Sporadic Real-time Tasks (Jul 2014)
Abhilash Thekkilakattil, Sanjoy Baruah , Radu Dobrin, Sasikumar Punnekkat
The 26th Euromicro Conference on Real-Time Systems (ECRTS'14)

Principles for Value Annotation Languages (Jul 2014)
Björn Lisper
14th International Workshop on Worst-Case Execution Time Analysis (WCET'14)

Mixed Criticality Scheduling in Fault-Tolerant Distributed Real-time Systems (Jul 2014)
Abhilash Thekkilakattil, Radu Dobrin, Sasikumar Punnekkat
International Conference on Embedded Systems 2014 (ICES2014)

The Impact of Intra-core and Inter-core Task Communication on Architectural Analysis of Multicore Embedded Systems (Oct 2013) -- Best Paper Award--
Juraj Feljan, Jan Carlson
The Eighth International Conference on Software Engineering Advances (ICSEA 2013)

Quantifying the Sub-optimality of Non-preemptive Real-time Scheduling (Jul 2013)
Abhilash Thekkilakattil, Radu Dobrin, Sasikumar Punnekkat
The 25th Euromicro Conference on Real-Time Systems

An Analyzable Model of Automated Service Negotiation (Mar 2013)
Aida Causevic, Cristina Seceleanu, Paul Pettersson
International Symposium on Service-Oriented System Engineering (IEEE SOSE 2013)

Resource Augmentation for Fault-Tolerance Feasibility of Real-time Tasks under Error Bursts (Nov 2012)
Abhilash Thekkilakattil, Radu Dobrin, Sasikumar Punnekkat, Hüseyin Aysan
The 20th International Conference on Real-Time and Network Systems (shortlisted for best student paper award)

Checking Correctness of Services Modeled as Priced Timed Automata (Oct 2012)
Aida Causevic, Cristina Seceleanu, Paul Pettersson
International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2012)

Towards a model-based approach for allocating tasks to multicore processors (Sep 2012)
Juraj Feljan, Jan Carlson, Tiberiu Seceleanu
38th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)

Timing Analysis of Component-based Embedded Systems (Jun 2012)
Jan Carlson
15th International ACM SIGSOFT Symposium on Component Based Software Engineering (CBSE'12)

Probabilistic Preemption Control using Frequency Scaling for Sporadic Real-time Tasks (Jun 2012)
Abhilash Thekkilakattil, Radu Dobrin, Sasikumar Punnekkat
The 7th IEEE International Symposium on Industrial Embedded Systems

15 Years of CBSE Symposium: Impact on the Research Community (Jun 2012)
Josip Maras, Luka Lednicki , Ivica Crnkovic
CBSE 12 Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering

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)

Flexible Semantic-Preserving Flattening of Hierarchical Component Models (Aug 2011)
Thomas Leveque, Jan Carlson, Séverine Sentilles, Etienne Borde
37th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA)

Automatic Synthesis and Adaption of Gray-box Components for Embedded Systems - Reuse vs. Optimization (Jul 2011)
Etienne Borde, Jan Carlson
3rd IEEE International Workshop on Component-Based Design of Resource-Constrained Systems (CORCS)

Design-Time Verification of Component-Based Embedded Systems With Respect to Extra-Functional Properties (Jun 2011)
Juraj Feljan
16th International Workshop on Component-Oriented Programming (WCOP)

Towards Preemption Control Using CPU Frequency Scaling in Sporadic Task Systems (Jun 2011)
Abhilash Thekkilakattil, Radu Dobrin, Sasikumar Punnekkat
The 6th IEEE International Symposium on Industrial Embedded Systems (WiP)

Towards a Contract-based Fault-tolerant Scheduling Framework for Distributed Real-time Systems (Jun 2011)
Abhilash Thekkilakattil, Hüseyin Aysan, Sasikumar Punnekkat
The 1st International Workshop on Dependable and Secure Industrial and Embedded Systems

Preemption Control using CPU Frequency Scaling in Real-time Systems (May 2011)
Abhilash Thekkilakattil, Radu Dobrin, Sasikumar Punnekkat
The 18th International Conference on Control Systsems and Computer Science

Report - MRTC (3)

Distributed Energy Management Case Study: A Formal Approach to Analyzing Utility Functions (Oct 2013)
Aida Causevic, Cristina Seceleanu, Paul Pettersson

Algorithmic Computation of Strongest Postconditions of Services as Priced Timed Automata (Apr 2012)
Aida Causevic, Cristina Seceleanu, Paul Pettersson

Proceedings of the 23rd Nordic Workshop on Programming Theory (Oct 2011)
Paul Pettersson, Cristina Seceleanu

Report (2)

Using Processor Speed-up to Control Preemption Related Costs (Jan 2013)
Abhilash Thekkilakattil, Radu Dobrin, Sasikumar Punnekkat

Quantifying the Sub-Optimality of Non-Preemptive Real-time Scheduling (Nov 2012)
Abhilash Thekkilakattil, Radu Dobrin, Sasikumar Punnekkat

Proceedings (Editor) (1)

Proceedings of the 17th international ACM Sigsoft symposium on Component-based software engineering (Jul 2014)
Lionel Seinturier , Eduardo Santana de Almeida , Jan Carlson
The 17th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE'14)

Items per page: