Faculté d'informatique

  • 5000

    Belgique

Résultat de recherche 1969 2019

Filtre
Autre contribution
2015
144 Downloads (Pure)

Presentation Asdenca 2015 paper

Feltus, C., Fontaine, F-X. & Grandry, E., 2015

Résultats de recherche: Autre contribution

Accès ouvert
File
98 Downloads (Pure)

Presentation of RCIS paper

Feltus, C., 2015, 31 p.

Résultats de recherche: Autre contribution

Accès ouvert
File
2014
73 Downloads (Pure)

PhD presentation support

Feltus, C., 2014

Résultats de recherche: Autre contribution

File
2013
54 Downloads (Pure)
File
12 Downloads (Pure)
File
Sampling
Testing
Markov processes
Explosions

Verification for Reliable Product Lines

Cordy, M., Heymans, P., Schobbens, P-Y., Molzam Sharifloo, A. & Ghezzi, C., 2013

Résultats de recherche: Autre contribution

Analogue attacks in e-health: Issues and Solutions

Thavymony Annanda, R. & Colin, J-N., 2012, (Non publié)

Résultats de recherche: Autre contribution

An interactive Video Streaming Architecture Featuring Bit-rate Adaptation

Fernandez, I. A., De VleeSchouwer, C., Toma, G. & Schumacher, L., 2012

Résultats de recherche: Autre contribution

Governance in Perspective. The Issue of Normativity

Masclet, L. & Goujon, P., 1 janv. 2012

Résultats de recherche: Autre contribution

34 Downloads (Pure)

Joint Workshop on Security Modeling ArchiMate Forum and Security Forum

Feltus, C. & Band, I., 2012

Résultats de recherche: Autre contribution

File
109 Downloads (Pure)
File
94 Downloads (Pure)
File

A Formal Verification Technique for Architecture-Based Embedded Systems in EAST-ADL

Kang, E-Y., 2011, (Non publié)

Résultats de recherche: Autre contribution

european project egais : Deliverable 3.3 Portability of Ethical Governance

Goujon, P., Rainey, S., Doridot, F., Kurt, A., Duquenoy, P., Patrignany, N. & Lavelle, S., 2011, (Non publié)

Résultats de recherche: Autre contribution

Portability
Governance
European Union
Foresight
Methodology

european project etica : Deliverable D4.2 Governance Recommendations

Goujon, P. & Rainey, S., 2011, (Non publié)

Résultats de recherche: Autre contribution

governance

PrimAndroid: Privacy Policy Modelling and Analysis for Android Applications

Benats, G., Bandara, A., Yu, Y., Colin, J-N. & Buseibeh, B., 2011

Résultats de recherche: Autre contribution

Proceedings of the 19th IEEE International Requirements Engineering Conference

Heymans, P., Mylopoulos, J. & Fricker, S., 2011

Résultats de recherche: Autre contribution

13 Downloads (Pure)

Refinement & Synthesis - Distributed Event Clock Automata

Ortiz Vega, J. J., Schobbens, P-Y. & Legay, A., 2011, 1 p. Brussels

Résultats de recherche: Autre contribution

File
257 Downloads (Pure)
File
223 Downloads (Pure)

CTL Model Checking for Software Product Lines in NuSMV

Classen, A., 2010

Résultats de recherche: Autre contribution

File

Database Reverse Engineering

Hainaut, J-L., Englebert, V. & HENRARD, J., 2010

Résultats de recherche: Autre contribution

Deliverable 2.4 Interpretation of Ethical Behaviour

Norberto, P., Santuccio, A. & Goujon, P., 2010

Résultats de recherche: Autre contribution

egais deliverable 2.2 Empirical Data Collection

Duquenoy, P., Kurt, A. & Goujon, P., 2010

Résultats de recherche: Autre contribution

egais deliverable 3.1 : Ethical Governance Models, Paradigm Recognition and Interpretation

Kurt, A., Lavel, S., Goujon, P., Catherine, F. & Duquenoy, P., 2010

Résultats de recherche: Autre contribution

124 Downloads (Pure)
File
Modeling languages
287 Downloads (Pure)

Modelling with FTS: a Collection of Illustrative Examples

Classen, A., 2010

Résultats de recherche: Autre contribution

File

Network Data Model

Hainaut, J-L., 2010

Résultats de recherche: Autre contribution