Type: Date:

Number of publications matching the search criterion: 13

Licentiate Thesis (1)

Formal Approaches to Service-oriented Design: From Behavioral Modeling to Service Analysis (Jun 2011)
Aida Causevic

Collection (Editor) (1)

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

Journal article (2)

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

Conference/Workshop Paper (9)

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)

Items per page: