Jagadish Suryadevara

According to our database, Jagadish Suryadevara authored at least 18 papers between 2007 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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., March, 2024

2023

Towards a Core Ontology for Missions and Capabilities in Systems of Systems.

Joyce Martin, Jakob Axelsson, Jan Carlson, Jagadish Suryadevara

Proceedings of the 18th Annual System of Systems Engineering Conference, 2023

Light-Weight MBSE Approach for Construction Equipment Domain - An Experience Report.

Johan Cederbladh, Jagadish Suryadevara

Proceedings of the 30th Asia-Pacific Software Engineering Conference, 2023

2018

A System Modeling Approach to Enhance Functional and Software Development.

Saurabh Tiwari, Emina Smajlovic, Amina Krekic, Jagadish Suryadevara

Proceedings of the Software Technologies: Applications and Foundations, 2018

From Modeling to Test Case Generation in the Industrial Embedded System Domain.

Aliya Hussain, Saurabh Tiwari, Jagadish Suryadevara, Eduard Enoiu

Proceedings of the Software Technologies: Applications and Foundations, 2018

Adopting MBSE in Construction Equipment Industry: An Experience Report.

Jagadish Suryadevara, Saurabh Tiwari

Proceedings of the 25th Asia-Pacific Software Engineering Conference, 2018

2017

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

2013

Model Based Development of Embedded Systems using Logical Clock Constraints and Timed Automata.

Jagadish Suryadevara

PhD thesis, 2013

Verifying MARTE/CCSL Mode Behaviors Using UPPAAL.

Jagadish Suryadevara, Cristina Cerschi Seceleanu, Frédéric Mallet, Paul Pettersson

Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 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

Proceedings of the Formal Techniques for Safety-Critical Systems, 2013

Validating EAST-ADL Timing Constraints Using UPPAAL.

Jagadish Suryadevara

Proceedings of the 39th Euromicro Conference on Software Engineering and Advanced Applications, 2013

Analysis Support for TADL2 Timing Constraints on EAST-ADL Models.

Arda Goknil, Jagadish Suryadevara, Marie-Agnès Peraldi-Frati, Frédéric Mallet

Proceedings of the Software Architecture - 7th European Conference, 2013

2011

Pattern-Driven Support for Designing Component-Based Architectural Models.

Jagadish Suryadevara, Cristina Cerschi Seceleanu, Paul Pettersson

Proceedings of the 18th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2011

2010

Bridging the Semantic Gap between Abstract Models of Embedded Systems.

Jagadish Suryadevara, Eun-Young Kang, Cristina Cerschi Seceleanu, Paul Pettersson

Proceedings of the Component-Based Software Engineering, 13th International Symposium, 2010

2009

Analyzing a Pattern-Based Model of a Real-Time Turntable System.

Davor Slutej, John Håkansson, Jagadish Suryadevara, Cristina Cerschi Seceleanu, Paul Pettersson

Proceedings of the Sixth International Workshop on Formal Engineering approches to Software Components and Architectures, 2009

Formal Semantics of the ProCom Real-Time Component Model.

Aneta Vulgarakis, Jagadish Suryadevara, Jan Carlson, Cristina Cerschi Seceleanu, Paul Pettersson

Proceedings of the 35th Euromicro Conference on Software Engineering and Advanced Applications, 2009

2008

cmUML - A UML based Framework for Formal Specification of Concurrent, Reactive Systems.

Jagadish Suryadevara, Lawrence Chung, R. K. Shyamasundar

J. Object Technol., 2008

2007

UML-based Approach to Specify Secured, Fine-grained Concurrent Access to Shared Resources.

Jagadish Suryadevara, R. K. Shyamasundar

J. Object Technol., 2007