UML-based Approach to Specify Secured, Fine-grained Concurrent Access to Shared Resources. - Jagadish Suryadevara; R. K. Shyamasundar (J. Object Technol., 2007)

cmUML - A UML based Framework for Formal Specification of Concurrent, Reactive Systems. - Jagadish Suryadevara; Lawrence Chung; R. K. Shyamasundar (J. Object Technol., 2008)

Formal Semantics of the ProCom Real-Time Component Model. - Aneta Vulgarakis; Jagadish Suryadevara; Jan Carlson; Cristina Cerschi Seceleanu; Paul Pettersson (EUROMICRO-SEAA, 2009)

Analyzing a Pattern-Based Model of a Real-Time Turntable System. - Davor Slutej; John Håkansson; Jagadish Suryadevara; Cristina Cerschi Seceleanu; Paul Pettersson (FESCA@ETAPS, 2009)

Bridging the Semantic Gap between Abstract Models of Embedded Systems. - Jagadish Suryadevara; Eun-Young Kang 001; Cristina Cerschi Seceleanu; Paul Pettersson (CBSE, 2010)

Pattern-Driven Support for Designing Component-Based Architectural Models. - Jagadish Suryadevara; Cristina Cerschi Seceleanu; Paul Pettersson (ECBS, 2011)

Analysis Support for TADL2 Timing Constraints on EAST-ADL Models. - Arda Goknil; Jagadish Suryadevara; Marie-Agnès Peraldi-Frati; Frédéric Mallet (ECSA, 2013)

Validating EAST-ADL Timing Constraints Using UPPAAL. - Jagadish Suryadevara (EUROMICRO-SEAA, 2013)

Wind Turbine System: An Industrial Case Study in Formal Modeling and Verification. - Jagadish Suryadevara; Gaetana Sapienza; Cristina Cerschi Seceleanu; Tiberiu Seceleanu; Stein Erik Ellevseth; Paul Pettersson (FTSCS, 2013)

Verifying MARTE/CCSL Mode Behaviors Using UPPAAL. - Jagadish Suryadevara; Cristina Cerschi Seceleanu; Frédéric Mallet; Paul Pettersson (SEFM, 2013)

Model Based Development of Embedded Systems using Logical Clock Constraints and Timed Automata. - Jagadish Suryadevara (2013)

Analyzing a wind turbine system: From simulation to formal verification. - Cristina Seceleanu; Morgan E. Johansson; Jagadish Suryadevara; Gaetana Sapienza; Tiberiu Seceleanu; Stein Erik Ellevseth; Paul Pettersson (Sci. Comput. Program., 2017)

Adopting MBSE in Construction Equipment Industry: An Experience Report. - Jagadish Suryadevara; Saurabh Tiwari 001 (APSEC, 2018)

From Modeling to Test Case Generation in the Industrial Embedded System Domain. - Aliya Hussain; Saurabh Tiwari 001; Jagadish Suryadevara; Eduard Enoiu (STAF Workshops, 2018)

A System Modeling Approach to Enhance Functional and Software Development. - Saurabh Tiwari 001; Emina Smajlovic; Amina Krekic; Jagadish Suryadevara (STAF Workshops, 2018)

Light-Weight MBSE Approach for Construction Equipment Domain - An Experience Report. - Johan Cederbladh; Jagadish Suryadevara (APSEC, 2023)

Towards a Core Ontology for Missions and Capabilities in Systems of Systems. - Joyce Martin; Jakob Axelsson; Jan Carlson; Jagadish Suryadevara (SoSE, 2023)

Towards Automating Model-Based Systems Engineering in Industry - An Experience Report. - Johan Cederbladh; Luca Berardinelli; Hugo Bruneliere; Antonio Cicchetti; MohammadHadi Dehghani; Claudio Di Sipio; James William Pontes Miranda; Abbas Rahimi; Riccardo Rubei; Jagadish Suryadevara (SysCon, 2024)

Correlating Logical and Physical Models for Early Performance Validation - An Experience Report. - Johan Cederbladh; Marcel Gottschall; Jagadish Suryadevara; Khaled Alekeish (SysCon, 2024)

Decisions Supported by the Core Ontology for Missions and Capabilities in Systems of Systems. - Joyce Martin; Jakob Axelsson; Jan Carlson; Jagadish Suryadevara (SysCon, 2024)

Early Validation and Verification of System Behaviour in Model-based Systems Engineering: A Systematic Literature Review. - Johan Cederbladh; Antonio Cicchetti; Jagadish Suryadevara (ACM Trans. Softw. Eng. Methodol., 2024)