Jagadish Suryadevara

22 papers B 2C 2Journal 5Unranked 12

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