|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 9 occurrences of 8 keywords
|
|
|
|
|
Results
Found 7 publication records. Showing 7 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Matteo Bordin, Marco Panunzio, Stefano Puri |
Rapid Model-Driven Prototyping and Verification of High-Integrity Real-Time Systems.  |
ASE  |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Bordin, Thanassis Tsiodras, Maxime Perrotin |
Experience in the Integration of Heterogeneous Models in the Model-driven Engineering of High-Integrity Systems. |
Ada-Europe |
2008 |
DBLP DOI BibTeX RDF |
Model-driven Integration, High-Integrity Systems, Automated Code Generation |
| 1 | Matteo Bordin, Marco Panunzio, Tullio Vardanega |
Fitting Schedulability Analysis Theory into Model-Driven Engineering. |
ECRTS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Bordin, Tullio Vardanega |
Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach. |
Ada-Europe |
2007 |
DBLP DOI BibTeX RDF |
Model-Driven Architecture, Metamodelling, Correctness by construction, Ravenscar Profile |
| 1 | Matteo Bordin, Tullio Vardanega |
Real-time Java from an automated code generation perspective. |
JTRES |
2007 |
DBLP DOI BibTeX RDF |
model-driven engineering, real-time Java, automated code generation |
| 1 | Matteo Bordin, Tullio Vardanega |
A New Strategy for the HRT-HOOD to Ada Mapping. |
Ada-Europe |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Bordin, Tullio Vardanega |
Automated Model-Based Generation of Ravenscar-Compliant Source Code. |
ECRTS |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #7 of 7 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")