|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 25 occurrences of 17 keywords
|
|
|
|
|
Results
Found 34 publication records. Showing 34 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Hans Søndergaard, Bent Thomsen, Anders P. Ravn, René Rydhof Hansen, Thomas Bøgholm |
Refactoring Real-Time Java Profiles.  |
ISORC  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Andreas Engelbredt Dalsgaard, René Rydhof Hansen, Kenneth Yrke Jørgensen, Kim Guldstrand Larsen, Mads Chr. Olesen, Petur Olsen, Jirí Srba |
opaal: A Lattice Model Checker. |
NASA Formal Methods |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mads Chr. Olesen, René Rydhof Hansen, Julia L. Lawall, Nicolas Palix |
Clang and Coccinelle: Synergising program analysis tools for CERT C Secure Coding Standard certification. |
ECEASST |
2010 |
DBLP BibTeX RDF |
|
| 1 | Rocco De Nicola, Daniele Gorla, René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese |
From Flow Logic to static type systems for coordination languages. |
Sci. Comput. Program. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Bolander, René Rydhof Hansen |
Hybrid logical analyses of the ambient calculus. |
Inf. Comput. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Julia L. Lawall, René Rydhof Hansen, Nicolas Palix, Gilles Muller |
Improving the Security of Infrastructure Software using Coccinelle. |
ERCIM News |
2010 |
DBLP BibTeX RDF |
|
| 1 | Thomas Bøgholm, René Rydhof Hansen, Anders P. Ravn, Hans Søndergaard, Bent Thomsen |
Formal Modelling and Analysis of Predictable Java. |
ERCIM News |
2010 |
DBLP BibTeX RDF |
|
| 1 | Julia L. Lawall, Ben Laurie, René Rydhof Hansen, Nicolas Palix, Gilles Muller |
Finding Error Handling Bugs in OpenSSL Using Coccinelle. |
EDCC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Bøgholm, René Rydhof Hansen, Anders P. Ravn, Bent Thomsen, Hans Søndergaard |
Schedulability analysis for Java finalizers. |
JTRES |
2010 |
DBLP DOI BibTeX RDF |
schedulability, Java, model checking, real-time, finalizers |
| 1 | Andreas Engelbredt Dalsgaard, Mads Chr. Olesen, Martin Toft, René Rydhof Hansen, Kim Guldstrand Larsen |
METAMOC: Modular Execution Time Analysis using Model Checking. |
WCET |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew D. Gordon, Hans Hüttel, René Rydhof Hansen |
Type Inference for Correspondence Types. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Julia L. Lawall, Julien Brunel, Nicolas Palix, René Rydhof Hansen, Henrik Stuart, Gilles Muller |
WYSIWIB: A declarative approach to finding API protocols and bugs in Linux code. |
DSN |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Brunel, Damien Doligez, René Rydhof Hansen, Julia L. Lawall, Gilles Muller |
A foundation for flow-based program matching: using temporal logic and model checking. |
POPL |
2009 |
DBLP DOI BibTeX RDF |
program matching, model checking, program transformation, ctl, bug finding |
| 1 | Thomas Bøgholm, René Rydhof Hansen, Anders P. Ravn, Bent Thomsen, Hans Søndergaard |
A predictable Java profile: rationale and implementations. |
JTRES |
2009 |
DBLP DOI BibTeX RDF |
Java, real-time |
| 1 | Christian W. Probst, René Rydhof Hansen |
Analysing Access Control Specifications. |
SADFE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Rocco De Nicola, Daniele Gorla, René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst, Rosario Pugliese |
From Flow Logic to Static Type Systems for Coordination Languages. |
COORDINATION |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yoann Padioleau, Julia L. Lawall, René Rydhof Hansen, Gilles Muller |
Documenting and automating collateral evolutions in linux device drivers. |
EuroSys |
2008 |
DBLP DOI BibTeX RDF |
collateral evolutions, program transformation, software evolution, domain-specific language, linux, device drivers |
| 1 | René Rydhof Hansen, Flemming Nielson, Hanne Riis Nielson, Christian W. Probst |
Static Validation of Licence Conformance Policies. |
ARES |
2008 |
DBLP DOI BibTeX RDF |
static analysis, open systems, policy enforcement |
| 1 | Neil D. Jones, René Rydhof Hansen |
CTL as an Intermediate Language. |
VMCAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Bolander, René Rydhof Hansen |
Hybrid Logical Analyses of the Ambient Calculus. |
WoLLIC |
2007 |
DBLP DOI BibTeX RDF |
static analysis, Hybrid logic, mobile ambients |
| 1 | Neil D. Jones, René Rydhof Hansen |
The Semantics of "Semantic Patches" in Coccinelle: Program Transformation for the Working Programmer. |
APLAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Muller, Yoann Padioleau, Julia L. Lawall, René Rydhof Hansen |
Semantic patches considered helpful. |
Operating Systems Review |
2006 |
DBLP DOI BibTeX RDF |
Linux |
| 1 | Yoann Padioleau, René Rydhof Hansen, Julia L. Lawall, Gilles Muller |
Semantic patches for documenting and automating collateral evolutions in Linux device drivers. |
PLOS |
2006 |
DBLP DOI BibTeX RDF |
software evolution, domain-specific languages |
| 1 | Christian W. Probst, René Rydhof Hansen, Flemming Nielson |
Where Can an Insider Attack? |
Formal Aspects in Security and Trust |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Terkel K. Tolstrup, Flemming Nielson, René Rydhof Hansen |
Locality-Based Security Policies. |
Formal Aspects in Security and Trust |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Dan Søndergaard, Christian W. Probst, Christian Damsgaard Jensen, René Rydhof Hansen |
Program Partitioning Using Dynamic Trust Models. |
Formal Aspects in Security and Trust |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | René Rydhof Hansen, Christian W. Probst, Flemming Nielson |
Sandboxing in myKlaim. |
ARES |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | René Rydhof Hansen, Igor Siveroni |
Towards Verification of Well-Formed Transactions in Java Card Bytecode. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Flemming Nielson, Hanne Riis Nielson, Hongyan Sun, Mikael Buchholtz, René Rydhof Hansen, Henrik Pilegaard, Helmut Seidl |
The Succinct Solver Suite. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | René Rydhof Hansen |
A Hardest Attacker for Leaking References. |
ESOP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Flemming Nielson, René Rydhof Hansen, Hanne Riis Nielson |
Abstract interpretation of mobile ambients. |
Sci. Comput. Program. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Flemming Nielson, Hanne Riis Nielson, René Rydhof Hansen |
Validating firewalls using flow logics. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Flemming Nielson, Hanne Riis Nielson, René Rydhof Hansen, Jacob Grydholt Jensen |
Validating Firewalls in Mobile Ambients. |
CONCUR |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | René Rydhof Hansen, Jacob Grydholt Jensen, Flemming Nielson, Hanne Riis Nielson |
Abstract Interpretation of Mobile Ambients. |
SAS |
1999 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #34 of 34 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")