Type: Date:

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

Doctoral Thesis (6)

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

Licentiate Thesis (8)

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 (3)

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

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 (29)

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

A Study on Factors Influencing Power Consumption in Multithreaded and Multicore CPU’s (Mar 2011)
Vijayalekshmi Saravanan , Senthil Kumar Chandran, Sasikumar Punnekkat

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

Estimation of station blackout frequency for Indian fast breeder test reactor (Sep 2008)
Senthil Kumar Chandran
Annals of Nuclear Energy

Functional reliability analysis of Safety Grade Decay Heat Removal System of Indian 500MWe PFBR (Feb 2008)
Senthil Kumar Chandran
Nuclear Engineering and Design

Formalising service-oriented design (Jan 2008)
Mikhail Perepletchikov , Caspar Ryan , Keith Frampton , Heinz Schmidt
Journal of Software (JSW )

The Timed Abstract State Machine Language: Abstract State Machines for Real-Time Systems Engineering (Jul 2007)
Martin Ouimet , Kristina Lundqvist
Journal of Universal Computer Science (JUCS)

Reliability analysis of safety grade decay heat removal system of Indian prototype fast breeder reactor (Nov 2006)
Senthil Kumar Chandran
Annals of Nuclear Energy

Modeling an Electronic Throttle Controller using the Timed Abstract State Machine Language and Toolset (Mar 2006)
Martin Ouimet , Guillaume Berteau , Kristina Lundqvist
Models in Software Engineering, Lecture Notes in

Temporal Skeletons for Verifying Time (Nov 2005)
Gustaf Naeser, Kristina Lundqvist, Lars Asplund
ACM SIGAda Letters

Reliability analysis of shutdown system (Sep 2005)
Senthil Kumar Chandran
Annals of Nuclear Energy

The power law character of off-site power failures (Mar 2003)
Senthil Kumar Chandran
Annals of Nuclear Energy

Safety Critical Systems Based on Formal Models (Dec 2000)
Lars Asplund, Kristina Lundqvist
ACM SIGAda Letters

A Rendeqvous with Linda (May 1997)
Kristina Lundqvist, Göran Wall
ACM SIGAda Letters

Senthil Kumar Chandran
Microelectronics and Reliability

Conference/Workshop Paper (190)

Systematic False Positive Mitigation in Safe Automated Driving Systems (Nov 2020)
Ayhan Mehmed, Wilfried Steiner , Aida Causevic
2020 International Symposium on Industrial Electronics and Applications (INDEL 2020)

Items per page: