Search the dblp DataBase

Publications of Author

1. Juan de Lara, Esther Guerra, Hans Vangheluwe
   Meta-Modelling, Graph Transformation and Model Checking for the Analysis of Hybrid Systems. [Citation Graph (0, 0)][DBLP]
   AGTIVE, 2003, pp:292-298 [Conf]
   
2. Ernesto Posse, Hans Vangheluwe
   Kiltera: A Simulation Language for Timed, Dynamic Structure Systems. [Citation Graph (0, 0)][DBLP]
   Annual Simulation Symposium, 2007, pp:293-300 [Conf]
   
3. Juan de Lara, Hans Vangheluwe
   Using Meta-Modelling and Graph Grammars to Process GPSS Models. [Citation Graph (0, 0)][DBLP]
   ESM, 2002, pp:100-107 [Conf]
   
4. Hans Vangheluwe, Ghislain C. Vansteenkiste
   The cellular automata formalism and its relationship to DEVS. [Citation Graph (0, 0)][DBLP]
   ESM, 2000, pp:800-810 [Conf]
   
5. Juan de Lara, Hans Vangheluwe
   AToM³: A Tool for Multi-formalism and Meta-modelling. [Citation Graph (0, 0)][DBLP]
   FASE, 2002, pp:174-188 [Conf]
   
6. Juan de Lara, Hans Vangheluwe
   Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts. [Citation Graph (0, 0)][DBLP]
   ICGT, 2002, pp:239-253 [Conf]
   
7. Juan de Lara, Hans Vangheluwe
   Using AToM³ as a Meta-Case Tool. [Citation Graph (0, 0)][DBLP]
   ICEIS, 2002, pp:642-649 [Conf]
   
8. Sadaf Mustafiz, Ximeng Sun, Jörg Kienzle, Hans Vangheluwe
   Model-Driven Assessment of Use Cases for Dependable Systems. [Citation Graph (0, 0)][DBLP]
   MoDELS, 2006, pp:558-573 [Conf]
   
9. Holger Giese, Tihamer Levendovszky, Hans Vangheluwe
   Summary of the Workshop on Multi-Paradigm Modeling: Concepts and Tools. [Citation Graph (0, 0)][DBLP]
   MoDELS Workshops, 2006, pp:252-262 [Conf]
   
10. Miriam Zia, Sadaf Mustafiz, Hans Vangheluwe, Jörg Kienzle
    A Modelling and Simulation Based Approach to Dependable System Design. [Citation Graph (0, 0)][DBLP]
    MoDELS, 2005, pp:217-231 [Conf]
    
11. Manuel Alfonseca, Juan de Lara, Hans Vangheluwe
    Web II: web-based simulation of systems described by partial differential equations. [Citation Graph (0, 0)][DBLP]
    Winter Simulation Conference, 2001, pp:629-636 [Conf]
    
12. Hans Vangheluwe, Juan de Lara
    XML-based modeling and simulation: meta-models are models too. [Citation Graph (0, 0)][DBLP]
    Winter Simulation Conference, 2002, pp:597-605 [Conf]
    
13. Hans Vangheluwe, Juan de Lara
    Foundations of multi-paradigm modeling and simulation: computer automated multi-paradigm modelling: meta-modelling and graph transformation. [Citation Graph (0, 0)][DBLP]
    Winter Simulation Conference, 2003, pp:595-603 [Conf]
    
14. Hans Vangheluwe, Juan de Lara
    Computer Automated Multi-Paradigm Modelling for Analysis and Design of Traffic Networks. [Citation Graph (0, 0)][DBLP]
    Winter Simulation Conference, 2004, pp:249-258 [Conf]
    
15. Juan de Lara Jaramillo, Hans Vangheluwe, Manuel Alfonseca Moreno
    Using Meta-Modelling and Graph Grammars to Create Modelling Environments. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:72, n:3, pp:- [Journal]
    
16. Juan de Lara, Hans Vangheluwe, Manuel Alfonseca
    Meta-modelling and graph grammars for multi-paradigm modelling in AToM³. [Citation Graph (0, 0)][DBLP]
    Software and System Modeling, 2004, v:3, n:3, pp:194-209 [Journal]
    
17. Pieter J. Mosterman, Hans Vangheluwe
    Guest editorial: Special issue on computer automated multi-paradigm modeling. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Model. Comput. Simul., 2002, v:12, n:4, pp:249-255 [Journal]
    
18. Juan de Lara, Hans Vangheluwe
    Defining visual notations and their manipulation through meta-modelling and graph transformation. [Citation Graph (0, 0)][DBLP]
    J. Vis. Lang. Comput., 2004, v:15, n:3-4, pp:309-330 [Journal]
    
19. Mohamed Layouni, Hans Vangheluwe
    Anonymous k -Show Credentials. [Citation Graph (0, 0)][DBLP]
    EuroPKI, 2007, pp:181-192 [Conf]
    
20. Jörg Kienzle, Alexandre Denault, Hans Vangheluwe
    Model-Based Design of Computer-Controlled Game Character Behavior. [Citation Graph (0, 0)][DBLP]
    MoDELS, 2007, pp:650-665 [Conf]
    
21. 
    Programmed Graph Rewriting with DEVS. [Citation Graph (, )][DBLP]
    
    
22. 
    Transforming Timeline Specifications into Automata for Runtime Monitoring. [Citation Graph (, )][DBLP]
    
    
23. 
    Privacy-Preserving Telemonitoring for eHealth. [Citation Graph (, )][DBLP]
    
    
24. 
    A Privacy-Preserving eHealth Protocol Compliant with the Belgian Healthcare System. [Citation Graph (, )][DBLP]
    
    
25. 
    Translating Model Simulators to Analysis Models. [Citation Graph (, )][DBLP]
    
    
26. 
    Rapid Development of Scoped User Interfaces. [Citation Graph (, )][DBLP]
    
    
27. 
    Domain-Specific Modelling With Atom3. [Citation Graph (, )][DBLP]
    
    
28. 
    Addressing Security Requirements Through Multi-Formalism Modelling and Model Transformation. [Citation Graph (, )][DBLP]
    
    
29. 
    Domain-Specific Model Editors with Model Completion. [Citation Graph (, )][DBLP]
    
    
30. 
    Second International Workshop on Multi-Paradigm Modeling: Concepts and Tools. [Citation Graph (, )][DBLP]
    
    
31. 
    Explicit Transformation Modeling. [Citation Graph (, )][DBLP]
    
    
32. 
    Consistency between geometric and dynamic views of a mechanical system. [Citation Graph (, )][DBLP]
    
    
33. 
    Multi-formalism modelling and model transformation for the design of reactive systems. [Citation Graph (, )][DBLP]
    
    
34. 
    Programmed Graph Rewriting with Time for Simulation-Based Design. [Citation Graph (, )][DBLP]
    
    
35. 
    Exceptional Transformations. [Citation Graph (, )][DBLP]