| | |
|
Journals
|
| | cmUML - A UML based Framework for Formal Specification of Concurrent, Reactive Systems, Jagadish Suryadevara, Lawrence Chung (University of Texas at Dallas, Texas, USA), Shyamasundar RK (Tata Institute of Fundamental Research, India), Journal of Object Technology (JOT), vol 7, nr 4, ETH, Swiss Federal Institute of Technology, May, 2008 |
| | UML based Approach for Secured, Fine-grained, Concurrent Access to Shared Variables, Jagadish Suryadevara, Shyamasundar RK (Tata Institute of Fundamental Research, India), Journal of Object Technology (JOT), vol 6, nr 1, p107-119, ETH, Swiss Federal Institute of Technology, Zurich, January, 2007 |
|
| | |
|
Theses
|
| | Design and Analysis Support for Abstract Models of Component-based Embedded Systems, Jagadish Suryadevara, Licentiate Thesis, Mälardalen University Press, June, 2011 |
|
| | |
|
Conferences and workshops
|
| | Verifying MARTE/CCSL Mode Behaviors using UPPAAL, Jagadish Suryadevara, Cristina Seceleanu, Frederic Mallet (Univ. of Nice & INRIA, Sophia-Antipolis), Paul Pettersson, 11th International Conference on Software Engineering and Formal Methods (SEFM), Madrid, SPAIN, September, 2013 |
| | Validating EAST-ADL Timing Constraints using UPPAAL, Jagadish Suryadevara, 39th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), Spain, September, 2013 |
| | Analysis Support for TADL2 Timing Constraints on EAST-ADL Models, Arda Goknil (INRIA, France), Jagadish Suryadevara, Marie-Agnes Peraldi-Frati (Univ. of Nice & INRIA, Sophia-Antipolis), Frederic Mallet (Univ. of Nice & INRIA, Sophia-Antipolis), 7th European Conference on Software Architecture (ECSA), Montpellier, France, July, 2013 |
| | Timed Automata Modeling of CCSL Constraints, Jagadish Suryadevara, Ling Yin (East China Normal University, Shanghai, China), First International Workshop on Formal Techniques for Safety-Critical Systems, Kyoto, JAPAN, November, 2012 |
| | Pattern-driven Support for Designing Component-based Architectural Models, Jagadish Suryadevara, Cristina Seceleanu, Paul Pettersson, 18th IEEE International Conference on Engineering of Computer-Based Systems (ECBS) , IEEE CS, Las Vegas, USA, April, 2011 |
| | Bridging the Semantic Gap between Abstract Models of Embedded Systems, Jagadish Suryadevara, Eun-Young Kang (former), Cristina Seceleanu, Paul Pettersson, 13th International Symposium on Component Based Software Engineering (CBSE), Springer LNCS, vol 6092, Prague, Czech Republic, Editor(s):Lars Grunske and Ralf Reussner, June, 2010 |
| | Validating the Design Model of an Autonomous Truck System, Jagadish Suryadevara, Paul Pettersson, Cristina Seceleanu, Mälardalen University Software Enginnering Workshop (MUSE'09), Mälardalen University, Västerås, Sweden, November, 2009 |
| | Analyzing a Pattern-Based Model of a Real-Time Turntable System, Davor Slutej (external), John Håkansson (Department of Information Technology, Uppsala University), Jagadish Suryadevara, Cristina Seceleanu, Paul Pettersson, 6th International Workshop on Formal Engineering approaches to Software Components and Architectures(FESCA), ETAPS'09, York, UK, March, p 161-178, Electronic Notes in Theoretical Computer Science (ENTCS), Vol 253, Elsevier, Editor(s):Jens Happe, Barbora Zimmerova, September, 2009 |
| | Formal Semantics of the ProCom Real-Time Component Model, Aneta Vulgarakis, Jagadish Suryadevara, Jan Carlson, Cristina Seceleanu, Paul Pettersson, 35th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), Patras, Greece, August, 2009 |
| | cmUML - A Precise UML for Abstract Specification of Concurrent Components, Jagadish Suryadevara, Parallel and Distributed Computing and Systems, p 141-146, ACTA Press, USA, Dallas, Texas, USA, Editor(s): S. Q. Zheng, November, 2006 |
|
| | |
|
MRTC reports
|
| | ProCom: Formal Semantics, Jagadish Suryadevara, Aneta Vulgarakis, Jan Carlson, Cristina Seceleanu, Paul Pettersson, MRTC report ISSN 1404-3041 ISRN MDH-MRTC-234/2009-1-SE, Mälardalen Real-Time Research Centre, Mälardalen University, March, 2009 |
|
