Skip to main content
User menu
Cart
Login
DIAL.pr - BOREAL
Search form
Search
Home
All Publications
Export
Help
Current search
1983
2011
Delforge, Catherine
2015
Contribution à ouvrage collectif (Book Chapter)
UCLouvain
Article de périodique (Journal article)
Legay, Axel
Author
2
Given-Wilson, Thomas
Apply Given-Wilson, Thomas filter
1
Arnold, Alexandre
Apply Arnold, Alexandre filter
1
Baleani, Massimo
Apply Baleani, Massimo filter
1
Biondi, Fabrizio
Apply Biondi, Fabrizio filter
1
Etzien, Christoph
Apply Etzien, Christoph filter
1
Ferrari, Alberto
Apply Ferrari, Alberto filter
1
Marazza, Marco
Apply Marazza, Marco filter
1
Ngo Van, Chan
Apply Ngo Van, Chan filter
1
Quilbeuf, Jean
Apply Quilbeuf, Jean filter
1
Senni, Valerio
Apply Senni, Valerio filter
Document Type
2
Document de travail (Working Paper)
Apply Document de travail (Working Paper) filter
2
Rapport (Report)
Apply Rapport (Report) filter
You are here
Home
»
Search
»
Search results
»
*:*
»
^1983
»
^2011
»
^Delforge, Catherine
»
2015
»
^Contribution à ouvrage collectif (Book Chapter)
»
^UCLouvain
»
^Article de périodique (Journal article)
»
Legay, Axel
»
Search
Accès à distance ? S'identifier sur le proxy
UCLouvain
Search
Sort by
Relevancy
Publication date desc
Publication date asc
Creation date
Fulltext
Displaying
4
results.
Report
Statistical Model Checking of Systems of Systems: An Industrial Approach : Verification statistique de systèmes de systèmes : une approche industrielle
Arnold, Alexandre
Baleani, Massimo
Ferrari, Alberto
Marazza, Marco
Senni, Valerio
Legay, Axel
[UCL]
Quilbeuf, Jean
Etzien, Christoph
(2015)
WorkingPaper
On the Attacker's Knowledge in Shared-Key Cryptosystems
Biondi, Fabrizio
Given-Wilson, Thomas
Legay, Axel
[UCL]
(2015)
Report
Dependability Analysis of Control Systems using SystemC and Statistical Model Checking
Ngo Van, Chan
Legay, Axel
[UCL]
(2015)
WorkingPaper
On the Expressiveness of Coordination
Given-Wilson, Thomas
Legay, Axel
[UCL]
(2015)