Publications
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)
