The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for AToM3 with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2002-2007 (15) 2008-2012 (5)
Publication types (Num. hits)
article(2) inproceedings(18)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 22 occurrences of 17 keywords

Results
Found 20 publication records. Showing 20 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
114Juan de Lara, Hans Vangheluwe, Manuel Alfonseca 0001 Meta-modelling and graph grammars for multi-paradigm modelling in AToM3. Search on Bibsonomy Softw. Syst. Model. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Multi-paradigm modelling, Causal block diagrams, AToM3, OOCSMP, Code generation, Model transformation, Meta-modelling, Statecharts, Graph grammars, Multi-formalism
77Juan de Lara, Hans Vangheluwe AToM3: A Tool for Multi-formalism and Meta-modelling. Search on Bibsonomy FASE The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Multi-Formalism Modeling, Meta-Modeling, Modeling and Simulation, Graph Grammars, Automatic Code Generation
64Juan de Lara, Hans Vangheluwe Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts. Search on Bibsonomy ICGT The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
35Paul Kilgo, Eugene Syriani, Monica Anderson 0001 A Visual Modeling Language for RDIS and ROS Nodes Using AToM3. Search on Bibsonomy SIMPAR The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
35Mouna Ait Oubelli, Nadia Younsi, Abdelkrim Amirat, Ahcene Menasria From UML 2.0 Sequence Diagrams to PROMELA code by Graph Transformation using AToM3. Search on Bibsonomy CIIA The full citation details ... 2011 DBLP  BibTeX  RDF
35Leila Jemni Ben Ayed, Ahlem Ben Younes, Amin Ben Brahim Achouri Using AToM3 for the Verification of Workflow Applications. Search on Bibsonomy ICSOFT (2) The full citation details ... 2010 DBLP  BibTeX  RDF
35Mabel del V. Sosa, Silvia Teresita Acuña, Juan de Lara Enfoque de Metamodelado y Multiformalismo Aplicado al Proceso Software usando AToM3. Search on Bibsonomy JIISIC The full citation details ... 2007 DBLP  BibTeX  RDF
35Hans Vangheluwe, Ximeng Sun, Eric Bodden Domain-Specific Modelling With Atom3. Search on Bibsonomy ICSOFT (PL/DPS/KE/MUSE) The full citation details ... 2007 DBLP  BibTeX  RDF
35Juan de Lara, Hans Vangheluwe Using AToM3 as a Meta-Case Tool. Search on Bibsonomy ICEIS The full citation details ... 2002 DBLP  BibTeX  RDF
21Elhillali Kerkouche, Allaoua Chaoui, Khaled Khalfaoui Transforming UML models to colored petri nets models using graph grammars. Search on Bibsonomy ISCC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
21Sadaf Mustafiz, Ximeng Sun, Jörg Kienzle, Hans Vangheluwe Model-driven assessment of system dependability. Search on Bibsonomy Softw. Syst. Model. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Reliability, Dependability, Requirements, Safety, Use cases
21Thomas Huining Feng, Miriam Zia, Hans Vangheluwe Multi-formalism modelling and model transformation for the design of reactive systems. Search on Bibsonomy SCSC The full citation details ... 2007 DBLP  BibTeX  RDF computer automated multi-paradigm modelling (CAMPaM), modelling and simulation based design, model transformation
21Francisco Pérez Andrés, Juan de Lara, Esther Guerra Domain Specific Languages with Graphical and Textual Views. Search on Bibsonomy AGTIVE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Eric Bodden, Hans Vangheluwe Transforming Timeline Specifications into Automata for Runtime Monitoring. Search on Bibsonomy AGTIVE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Eugene Syriani, Hans Vangheluwe Programmed Graph Rewriting with DEVS. Search on Bibsonomy AGTIVE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Esther Guerra, Daniel Sanz, Paloma Díaz 0001, Ignacio Aedo A Transformation-Driven Approach to the Verification of Security Policies in Web Designs. Search on Bibsonomy ICWE The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Sadaf Mustafiz, Ximeng Sun, Jörg Kienzle, Hans Vangheluwe Model-Driven Assessment of Use Cases for Dependable Systems. Search on Bibsonomy MoDELS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
21Juan de Lara, Gabriele Taentzer Automated Model Transformation and Its Validation Using AToM 3 and AGG. Search on Bibsonomy Diagrams The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Multi-Formalism Modelling, Meta-Modelling, Graph Transformation
21Roswitha Bardohl, Hartmut Ehrig, Juan de Lara, Gabriele Taentzer Integrating Meta-modelling Aspects with Graph Transformation for Efficient Visual Language Definition and Model Manipulation. Search on Bibsonomy FASE The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
21Juan de Lara, Esther Guerra, Hans Vangheluwe Meta-Modelling, Graph Transformation and Model Checking for the Analysis of Hybrid Systems. Search on Bibsonomy AGTIVE The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Multi-Paradigm, Model-Checking, Hybrid Systems, Meta-Modelling, Graph Rewriting
Displaying result #1 - #20 of 20 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license