Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 25

Licentiate Thesis (1)

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

Journal article (3)

Analyzing a wind turbine system: From simulation to formal verification (Oct 2016)
Cristina Seceleanu, Morgan Johansson , Jagadish Suryadevara, Gaetana Sapienza, Tiberiu Seceleanu, Stein-Erik Ellevseth , Paul Pettersson
Science of Computer Programming, Elsevier (SCICO)

cmUML - A UML based Framework for Formal Specification of Concurrent, Reactive Systems (May 2008)
Jagadish Suryadevara, Lawrence Chung , Shyamasundar RK
Journal of Object Technology (JOT)

UML based Approach for Secured, Fine-grained, Concurrent Access to Shared Variables (Jan 2007)
Jagadish Suryadevara, Shyamasundar RK
Journal of Object Technology (JOT)

Conference/Workshop Paper (19)

Correlating Logical and Physical Models for Early Performance Validation - An Experience Report (Apr 2024)
Johan Cederbladh, Marcel Gottschall , Jagadish Suryadevara, Khaled Alekeish
The 18th Annual International Systems Conference (SysCon24)

Light-Weight MBSE Approach for Construction Equipment Domain - An Experience Report (Dec 2023)
Johan Cederbladh, Jagadish Suryadevara
30th Asia-Pacific Software Engineering Conference (APSEC2023)

Towards a Unified Architecture Methodology for Product Service Systems (Oct 2023)
Johan Cederbladh, Jagadish Suryadevara
Asia Oceanic Systems Engineering Conference (AOSEC)

Towards a Core Ontology for Missions and Capabilities in Systems of Systems (Jun 2023)
Joyce Martin, Jakob Axelsson, Jan Carlson, Jagadish Suryadevara
18th Annual System Of Systems Engineering Conference (SoSE2023)

The Capability Concept in the Context of Systems of Systems: A Systematic Literature Review (Oct 2022)
Joyce Martin, Jakob Axelsson, Jan Carlson, Jagadish Suryadevara
8th International Symposium on Systems Engineerging (ISSE 2022)

Adopting MBSE in Construction Equipment Industry: An Experience Report (Dec 2018)
Jagadish Suryadevara, Saurabh Tiwari
25th Asia-Pacific Software Engineering Conference (ASPEC 2018)

A System Modeling Approach to Enhance Functional and Software Development (Jun 2018)
Saurabh Tiwari, Emina Smajlovic , Amina Krekic , Jagadish Suryadevara
First International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems, colocated with STAF (MDE@DeRun)

From Modeling to Test Case Generation in the Industrial Embedded System Domain (Jun 2018)
Aliya Hussain , Saurabh Tiwari, Jagadish Suryadevara, Eduard Paul Enoiu
First International Workshop on Model-Driven Engineering for Design-Runtime Interaction in Complex Systems (MDE@DeRun)

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

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

Analysis Support for TADL2 Timing Constraints on EAST-ADL Models (Jul 2013)
Arda Goknil , Jagadish Suryadevara, Marie-Agnes Peraldi-Frati , Frederic Mallet
7th European Conference on Software Architecture (ECSA)

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

Pattern-driven Support for Designing Component-based Architectural Models (Apr 2011)
Jagadish Suryadevara, Cristina Seceleanu, Paul Pettersson
18th IEEE International Conference on Engineering of Computer-Based Systems (ECBS)

Bridging the Semantic Gap between Abstract Models of Embedded Systems (Jun 2010)
Jagadish Suryadevara, Eun-Young Kang, Cristina Seceleanu, Paul Pettersson
13th International Symposium on Component Based Software Engineering (CBSE)

Validating the Design Model of an Autonomous Truck System (Nov 2009)
Jagadish Suryadevara, Paul Pettersson, Cristina Seceleanu
Mälardalen University Software Enginnering Workshop (MUSE09)

Analyzing a Pattern-Based Model of a Real-Time Turntable System (Sep 2009)
Davor Slutej , John Håkansson , Jagadish Suryadevara, Cristina Seceleanu, Paul Pettersson
6th International Workshop on Formal Engineering approaches to Software Components and Architectures(FESCA), ETAPS09, York, UK, March

Formal Semantics of the ProCom Real-Time Component Model (Aug 2009)
Aneta Vulgarakis Feljan, Jagadish Suryadevara, Jan Carlson, Cristina Seceleanu, Paul Pettersson
35th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)

cmUML - A Precise UML for Abstract Specification of Concurrent Components (Nov 2006)
Jagadish Suryadevara
Parallel and Distributed Computing and Systems

Report - MRTC (1)

ProCom: Formal Semantics (Mar 2009)
Jagadish Suryadevara, Aneta Vulgarakis Feljan, Jan Carlson, Cristina Seceleanu, Paul Pettersson

Article, review (1)

Early Validation and Verification of System Behaviour in Model-Based Systems Engineering: A Systematic Literature Review (Nov 2023)
Johan Cederbladh, Antonio Cicchetti, Jagadish Suryadevara
ACM Transactions on Software Engineering and Methodology (TOSEM)

Items per page: