|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 41 occurrences of 25 keywords
|
|
|
|
|
Results
Found 44 publication records. Showing 44 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Johan Selänniemi, Ivan Porres |
An Efficient Google Datastore Adapter for Rich Internet Applications.  |
CLOSER  |
2011 |
DBLP BibTeX RDF |
|
| 1 | M. Mohsin Saleemi, Natalia Díaz Rodríguez, Johan Lilius, Ivan Porres |
A Framework for Context-Aware Applications for Smart Spaces. |
NEW2AN |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Irum Rauf, Ivan Porres |
Towards Behaviorally Enriched Semantic RESTful Interfaces Using OWL2. |
ICWE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Porres, Irum Rauf |
Modeling behavioral RESTful web service interfaces in UML. |
SAC |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Joerg Evermann, Ivan Porres |
Doctoral Symposium at MoDELS 2011. |
MoDELS Workshops |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Espen Suenson, Johan Lilius, Ivan Porres |
OWL Web Ontology Language as a Scripting Language for Smart Space Applications. |
RuleML Europe |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Natalia Díaz Rodríguez, Pasi Kankaanpää, M. Mohsin Saleemi, Johan Lilius, Ivan Porres |
Programming biomedical smart space applications with BioImageXD and PythonRules. |
SWAT4LS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Niclas Snellman, Adnan Ashraf, Ivan Porres |
Towards Automatic Performance and Scalability Testing of Rich Internet Applications in the Cloud. |
EUROMICRO-SEAA |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Beatriz Pérez, Ivan Porres |
Authoring and verification of clinical guidelines: A model driven approach. |
Journal of Biomedical Informatics |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Porres, Irum Rauf |
From Nondeterministic UML Protocol Statemachines to Class Contracts. |
ICST |
2010 |
DBLP DOI BibTeX RDF |
Protocol Statemachines, class contracts |
| 1 | Irum Rauf, Anna Ruokonen, Tarja Systä, Ivan Porres |
Modeling a composite RESTful web service with UML. |
ECSA Companion Volume |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeanette Heidenberg, Ivan Porres |
Metrics Functions for Kanban Guards. |
ECBS |
2010 |
DBLP DOI BibTeX RDF |
software metrics, agile methods, autonomation |
| 1 | Dragos Truscan, Torbjörn Lundkvist, Marcus Alanen, Kim Sandström, Ivan Porres, Johan Lilius |
MDE for SoC design. |
ISSE |
2009 |
DBLP DOI BibTeX RDF |
System on chip, Model transformation, Domain-specific language, Metamodel, Model-driven engineering |
| 1 | Ivan Porres, Irum Rauf |
Generating Class Contracts from Deterministic UML Protocol Statemachines. |
MoDELS Workshops |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcus Alanen, Ivan Porres |
A metamodeling language supporting subset and union properties. |
Software and System Modeling |
2008 |
DBLP DOI BibTeX RDF |
Redefinitions, Package merges, Extension mechanisms, Software modeling languages, UML, Graph theory, Graphs, Metamodeling, MOF, Subsets, Unions |
| 1 | Jeanette Heidenberg, Andreas Nåls, Ivan Porres |
Statechart features and pre-release maintenance defects. |
J. Vis. Lang. Comput. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Dragos Truscan, Johan Lindqvist, Johan Lilius, Ivan Porres, Timo Eriksson, Juha Rakkola, Antti Latva-Aho |
Testable Specifications of NoTA-based Modular Embedded Systems. |
ECBS |
2008 |
DBLP DOI BibTeX RDF |
NoTA architecture, SOA, SOC, testing specifications |
| 1 | Ivan Porres, Eladio Domínguez, Beatriz Pérez, Áurea Rodríguez, María Antonia Zapata |
A Model Driven Approach to Automate the Implementation of Clinical Guidelines in Decision Support Systems. |
ECBS |
2008 |
DBLP DOI BibTeX RDF |
Model Transformation, Model Driven Development, Clinical Guidelines |
| 1 | Beatriz Pérez, Ivan Porres |
Verification of Clinical Guidelines by Model Checking. |
CBMS |
2008 |
DBLP DOI BibTeX RDF |
Model checking, Formal Methods, Clinical Guidelines |
| 1 | Johan Lindqvist, Torbjörn Lundkvist, Ivan Porres |
A Query Language With the Star Operator. |
ECEASST |
2007 |
DBLP BibTeX RDF |
|
| 1 | Marcus Alanen, Torbjörn Lundkvist, Ivan Porres |
Creating and reconciling diagrams after executing model transformations. |
Sci. Comput. Program. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeanette Heidenberg, Andreas Nåls, Ivan Porres |
Statechart Features and Pre-Release Defects in Software Maintenance. |
VL/HCC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Porres, Eladio Domínguez, Beatriz Pérez, Áurea Rodríguez, María Antonia Zapata |
Development of an Ubiquitous Decision Support System for Clinical Guidelines using MDA. |
CAiSE Forum |
2007 |
DBLP BibTeX RDF |
|
| 1 | Johan Lilius, Ivan Porres, Kim Sandström, Dragos Truscan |
SystemC-based Simulation of the MICAS Architecture. |
FDL |
2007 |
DBLP BibTeX RDF |
|
| 1 | Marcus Alanen, Torbjörn Lundkvist, Ivan Porres |
Reconciling diagrams after executing model transformations. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
XMI[DI], diagram interchange, model transformation, visual languages |
| 1 | Ivan Porres, María C. Valiente |
Process Definition and Project Tracking in Model Driven Engineering. |
PROFES |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcus Alanen, Ivan Porres |
Basic Operations over Models Containing Subset and Union Properties. |
MoDELS |
2006 |
DBLP DOI BibTeX RDF |
subset and derived properties, UML, metamodeling, MOF |
| 1 | Marcus Alanen, Torbjörn Lundkvist, Ivan Porres |
A Mapping Language from Models to DI Diagrams. |
MoDELS |
2006 |
DBLP DOI BibTeX RDF |
Diagram Interchange, XMI[DI], UML, Visual languages, MOF |
| 1 | Marcus Alanen, Johan Lilius, Ivan Porres, Dragos Truscan, Ian Oliver, Kim Sandström |
Design Method Support for Domain Specific SoC design. |
MDB/MOMPES |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Porres |
Rule-based update transformations and their application to model refactorings. |
Software and System Modeling |
2005 |
DBLP DOI BibTeX RDF |
Model transformation, Model driven engineering |
| 1 | Marcus Alanen, Torbjörn Lundkvist, Ivan Porres |
Comparison of Modeling Frameworks for Software Engineering. |
Nord. J. Comput. |
2005 |
DBLP BibTeX RDF |
|
| 1 | Johan Lilius, Ricardo Jorge Machado, Dragos Truscan, João M. Fernandes, Ivan Porres |
Guest Editors' Foreword. |
Nord. J. Comput. |
2005 |
DBLP BibTeX RDF |
|
| 1 | Johan Lilius, Tomas Lillqvist, Torbjörn Lundkvist, Ian Oliver, Ivan Porres, Kim Sandström, Glen Sveholm, Asim Pervez Zaka |
An Architecture Exploration Environment for System on Chip Design. |
Nord. J. Comput. |
2005 |
DBLP BibTeX RDF |
|
| 1 | Ralph-Johan Back, Luka Milovanov, Ivan Porres |
Software Development and Experimentation in an Academic Environment: The Gaudi Experience. |
PROFES |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcus Alanen, Ivan Porres |
Model Interchange Using OMG Standards. |
EUROMICRO-SEAA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Porres |
A toolkit for model manipulation. |
Software and System Modeling |
2003 |
DBLP DOI BibTeX RDF |
UML, Tools, Transformation, Metamodeling, Scripting |
| 1 | Dag Björklund, Johan Lilius, Ivan Porres |
Rialto Profile in the SMW Toolkit. |
ACSD |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan Porres |
Model Refactorings as Rule-Based Update Transformations. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcus Alanen, Ivan Porres |
Difference and Union of Models. |
UML |
2003 |
DBLP DOI BibTeX RDF |
delta calculation, revision control, UML, metamodelling |
| 1 | Ralph-Johan Back, Dag Björklund, Johan Lilius, Luka Milovanov, Ivan Porres |
A Workbench to Experiment on New Model Engineering Applications. |
UML |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Dag Björklund, Johan Lilius, Ivan Porres |
A Unified Approach to Code Generation from Behavioral Diagrams. |
FDL |
2003 |
DBLP BibTeX RDF |
|
| 1 | Ralph-Johan Back, Luigia Petre, Ivan Porres |
Continuous Action Systems as a Model for Hybrid Systems. |
Nord. J. Comput. |
2001 |
DBLP BibTeX RDF |
|
| 1 | Dag Björklund, Johan Lilius, Ivan Porres |
Towards Efficient Code Synthesis from Statecharts. |
pUML |
2001 |
DBLP BibTeX RDF |
|
| 1 | Ralph-Johan Back, Luigia Petre, Ivan Porres |
Generalizing Action Systems to Hybrid Systems. |
FTRTFT |
2000 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #44 of 44 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")