Formal Approaches to Service-oriented Design: From Behavioral Modeling to Service Analysis (Jun 2011) Aida Causevic
Tools for Model-Checking (Jan 2009) Alexandre David , Gerd Berhmann , Peter Bulychev , Joakim Byg , Thomas Chatain , Kim Guldstrand Larsen , Paul Pettersson, Jacob Illum Rasmussen , Jiri Srba , Wang Yi , Kenneth Y. Joergensen , Didier Lime , Morgan Magnin , Olivier H. Roux , Louis-Marie Tranonouez Formal Approaches for Communicating Embedded Systems
A Classification Framework for Software Component Models (Oct 2011) Ivica Crnkovic, Séverine Sentilles, Aneta Vulgarakis Feljan, Michel Chaudron IEEE Transaction of Software Engineering
Applying REMES Behavioral Modeling to PLC Systems (Dec 2009) Aneta Vulgarakis Feljan, Aida Causevic Mechatronic Systems
Validation of Embedded Systems Behavioral Models on a Component-Based Ericsson Nikola Tesla Demonstrator (Jul 2011) Aneta Vulgarakis Feljan, Cristina Seceleanu, Paul Pettersson, Ivan Skuliber , Darko Huljenic 11th InternationalConference on Quality Software (QSIC 2011)
Modeling and Reasoning about Service Behaviors and their Compositions (Oct 2010) Aida Causevic, Cristina Seceleanu, Paul Pettersson International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2010)
An Integrated Tool for Trade-off Analysis of Quality-of-Service Attributes (Oct 2010) Leo Hatvani, Anton Jansen, Cristina Seceleanu, Paul Pettersson Proceedings of The 2nd International Workshop on the Quality of Service-Oriented Software Systems
Integrating Behavioral Descriptions into a Component Model for Embedded Systems (Sep 2010) Aneta Vulgarakis Feljan, Séverine Sentilles, Jan Carlson, Cristina Seceleanu 36th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)
REMES Tool-chain - A Set of Integrated Tools for Behavioral Modeling and Analysis of Embedded Systems (Sep 2010) Dinko Ivanov , Marin Orlic , Cristina Seceleanu, Aneta Vulgarakis Feljan Proceedings of the 25th IEEE/ACM International Conference on Automated Software Engineering (ASE 2010)
Bridging the Semantic Gap between Abstract Models of Embedded Systems (Jun 2010) Jagadish Suryadevara, Eun-Young Kang, Cristina Seceleanu, Paul Pettersson 13th International Symposium on Component Based Software Engineering (CBSE)
Applying REMES behavioral modeling to PLC systems (Oct 2009) Aneta Vulgarakis Feljan, Aida Causevic 22 International Symposium on Information, Communication and Automation Technologies (ICAT 2009)
Behavioral Modeling and Refinement of Services (Oct 2009) Aida Causevic, Cristina Seceleanu, Paul Pettersson 21st Nordic Workshop on Programming Theory (NWPT'09)
Analyzing Resource-Usage Impact on Component-Based Systems Performance and Reliability (Dec 2008) Aida Causevic, Paul Pettersson, Cristina Seceleanu International Conference on Computational Intelligence for Modelling Control & Automation (CIMCA/ISE)