Publications

Type: Date:
Scope:
Author:

Number of publications matching the search criterion: 16

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

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

Items per page: