Ileana Ober

According to our database1, Ileana Ober authored at least 41 papers between 2000 and 2018.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2018
On the use of models for high-performance scientific computing applications: an experience report.
Software and Systems Modeling, 2018

CPS simulation models categories in Extended Enterprises.
Proceedings of MODELS 2018 Workshops: ModComp, 2018

Model-Based Systems Engineering for Systems Simulation.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

2017
Modeling Co-simulation: A First Experiment.
Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

On Patterns of Multi-domain Interaction for Scientific Software Development focused on Separation of Concerns.
Proceedings of the International Conference on Computational Science, 2017

2015
SDL - The IoT Language.
Proceedings of the SDL 2015: Model-Driven Engineering for Smart Cities, 2015

MDE in Practice for Computational Science.
Proceedings of the International Conference on Computational Science, 2015

2013
Significantly Increasing the Usability of Model Analysis Tools through Visual Feedback.
Proceedings of the SDL 2013: Model-Driven Dependability Engineering, 2013

Research Questions for Validation and Verification in the Context of Model-Based Engineering.
Proceedings of the 10th International Workshop on Model Driven Engineering, 2013

2012
HPCML: a modeling language dedicated to high-performance scientific computing.
Proceedings of the 1st International Workshop on Model-Driven Engineering for High Performance and CLoud computing co-located with 15th International Conference on Model Driven Engineering Languages and Systems (MODELS 2012), Innsbruck, Austria, October 01, 2012

MDHPCL 2012 workshop summary.
Proceedings of the 1st International Workshop on Model-Driven Engineering for High Performance and CLoud computing co-located with 15th International Conference on Model Driven Engineering Languages and Systems (MODELS 2012), Innsbruck, Austria, October 01, 2012

Seeing Errors: Model Driven Simulation Trace Visualization.
Proceedings of the Model Driven Engineering Languages and Systems, 2012

2011
UML/SysML semantic tunings.
ISSE, 2011

Avoiding OCL specification pitfalls.
ECEASST, 2011

MDE4HPC: An Approach for Using Model-Driven Engineering in High-Performance Computing.
Proceedings of the SDL 2011: Integrating System and Software Modeling, 2011

Improving Scalability and Maintenance of Software for High-Performance Scientific Computing by Combining MDE and Frameworks.
Proceedings of the Model Driven Engineering Languages and Systems, 2011

Using Constraints in Teaching Software Modeling.
Proceedings of the Models in Software Engineering, 2011

Model Based Architecting and Construction of Embedded Systems (ACES-MB 2011).
Proceedings of the Models in Software Engineering, 2011

2010
Une approche formelle de l'interopérabilité en modélisation orientée métier.
Technique et Science Informatiques, 2010

Dealing with variability within a family of domain-specific languages: comparative analysis of different techniques.
ISSE, 2010

Model Based Architecting and Construction of Embedded Systems (ACES-MB 2010).
Proceedings of the Models in Software Engineering, 2010

2009
Towards Model Based Development of Managed Networked Embedded Systems.
Proceedings of the SDL 2009: Design for Motes and Mobiles, 2009

Model Based Architecting and Construction of Embedded Systems (ACES-MB 2009).
Proceedings of the Models in Software Engineering, 2009

2008
Timing analysis and validation with UML: the case of the embedded MARS bus manager.
ISSE, 2008

Towards Interoperability in Component Based Development with a Family of DSLs.
Proceedings of the Software Architecture, Second European Conference, 2008

From Models to Components: Filling the Gap with SDL Macro-patterns.
Proceedings of the 2008 International Conferences on Computational Intelligence for Modelling, 2008

Using ASM to Achieve Executability within a Family of DSL.
Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

2007
Éditorial.
Ingénierie des Systèmes d'Information, 2007

2006
Validating timed UML models by simulation and verification.
STTT, 2006

A real-time profile for UML.
STTT, 2006

Preface of "Specification and Validation of Real Time and Embedded systems in UML".
STTT, 2006

2005
Workshop on Models for Non-functional Properties of Component-Based Software - NfC.
Proceedings of the Satellite Events at the MoDELS 2005 Conference, 2005

2004
SVERTS - Specification and Validation of Real-Time and Embedded Systems.
Proceedings of the UML Modeling Languages and Applications, 2004

Models for Non-functional Aspects of Component-Based Software (NfC'04).
Proceedings of the UML Modeling Languages and Applications, 2004

Validation of UML Models via a Mapping to Communicating Extended Timed Automata.
Proceedings of the Model Checking Software, 2004

The IF Toolset.
Proceedings of the Formal Methods for the Design of Real-Time Systems, 2004

2003
A Real-Time Profile for UML and How to Adapt It to SDL.
Proceedings of the SDL 2003: System Design, 2003

An ASM Semantics of UML Derived from the Meta-model and Incorporating Actions.
Proceedings of the Abstract State Machines, 2003

2000
More Meaningful UML Models.
Proceedings of the TOOLS Pacific 2000: 37th International Conference on Technology of Object-Oriented Languages and Systems, 2000

Comparative Case Study in SDL and UML.
Proceedings of the TOOLS 2000: 33rd International Conference on Technology of Object-Oriented Languages and Systems, 2000

Action Language for the UML.
Proceedings of the Actes des journées Langages et Modèles à Objets, 2000


  Loading...