|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 17 occurrences of 16 keywords
|
|
|
|
|
Results
Found 40 publication records. Showing 40 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Giovanni Giacobbi, Tullio Vardanega |
Measuring I/O Performance in Xen Paravirtualization Virtual Machines.  |
CLOSER  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Alexander Romanovsky, Tullio Vardanega (eds.) |
Reliable Software Technologies - Ada-Europe 2011 - 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings |
Ada-Europe |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniela Cancila, Roberto Passerone, Tullio Vardanega, Marco Panunzio |
Ensuring Correctness in the Specification and Handling of Non-Functional Attributes in High-Integrity Real-Time Embedded Systems. |
IEEE Trans. Industrial Informatics |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Maccagnan, Tullio Vardanega, Erika Feltrin, Giorgio Valle, Mauro Riva, Nicola Cannata |
A Multi-Agent System for the Automated Handling of Experimental Protocols in Biological Laboratories. |
WOA |
2010 |
DBLP BibTeX RDF |
|
| 1 | Enrico Mezzetti, Marco Panunzio, Tullio Vardanega |
Preservation of Timing Properties with the Ada Ravenscar Profile. |
Ada-Europe |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Jorge Real, Tullio Vardanega (eds.) |
Reliable Software Technologiey - Ada-Europe 2010, 15th Ada-Europe International Conference on Reliable Software Technologies, Valencia, Spain, June 14-18, 2010. Proceedings |
Ada-Europe |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Mezzetti, Adam Betts, José Ruiz, Tullio Vardanega |
Cache-Aware Development of High-Integrity Systems. |
Ada-Europe |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Enrico Mezzetti, Tullio Vardanega |
Towards a Cache-Aware Development of High Integrity Real-Time Systems. |
RTCSA |
2010 |
DBLP DOI BibTeX RDF |
software architectures, caches, Timing analysis, WCET |
| 1 | Enrico Mezzetti, Marco Panunzio, Tullio Vardanega |
Bounding the Effects of Resource Access Protocols on Cache Behavior. |
WCET |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Panunzio, Tullio Vardanega |
A Component Model for On-board Software Applications. |
EUROMICRO-SEAA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Zovi, Tullio Vardanega |
Requirements on the Target Programming Language for High-Integrity MDE. |
Ada-Europe |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Panunzio, Tullio Vardanega |
On Component-Based Development and High-Integrity Real-Time Systems. |
RTCSA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Tullio Vardanega |
Property Preservation and Composition with Guarantees: From ASSERT to CHESS. |
ISORC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Silvia Mazzini, Stefano Puri, Tullio Vardanega |
An MDE methodology for the development of high-integrity real-time systems. |
DATE |
2009 |
DBLP BibTeX RDF |
|
| 1 | Fabrice Kordon, Tullio Vardanega (eds.) |
Reliable Software Technologies - Ada-Europe 2008, 13th Ada-Europe International Conference on Reliable Software Technologies, Venice, Italy, June 16-20, 2008. Proceedings |
Ada-Europe |
2008 |
DBLP BibTeX RDF |
|
| 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 | Marco Panunzio, Tullio Vardanega |
A Metamodel-Driven Process Featuring Advanced Model-Based Timing Analysis. |
Ada-Europe |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Panunzio, Tullio Vardanega |
An Approach to the Timing Analysis of Hierarchical Systems. |
RTCSA |
2007 |
DBLP DOI BibTeX RDF |
|
| 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 | José Antonio Pulido, Santiago Urueña, Juan Zamorano, Tullio Vardanega, Juan Antonio de la Puente |
Hierarchical Scheduling with Ada 2005. |
Ada-Europe |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Tullio Vardanega |
Property-Preserving Reuse-Geared Approach to Model-Driven Development. |
RTCSA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Vaclav Cechticky, M. Egli, Alessandro Pasetti, O. Rohlik, Tullio Vardanega |
A UML2 Profile for Reusable and Verifiable Software Components for Real-Time Applications. |
ICSR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Tullio Vardanega, Juan Zamorano, Juan Antonio de la Puente |
On the Dynamic Semantics and the Timing Behavior of Ravenscar Kernels. |
Real-Time Systems |
2005 |
DBLP DOI BibTeX RDF |
tasking restrictions, Real-time systems, concurrent programming, static timing analysis, response time analysis, Ravenscar Profile |
| 1 | Tullio Vardanega, Andy J. Wellings (eds.) |
Reliable Software Technology - Ada-Europe 2005, 10th Ada-Europe International Conference on Reliable Software Technologies, York, UK, June 20-24, 2005, Proceedings |
Ada-Europe |
2005 |
DBLP BibTeX RDF |
|
| 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 |
|
| 1 | Tullio Vardanega, Marco Di Natale, Silvia Mazzini, Massimo D'Alessandro |
Component-Based Real-Time Design: Mapping HRT-HOOD to UML. |
EUROMICRO |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Silvia Mazzini, Massimo D'Alessandro, Marco Di Natale, Andrea Domenici, Giuseppe Lipari, Tullio Vardanega |
HRT-UML: Taking HRT-HOOD onto UML. |
Ada-Europe |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Silvia Mazzini, Massimo D'Alessandro, Marco Di Natale, Giuseppe Lipari, Tullio Vardanega |
Issues in Mapping HRT-HOOD to UML. |
ECRTS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Tullio Vardanega, Gert Caspersen |
Engineering software reuse for on-board embedded real-time systems. |
Softw., Pract. Exper. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Alejandro Alonso, Roberto López, Tullio Vardanega, Juan Antonio de la Puente |
Using Object Orientation in High Integrity Applications: A Case Study. |
Ada-Europe |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Tullio Vardanega, Rodrigo García, Juan Antonio de la Puente |
An Application Case for Ravenscar Technology: Porting OBOSS to GNAT/ORK. |
Ada-Europe |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Tullio Vardanega |
On the Distribution of Control Functions in New-Generation On-Board Embedded Real-Time Systems. |
Scalable Computing: Practice and Experience |
1999 |
DBLP BibTeX RDF |
|
| 1 | Tullio Vardanega, Jan van Katwijk |
A Software Process for the Construction of Predictable On-Board Embedded Real-Time Systems. |
Softw., Pract. Exper. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Tullio Vardanega, Gert Caspersen, Jan Storbank Pedersen |
A Case Study in the Reuse of On-board Embedded Real-Time Software. |
Ada-Europe |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Tullio Vardanega, Jan van Katwijk |
Productive engineering of predictable embedded real-time systems: the road to maturity. |
Information & Software Technology |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Tullio Vardanega |
Tool support for the construction of statically analysable hard real-time Ada systems. (PDF / PS) |
IEEE Real-Time Systems Symposium |
1996 |
DBLP DOI BibTeX RDF |
artificial satellites, statically analysable hard real time Ada systems, fixed priority process based preemptive scheduling, new generation software intensive satellite control systems, preemptive priority based scheduling, mature static analysis techniques, worst case response time analysis models, Ada programming model, worst case response time analysis tools, on-board control systems, cyclic scheduling |
| 1 | Tullio Vardanega, P. David, J.-F. Chane, W. Mader, R. Messaros, Jean Arlat |
On the Development of Fault-Tolerant On-Board Control Software and its Evaluation by Fault Injection. |
FTCS |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Tullio Vardanega |
Experience with the Development of Hard Real-Time Embedded Ada Software. |
ICSE |
1994 |
DBLP BibTeX RDF |
|
Displaying result #1 - #40 of 40 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")