Faculty of Computer Science

  • 5000

    Belgium

Research Output 1969 2019

2014

Saisir l’évaluation de l’université en actes: interprétations et appropriations des parties prenantes

Charlier, N., 2014, Leurres de la qualité dans l'enseignement supérieur : variations internationales sur un thème ambigu. Paris: L'Harmattan-Académia, p. 157-172

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter

69 Downloads (Pure)

Schedulability analysis support for automotive systems: From requirement to implementation

Kang, E-Y. & Schobbens, P. Y., 24 Mar 2014, Proceedings of the ACM Symposium on Applied Computing. New York, NY, USA: ACM Press, p. 1080-1085 6 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Open Access
File
Scheduling
Interchanges
Model checking
Brakes
Costs

Software Quality: Introduction to the Special Theme

Vinju, J. & Cleve, A., 2014, In : ERCIM News. 99

Research output: Contribution to journalArticle

Software Quality in an Increasingly Agile World

Vanderose, B., Ayed, H. & Habra, N., Oct 2014, In : ERCIM News. 99

Research output: Contribution to journalArticle

90 Downloads (Pure)

State Machine Flattening: Mapping Study and Assessment

Devroey, X., Perrouin, G., Cordy, M., Legay, A., Schobbens, P-Y. & Heymans, P., 21 Mar 2014, 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops: ICSTW. IEEE, 13 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Open Access
File
Scalability
Large scale systems
Availability
Testing
80 Downloads (Pure)

Supported approach for agile methods adaptation: an adoption study

Ayed, H., Vanderose, B. & Habra, N., 3 Jun 2014, p. 36-41. 6 p.

Research output: Contribution to conferencePaper

Open Access
File
Software engineering
Automation

Supporting Business Process Exception Management by Dynamically Building Processes Using the BEM Framework

Linden, I., Derbali, M., Schwanen, G., Jacquet, J. M., Ramdoyal, R. & Ponsard, C., 2014, Decision Support Systems III - Impact of Decision Support Systems for Global Environments. Dargam, F., Hernández, J. E., Zaraté, P., Liu, S., Ribeiro, R., Delibašić, B. & Papathanasiou, J. (eds.). Springer Verlag, Vol. 184 LNBIP. p. 67-78 12 p. (Lecture Notes in Business Information Processing; vol. 184).

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter (peer-reviewed)

Business Process
Exception
Managers
Engine
Complex Event Processing

Taupe: Visualizing and analyzing eye-tracking data

De Smet, B., Lempereur, L., Sharafi, Z., Guéhéneuc, Y. G., Antoniol, G. & Habra, N., 1 Jan 2014, In : Science of Computer Programming. 79, p. 260-278 19 p.

Research output: Contribution to journalArticle

Experiments
304 Downloads (Pure)
File
142 Downloads (Pure)

The Jungle Universe: coupled cosmological models in a Lotka–Volterra framework

Perez, J., Füzfa, A., Carletti, T., Melot, L. & Guedezounme, S. L., 1 May 2014, In : General Relativity and Gravitation. 46, 4, p. 1753 23 p., 46.

Research output: Contribution to journalArticle

Open Access
File
tropical regions
universe
fluids
Liapunov functions
dark energy

Théorie des Langages de Programmation : Syntaxe et Sémantique: Eléments théoriques et exercices

Translated title of the contribution: Theory of Programming Languages: Syntax and Semantics: Theoritical elements and exercisesMarcozzi, M., 1 Jan 2014, Namur: Presses universitaires de Namur. 169 p.

Research output: Book/Report/JournalBook

language theory
programming language
syntax
semantics
learning
45 Downloads (Pure)

Towards a HL7 based Metamodeling Integration Approach for Embracing the Privacy of Healthcare Patient Records Administration

Feltus, C., Nicolas, D. & Poupart, C., 9 Sep 2014. 8 p.

Research output: Contribution to conferencePaper

File
34 Downloads (Pure)

Towards an Innovative Systemic Approach of Risk Management

Cholez, H. & Feltus, C., 2014. 4 p.

Research output: Contribution to conferencePaper

File
71 Downloads (Pure)

Towards a systematic approach for cognitively efficient configuration visualizations

Sauvage-Thomase, C., Biri, N., Perrouin, G. & Heymans, P., 9 Dec 2014. 12 p.

Research output: Contribution to conferencePaper

File
Visualization
Data visualization
120 Downloads (Pure)

Towards Cyber-Security Protection of Critical Infrastructures by Generating Security Policy for SCADA System

Feltus, C., Ouedraogo, M. & Khadraoui, D., 2014. 8 p.

Research output: Contribution to conferencePaper

File
204 Downloads (Pure)

Towards Statistical Prioritization for Software Product Lines Testing

Devroey, X., Perrouin, G., Cordy, M., Schobbens, P-Y., Legay, A. & Heymans, P., Jan 2014, Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems. Wasowski, A. & Weyer, T. (eds.). Sophia Antipolis, France: ACM Press, Vol. VaMoS '14. p. 10:1-10:7 8 p. 10

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

File
Sampling
Testing
Markov processes
Explosions
3 Downloads (Pure)

Towards Statistical Prioritization for Software Product Lines Testing

Devroey, X., Cordy, M., Perrouin, G., Schobbens, P-Y., Legay, A. & Heymans, P., 22 Jan 2014, Proceedings of the Eighth International Workshop on Variability Modelling of Software-Intensive Systems: VaMoS '14 . ACM Press, 7 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Open Access
File
Testing
Markov processes
Explosions
Sampling
218 Downloads (Pure)

Towards Testing of Full-Scale SQL Applications using Relational Symbolic Execution

Marcozzi, M., Vanhoof, W. & Hainaut, J-L., 31 May 2014, Proceedings of 36th International Conference on Software Engineering (ICSE 2014) Workshops: 6th Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA 2014). ACM Press

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Open Access
File
Testing
Surface mount technology
Semantics

UMAC - User Management and Access Control

Colin, J-N. & Hoang, M. T., 2014

Research output: Non-textual formSoftware

Understanding the Database Manipulation Behavior of Programs

Noughi, N., Mori, M., Meurice, L. & Cleve, A., 2014, (Accepted/In press) Proceedings of the 22nd International Conference on Program Comprehension (ICPC 2014): Early Research Achievement Track. IEEE Computer society

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Using fixed-price auctions for selection in communities of web services

Lim, E. & Maamar, Z., 1 Jan 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, Vol. 8697. p. 190-201 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8697).

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Auctions
Web services
Web Services
Demonstrate
Quality of Service

VIBeS: Variability Intensive system Behavioural teSting

Devroey, X. & Perrouin, G., Oct 2014

Research output: Non-textual formSoftware

Testing

YAMI: Yet Another Model Inference tool

Devroey, X., Oct 2014

Research output: Non-textual formSoftware

Markov processes
Engineers
2013
150 Downloads (Pure)

Access and usage control requirements for patient controlled record type of healthcare information system

Rath, T. M. A. & Colin, J-N., 27 May 2013, HEALTHINF 2013 - Proceedings of the International Conference on Health Informatics. p. 331-336 6 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

File
Information Systems
Delivery of Health Care
Belgium
Health
Physicians

A framework for collaboratively editing domain specific models

Koshima, A., 2013, poster presentation at the 4th DSM-TP summer school, 2-6 September 2013, Santiago de Compostela, Spain .

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

11 Downloads (Pure)

A framework for the rigorous design of highly adaptive timed systems

Cordy, M., Legay, A., Schobbens, P. Y. & Traonouez, L. M., 28 Oct 2013, 2013 1st FME Workshop on Formal Methods in Software Engineering, FormaliSE 2013 - Proceedings. p. 64-70 7 p. 6612279

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Open Access
File
Adaptive systems
Failure modes
Dynamical systems

A Generic Workflow Metamodel to Support Resource-aware Decision Making

Ramdoyal, R., Ponsard, C., Derbali, M-A., Schwanen, G., Linden, I. & Jacquet, J-M., 21 Nov 2013, ICEIS 2013 - Proceedings of the 15th International Conference on Enterprise Information Systems. Vol. 3. p. 243-250 8 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Decision making
Global optimization
Recovery

Agent-based game-theoretic model for collaborative web services: Decision making analysis

Khosravifar, B., Bentahar, J., Alishahi, M., Mizouni, R., Otrok, H. & Thiran, P., 15 Jun 2013, In : Expert Systems with Applications. 40, 8, p. 3207-3219 13 p.

Research output: Contribution to journalArticle

Web services
Decision making
Joining
Costs
Industry
606 Downloads (Pure)

Agile processes evolution challenges

Ayed, H., Habra, N. & Vanderose, B., 2013, p. 5-7. 3 p.

Research output: Contribution to conferenceAbstract

Open Access
File

Allaiter sur le web: Entre biopouvoir et rituels numériques

Grandjean, N., 2013, In : Cahiers du numérique. 9, 3-4, p. 63-81

Research output: Contribution to journalArticle

A methodology for formal analysis and verification of EAST-ADL models

Kang, E-Y., Enoiu, E. P., Marinescu, R., Seceleanu, C., Schobbens, P. Y. & Pettersson, P., 31 Jul 2013, In : Reliability Engineering and System Safety. 120, p. 127-138 12 p.

Research output: Contribution to journalArticle

Formal Analysis
Formal Verification
Methodology
Timing
Requirements
114 Downloads (Pure)

AM-QuICk : a measurement-based framework for agile methods customisation

Ayed, H., Habra, N. & Vanderose, B., 1 Dec 2013, Proceedings - Joint Conference of the 23rd International Workshop on Software Measurement and the 8th International Conference on Software Process and Product Measurement, IWSM-MENSURA 2013. p. 71-80 10 p. 6693225

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

File
Software engineering
Decision making
85 Downloads (Pure)

Analytical Grid

Goujon, P. & Rainey, S., 24 Feb 2013, Commission of European Communities. 36 p.

Research output: Book/Report/JournalOther report

File

A new paradigm for applied requirements engineering research

Mahaux, M. & Mavin, A., 31 Dec 2013, 2013 21st IEEE International Requirements Engineering Conference, RE 2013 - Proceedings. p. 353-356 4 p. 6636750

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Requirements engineering
Engineering research
Concretes
Industry
95 Downloads (Pure)

A purpose model and policy enforcement engine for usage control in distributed healthcare information system

Rath, T. M. A. & Colin, J-N., 27 May 2013, HEALTHINF 2013 - Proceedings of the International Conference on Health Informatics. p. 174-180 7 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

File
Information Systems
Delivery of Health Care
Privacy
164 Downloads (Pure)

A relational symbolic execution algorithm for constraint-based testing of database programs

Marcozzi, M., Vanhoof, W. & Hainaut, J-L., 22 Sep 2013, IEEE 13th International Working Conference on Source Code Analysis and Manipulation, SCAM 2013. IEEE Computer society, p. 179-188 10 p. 6648200

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Open Access
File
Testing
Flow graphs

Assessing software product line testing via model-based mutation: An application to similarity testing

Henard, C., Papadakis, M., Perrouin, G., Klein, J. & Traon, Y. L., 9 Sep 2013, Proceedings - IEEE 6th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2013. IEEE, p. 188-197 10 p. 6571629

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Testing
Engineers

A Stability-aware Approach to Continuous Self-adaptation of Data-intensive Systems

Mori, M., Cleve, A. & Inverardi, P., 2013, 2nd International Conference on Context-Aware Systems and Applications: 2nd International Conference on Context-Aware Systems and Applications. Springer Verlag

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter

System stability
Mobile devices
Experiments
Statistical Models

Automated evaluation of website navigability: An empirical validation of multilevel quality models

Vaucher, S., Moulart, A., Sahraoui, H. & Habra, N., 1 Aug 2013, In : Journal of software: Evolution and Process. 25, 8, p. 815-839 25 p.

Research output: Contribution to journalArticle

Websites
Navigation
Communication
Industry
78 Downloads (Pure)

Beyond Boolean product-line model checking: Dealing with feature attributes and multi-features

Cordy, M., Schobbens, P. Y., Heymans, P. & Legay, A., 30 Oct 2013, Proceedings - International Conference on Software Engineering. p. 472-481 10 p. 6606593

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

File
Model checking
Specifications
Processing

"Casse toi pov’ con", un discours politique et satirique protégé par la liberté d’expression

Van Enis, Q., 9 Apr 2013, Justice en ligne.

Research output: Contribution to specialist publicationArticle

Collaborative creativity in requirements engineering: Analysis and practical advice

Mahaux, M., Nguyen, L., Gotel, O., Mich, L., Mavin, A. & Schmid, K., 19 Sep 2013, Proceedings - International Conference on Research Challenges in Information Science. 6577678

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Requirements engineering
86 Downloads (Pure)

Conceptual Integration of enterprise architecture management and security risk management

Grandry, E., Feltus, C. & Dubois, E., 2013, Proceedings of the Fifth Workshop on Service oriented Enterprise Architecture for Enterprise Engineering (SoEA4EE’2013), an International Workshop of the 17th IEEE International EDOC Conference (IEEE EDOC 2013). IEEE Computer society, p. 114-123 10 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingChapter

File
Enterprise Architecture
Risk Management
Risk management
Information Security
Modeling Language

Conviction model for incident reaction architecture monitoring based on automatic sensors alert detection

Feltus, C. & Khadraoui, D., 2013, SIN 2013 - Proceedings of the 6th International Conference on Security of Information and Networks. p. 39-45 7 p.

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Monitoring
Sensors
Network components
Wireless networks
Information systems

Corps et technologies: penser l'hybridité

Grandjean, N. & Lobet-Maris, C., 2013, Bruxelles: Peter lang. 227 p.

Research output: Book/Report/JournalBook

Requirements engineering
Sustainable development

Creative collisions: Meet and create: And other "rE interactive" suggestions

Mahaux, M. & Callele, D., 31 Dec 2013, 2013 21st IEEE International Requirements Engineering Conference, RE 2013 - Proceedings. p. 371-372 2 p. 6636756

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Requirements engineering
Forging

Critical infrastructures governance: Exploring SCADA cybernetics through architectured policy semantic

Khadraoui, D. & Feltus, C., 2013, Proceedings - 2013 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2013. p. 4766-4771 6 p. 6722566

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Critical infrastructures
SCADA systems
Cybernetics
Semantics
Monitoring

Dynamic program analysis for database reverse engineering

Cleve, A., Noughi, N. & Hainaut, J-L., 1 Dec 2013, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer, Vol. 7680 LNCS. p. 297-321 25 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7680 LNCS).

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

Reverse engineering
Program Analysis
Reverse Engineering
Dynamic Analysis
Schema