pride-team
PRIDE team
  • userImage
    Ivica Crnković
    Project manager
    Software Engineering, Component Based Software Engineering, Software Architecture, Software Configuration Management, Software Processes, Embedded Systems, Distributed Development
  • userImage
    Thomas Leveque
    Project coordinator
    Thomas Leveque did his Ph.D. at Grenoble University, in collaboration with ST Microelectronics, an industrial group specialized in manufacturing of microelectronic systems. His Ph.D. results about model versionning have been incorporated in an open source project called CADSE. He received his M.Sc. in Computer Science from Grenoble University in 2005.
  • userImage
    Jan Carlson
    ProCom component model
    Research interests include component models for embedded systems, event pattern detection, formal methods and functional and logic programming languages.
  • userImage
    Severine Sentilles
    Project coordinator and attribute framework
    Her main research interest is focused on the modelisation of component-based systems and more precisely the specification of a compositional framework for predictable real-time embedded systems within the context of PROGRESS. She is also involved in the design of an Integrated Development Environment for the SAVE project which aims more particularly the vehicular systems domain.
  • userImage
    Luka Lednicki
    Architecture editors and system integration
    His current research interests are in the area of component-based development for distributed embedded systems and embedded systems in general. Special area of interest is integration of software components that are dependent of external hardware devices into component models for embedded system domain.
  • userImage
    Josip Maras
    Webmaster and architecture editors
    He is involved in two research projects PROGRESS hosted by MdH and DICES hosted by FESB. The focus of his thesis is componentization of distributed embedded systems, with emphesis on service-oriented and web-based systems.
  • userImage
    Rikard Land
    ProCom process
    Rikard worked as software developer at ABB Atom and Westinghouse 1998-2001. In 2001 he enrolled as a PhD student at Mälardalen University, in the field of Software Engineering. His PhD thesis covered integration of in-house developed software systems.
  • userImage
    Etienne Borde
    Synthesis
    Etienne Borde is currently a post-doc researcher at the Mälardalen Real-Time and research Center (MRTC), working in the scope of the PROGRESS center. He obtained his M.Sc in Nantes in 2006 and his PhD in Paris in 2009. Etienne's main contribution to PRIDE (PROGRESS-IDE) is the code synthesis of ProCom models. Etienne's centers of interest are model driven engineering, model transformation, code generation, and formal methods.
  • userImage
    Ana Petričić
    Graphical editors
    She is involved in two research projects PROGRESS hosted by MdH and DICES hosted by FER. Her main research interests are in component-based engineering domain, particulary software testing and analysis with focus on non-functional characteristics.
  • userImage
    Juraj Feljan
    Component repository
    His research domain is component-based software engineering for embedded systems, with the focus on extra-functional properties. He is involved in two projects - PROGRESS and DICES.
  • userImage
    Cristina Seceleanu
    REMES tools coordinator
    Cristina Seceleanu is a senior researcher at MdH, Embedded Systems Division. She received a MSc. in Electronics from Polytechnic University of Bucharest, Romania, in 1993, and a Ph.D. in Computer Science from Abo Akademi and Turku Centre for Computer Science, Abo/Turku, Finland, in 2005. Her research focuses on developing formal models and verification techniques for constructing predictable real-time embedded systems.
  • userImage
    Aneta Vulgarakis
    REMES tools supervisor
    Her main research interests are component-based system modeling and formal analysis of embedded systems. More precisely, the goal of her research is defining a Progress component model suitable for development of embedded real-time systems, and enriching the model with a general resource usage framework, which will provide information about the resource allocation within the Progress components and the composed system itself.
  • userImage
    Marin Orlić
    REMES simulation
    Research interests include component models for embedded systems, event pattern detection, formal methods and functional and logic programming languages.
  • userImage
    Dinko Ivanov
    REMES graphical editor
    He is involved in the REMES-IDE development as part of his master thesis at the Sofia University St. Kliment Ohridski (Bulgaria). Dinko's main interests are model driven development and component-based engineering. His focus in on Eclipse-based tools for software development.
  • userImage
    Amine Marref
    WCET analysis expert
    Research on approaching WCET problems using constraint-programming techniques.
  • userImage
    Luca Micozzi
    Code generation
    Master student
  • userImage
    Daniele Fani
    Task model generation
    Master student
  • userImage
    Thibaud Michel
    Component Repository
    Master student
  • userImage
    Renaud Collin
    Model Repository
    Master student