Latest group publications
[ Show all group publications ]
| | 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 |
| | A Design Tool for Service-oriented Systems, Eduard Paul Enoiu, Raluca Marinescu, Aida Causevic, Cristina Seceleanu, Proceedings the 9th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA), p Volume 295, Pages 95, Elsevier, Electronic Notes in Theoretical Computer Science (ENCTS), Estonia, Editor(s):Barbora Buhnova, Lucia Happe and Jan Kofron, May, 2013 |
| | MOS: An Integrated Model-based and Search-based Testing Tool for Function Block Diagrams, Eduard Paul Enoiu, Kivanc Doganay, Markus Bohlin, Daniel Sundmark, Paul Pettersson, 35th International Conference on Software Engineering (ICSE) - First International Workshop on Combining Modelling and Search-Based Software Engineering, IEEE , San Francisco, May, 2013 |
|
