Publications
Number of publications matching the search criterion: 302 (showing 1 - 50)
Doctoral Thesis (8)
Runtime Monitoring for Safe Automated Driving Systems (Nov 2020) Ayhan Mehmed
Contracts-Based Maintenance of Safety Cases (Nov 2018) Omar Jaradat
Assurance Aware Contract-Based Design for Safety-Critical Systems (Sep 2018) Irfan Sljivo
Limited Preemptive Scheduling in Real-time Systems (May 2016) Abhilash Thekkilakattil
Quality of Test Design in Test Driven Development (Jun 2013) Adnan Causevic
Fault-Tolerance Strategies and Probabilistic Guarantees for Real-Time Systems (Jun 2012) Hüseyin Aysan
Distributed Computing and Safety Critical Systems in Ada (Apr 2000) Kristina Lundqvist
Safety Analysis of Systems-of-Systems Stephan Baumgart
Licentiate Thesis (9)
Runtime Monitoring of Automated Driving Systems (Oct 2019) Ayhan Mehmed
Improving the Schedulability of Real Time Systems under Fixed Preemption Point Scheduling (Sep 2018) Filip Markovic
A Confguration Agent for Dynamic Time-Critical Networks (Nov 2017) Marina Gutiérrez
An ALARP stop test decision for the worst case timing characteristics of safety-critical systems (Sep 2016) Mahnaz Malekzadeh
Facilitating Reuse of Safety Case Artefacts Using Safety Contracts (Jun 2015) Irfan Sljivo
Resource Augmentation for Performance Guarantees in Embedded Real-time Systems (Nov 2012) Abhilash Thekkilakattil
Software Testing in Agile Development: Technological and Organisational Challenges (Jun 2011) Adnan Causevic
New Strategies for Ensuring Time and Value Correctness in Dependable Real-Time Systems (May 2009) Hüseyin Aysan
Distribution of Ada by Means of Software and Hardware (Apr 1997) Kristina Lundqvist
Book chapter (4)
Schedulability Guarantees for Dependable Distributed Real-Time Systems under Error Bursts (Jan 2013) Hüseyin Aysan, Radu Dobrin, Sasikumar Punnekkat Advances in Intelligent Control Systems and Computer Science (AICSCS-13)
Reusing Transaction Models for Dependable Cloud Computing (Jan 2012) Barbara Gallina, Nicolas Guelfi Software Reuse in the Emerging Cloud Computing Era
Cost/Benefit Analysis of an Adherence Support Framework for Chronic Disease Management. (Jan 2011) Leelani Kumari Wickramasinghe , Michael P Georgeff, Christian Guttmann, Ian E Thomas , Heinz Schmidt
InSecTT technologies for the enhancement of industrial security and safety Sasikumar Punnekkat, Tijana Markovic, Miguel Leon Ortiz, Björn Leander, Alireza Dehlaghi Ghadim, Per Erik Strandberg
Collection (Editor) (3)
SoC based Architecture to Support Non-Intrusive Fault-Tolerance (Jan 2007) Kristina Lundqvist Unique Chips and Systems
Session Summary: The Ravenscar Profile and Implementation Issues (Jul 1999) Lars Asplund, B. Johnson , Kristina Lundqvist, Alan Burns The 0th International Real-time Ada Workshop, Ada LETTERS, vol XIX, Number 2
Position Paper: Extendable Dispatchable Task Communication Mechanisms (Jul 1999) Stephen Michell , Kristina Lundqvist Ada Letters, Volume XIX, Issue 2
Journal article (39)
Modeling and Safety Analysis for Collaborative Safety-Critical Systems Using Hierarchical Colored Petri Nets (Jan 2024) Nazakat Ali, Sasikumar Punnekkat, Abdul Rauf Journal of Systems and Software (JSS)
CAMP: A Hierarchical Cache Architecture for Multi-core Mixed Criticality Processors (Dec 2023) Arun Sukumaran Nair , Geeta Patil , Biju Raveendran , Sasikumar Punnekkat International Journal of Parallel, Emergent and Distributed Systems (IJPEDS2024)
A Structured Safety Analysis Process for Systems-of-Systems (SafeSoS) (May 2022) Stephan Baumgart, Joakim Fröberg , Sasikumar Punnekkat Journal of IEEE ACCESS (IEEE ACCESS)
TaskMUSTER - A Comprehensive Analysis of Task Parameters for Mixed Criticality Automotive Systems (Jan 2022) Arun Sukumaran Nair , Louella Colaco , Biju Raveendran , Sasikumar Punnekkat Sādhanā - Elsevier (Sadhana2021)
Safe and secure platooning of automated guided vehicles in Industry 4.0 (Oct 2021) Muhammad Atif Javed, Faiz Ul Muram, Sasikumar Punnekkat, Hans Hansson Journal of Systems Architecture, 2021 (JSA)
The teaching of computer ethics on computer science and related degree programmes. a European survey (Oct 2021) Ioannis Stavrakakis , Damian Gordon , Brendan Tierney , Anna Becevel , Emma Murphy , Gordana Dodig-Crnkovic, Radu Dobrin, Viola Schiaffonati , Cristina Pereira , Svetlana Tikhonenko , Paul Gibson , Stephane Maag , Francesco Agresta , Andrea Curley , Michael Collins , Dympna O'Sullivan et al. International Journal of Ethics Education (IJEE)
The FORA Fog Computing Platform for Industrial IoT (May 2021) Paul Pop, Bahram Zarrin , Mohammadreza Barzegaran , Stefan Schulte , Sasikumar Punnekkat, Jan Ruh , Wilfried Steiner Elsevier Journal on Information Systems (IS)
Towards Dynamic Safety Assurance for Industry 4.0 (Oct 2020) Muhammad Atif Javed, Faiz Ul Muram, Hans Hansson, Sasikumar Punnekkat, Henrik Thane Journal of Systems Architecture (JSA, 114)
Safe Design of Flow Management Systems Using Rebeca (Sep 2020) Giorgio Forcina, Ali Sedaghatbaf, Stephan Baumgart, Ali Jafari , Ehsan Khamespanah , Pavle Mrvaljevic , Marjan Sirjani Journal of Information Processing (IPSJ)
Supporting automated containment checking of software behavioural models using model transformations and model checking (Apr 2019) Faiz Ul Muram, Huy Tran , Uwe Zdun Science of Computer Programming, Elsevier (SCICO)
Safety and Security Co-Analyses: A Systematic Literature Review (Dec 2018) Elena Lisova, Irfan Sljivo, Aida Causevic IEEE Systems Journal 2018 (ISJ-2018)
Exact Speedup Factors and Sub-Optimality for Non-Preemptive Scheduling (Oct 2017) Rob Davis , Abhilash Thekkilakattil, Oliver Gettings , Radu Dobrin, Sasikumar Punnekkat, Jian-Jia Chen Real-Time Systems (RTSJ)
Safe Cooperating Cyber-Physical Systems using Wireless Communication (Jul 2017) Paul Pop, Detlef Scholle , Irfan Sljivo, Hans Hansson, Gunnar Widforss, Malin Rosqvist Elsevier journal of Microprocessors and Microsystems (MICPRO)
Promoting MBA in the Rail Sector by Deriving Process-related Evidence via MDSafeCer (Dec 2016) Barbara Gallina, Elena Gómez-Martínez , Clara Benac Earle Computer Standards & Interfaces -SPICE-2016 Special Issue (CSI SPICE-2016)
A Method to Generate Reusable Safety Case Argument-Fragments from Compositional Safety Analysis (Jul 2016) Irfan Sljivo, Barbara Gallina, Jan Carlson, Hans Hansson, Stefano Puri Journal of Systems and Software: Special Issue on Software Reuse (SR-JSS 2016)
Protecting Clock Synchronization - Adversary Detection through Network Monitoring (Apr 2016) Elena Lisova, Marina Gutiérrez, Wilfried Steiner , Elisabeth Uhlemann, Johan Åkerberg, Radu Dobrin, Mats Björkman System and Network Security: Anomaly Detection and Monitoring (SNS AD&M)
Error Handling Algorithm and Probabilistic Analysis Under Fault for CAN-Based Steer-by-Wire System (Mar 2016) M Badril Nor Shah , Abdul Rashid Husain , Hüseyin Aysan, Sasikumar Punnekkat, Radu Dobrin IEEE Transactions on Industrial Informatics 2016 (IEEE-TII 2016)
Deriving Reusable Process-based Arguments from Process Models in the Context of Railway Safety Standards (Dec 2015) Barbara Gallina, Luciana Provenzano Ada User Journal 36 (4) (AUJ- 36 (4))
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)
Design, Analysis and Implementation of Improved Adaptive Fault Tolerant Model for Cruise Control Multiprocessor System (Jan 2014) Annam Swetha , Radhamani Pillay, Sasikumar Punnekkat International Journal of Computer Apllcations (IJCA online 86)
A new error handling algorithm for controller area network in networked control system (Oct 2013) M Badril Nor Shah , Abdul Rashid Husain , Sasikumar Punnekkat, Radu Dobrin Computers in Industry (CompInd2013)
Goal-Directed Approach for Process Specification and Service Selection in Customer Life Cycle Management (Jan 2012) Leelani Kumari Wickramasinghe , Michael P Georgeff, Heinz Schmidt, Ian E Thomas , Christian Guttmann ATOP (ATOP)
A Study on Factors Influencing Power Consumption in Multithreaded and Multicore CPU’s (Mar 2011) Vijayalekshmi Saravanan , Senthil Kumar Chandran, Sasikumar Punnekkat WSEAS TRANSACTIONS on COMPUTERS
Semantic decoupling: reducing the impact of requirement changes (Aug 2010) Israel Navarro , Nancy Leveson , Kristina Lundqvist Requirements Engineering
Impact of Nanoscale Roughness of Titanium Thin Film Surfaces on Bacterial Retention (2010) Elena P Ivanova , Vi Khanh Truong , James Y.Wang , Christopher C. Berndt , Robert T. Jones , Iman I Yusuf , Ian Peake , Heinz Schmidt, Christopher Fluke , David Barnes , Russell J. Crawford Langmuir (ACS)
Integration of functional reliability analysis with hardware reliability: An application to safety grade decay heat removal system of Indian 500 MWe PFBR (Jan 2009) Senthil Kumar Chandran Annals of Nuclear Energy
