Jagadish Suryadevara

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 11

Top Topics

Timing Constraints

Controller Synthesis

Test Case Generation

Top Venues

Publications

Johan Cederbladh, Marcel Gottschall, Jagadish Suryadevara, Khaled Alekeish
Correlating Logical and Physical Models for Early Performance Validation - An Experience Report. SysCon (2024)
Joyce Martin, Jakob Axelsson, Jan Carlson, Jagadish Suryadevara
Decisions Supported by the Core Ontology for Missions and Capabilities in Systems of Systems. SysCon (2024)
Johan Cederbladh, Antonio Cicchetti, Jagadish Suryadevara
Early Validation and Verification of System Behaviour in Model-based Systems Engineering: A Systematic Literature Review. ACM Trans. Softw. Eng. Methodol. 33 (3) (2024)
Johan Cederbladh, Luca Berardinelli, Hugo Bruneliere, Antonio Cicchetti, MohammadHadi Dehghani, Claudio Di Sipio, James William Pontes Miranda, Abbas Rahimi, Riccardo Rubei, Jagadish Suryadevara
Towards Automating Model-Based Systems Engineering in Industry - An Experience Report. SysCon (2024)
Johan Cederbladh, Jagadish Suryadevara
Light-Weight MBSE Approach for Construction Equipment Domain - An Experience Report. APSEC (2023)
Joyce Martin, Jakob Axelsson, Jan Carlson, Jagadish Suryadevara
Towards a Core Ontology for Missions and Capabilities in Systems of Systems. SoSE (2023)
Saurabh Tiwari, Emina Smajlovic, Amina Krekic, Jagadish Suryadevara
A System Modeling Approach to Enhance Functional and Software Development. CoRR (2019)
Aliya Hussain, Saurabh Tiwari, Jagadish Suryadevara, Eduard Enoiu
From Modeling to Test Case Generation in the Industrial Embedded System Domain. STAF Workshops (2018)
Jagadish Suryadevara, Saurabh Tiwari
Adopting MBSE in Construction Equipment Industry: An Experience Report. APSEC (2018)
Saurabh Tiwari, Emina Smajlovic, Amina Krekic, Jagadish Suryadevara
A System Modeling Approach to Enhance Functional and Software Development. STAF Workshops (2018)
Cristina Seceleanu, Morgan E. Johansson, Jagadish Suryadevara, Gaetana Sapienza, Tiberiu Seceleanu, Stein Erik Ellevseth, Paul Pettersson
Analyzing a wind turbine system: From simulation to formal verification. Sci. Comput. Program. 133 (2017)
Arda Goknil, Jagadish Suryadevara, Marie-Agnès Peraldi-Frati, Frédéric Mallet
Analysis Support for TADL2 Timing Constraints on EAST-ADL Models. ECSA (2013)
Jagadish Suryadevara, Cristina Cerschi Seceleanu, Frédéric Mallet, Paul Pettersson
Verifying MARTE/CCSL Mode Behaviors Using UPPAAL. SEFM (2013)
Jagadish Suryadevara
Validating EAST-ADL Timing Constraints Using UPPAAL. EUROMICRO-SEAA (2013)
Jagadish Suryadevara, Gaetana Sapienza, Cristina Cerschi Seceleanu, Tiberiu Seceleanu, Stein Erik Ellevseth, Paul Pettersson
Wind Turbine System: An Industrial Case Study in Formal Modeling and Verification. FTSCS (2013)
Jagadish Suryadevara, Cristina Cerschi Seceleanu, Paul Pettersson
Pattern-Driven Support for Designing Component-Based Architectural Models. ECBS (2011)
Jagadish Suryadevara, Eun-Young Kang, Cristina Cerschi Seceleanu, Paul Pettersson
Bridging the Semantic Gap between Abstract Models of Embedded Systems. CBSE (2010)
Aneta Vulgarakis, Jagadish Suryadevara, Jan Carlson, Cristina Cerschi Seceleanu, Paul Pettersson
Formal Semantics of the ProCom Real-Time Component Model. EUROMICRO-SEAA (2009)
Davor Slutej, John Håkansson, Jagadish Suryadevara, Cristina Cerschi Seceleanu, Paul Pettersson
Analyzing a Pattern-Based Model of a Real-Time Turntable System. Electron. Notes Theor. Comput. Sci. 253 (1) (2009)
Jagadish Suryadevara, Lawrence Chung, R. K. Shyamasundar
cmUML - A UML based Framework for Formal Specification of Concurrent, Reactive Systems. J. Object Technol. 7 (8) (2008)
Jagadish Suryadevara, R. K. Shyamasundar
UML-based Approach to Specify Secured, Fine-grained Concurrent Access to Shared Resources. J. Object Technol. 6 (1) (2007)