Faculty of Computer Science

  • 5000

    Belgium

Research Output 1969 2019

2014
358 Downloads (Pure)
Open Access
File
Industry

A Little-Known Chapter in the History of Computing in Belgium: The Machine Mathématique IRSIA-FNRS

d'Udekem-Gevers, M., 2014, IFIP Advances in Information and Communication Technology: 11th IFIP TC9 International Conference on Human Choice and Computers, HCC11 2014, Turku, Finland, July 30 -August 1, 2014Proceedings. Heidelberg NY Dordrecht London: Springer, Vol. 431. p. 146-161 16 p. (IFIP Advances in Information and Communication Technology; vol. 431).

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

Belgium
Specificity
Prototype
154 Downloads (Pure)
Open Access
File
European Community
innovation
EU
governance
decision making process
98 Downloads (Pure)

An extensible platform for product-line behavioural analysis

Cordy, M., Willemart, M., Dawagne, B., Heymans, P. & Schobbens, P-Y., 15 Sep 2014, ACM International Conference Proceeding Series: Companion Volume for Workshops, Demonstrations and Tools-Volume 2. ACM Press, Vol. 2. p. 102-109 8 p.

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

Open Access
File
Model checking
Quality assurance
Engineers
Modeling languages

An Overview of Requirements Evolution

Ernst, N., Borgida, A., Jureta, I. & Mylopoulos, J., 2014, Evolving Software Systems. Springer, p. 3-32

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

267 Downloads (Pure)

ArThUR: A Tool for Markov Logic Network

Bodart, A., Evrard, K., Ortiz Vega, J. J. & Schobbens, P. Y., 2014, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, Vol. 8842. p. 319-328 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8842).

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

File
Ontology
Logic
Description Logics
Open Source Software
Semantic Web

Authentication and authorisation for widget-based applications in a loosely-coupled web eLearning environment

Colin, J-N. & Hoang, M. T., 2014, Proceedings of the 10th International Conference on Web Information Systems and Technologies (WEBIST 2014). 10 p. 24

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

Authentication
295 Downloads (Pure)

A Variability Perspective of Mutation Analysis

Devroey, X., Perrouin, G., Cordy, M., Papadakis, M., Legay, A. & Schobbens, P-Y., 16 Nov 2014, Proceedings of the 22Nd ACM SIGSOFT International Symposium on Foundations of Software Engineering. New York, NY, USA: ACM Press, p. 841-844 4 p. (FSE 2014).

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

Open Access
File
Defects
Model checking
Testing
64 Downloads (Pure)

Behavioural Model Based Testing of Software Product Lines: Research Abstract

Devroey, X., 16 Sep 2014, Proceedings of the 18th International Software Product Line Conference - Volume 1. ACM Press

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

Open Access
File
Testing
Model checking
Quality assurance
Engineers
18 Downloads (Pure)

Bypassing the combinatorial explosion: Using similarity to generate and prioritize t-wise test configurations for software product lines

Henard, C., Papadakis, M., Perrouin, G., Klein, J., Heymans, P. & Traon, Y. L., 1 Jul 2014, In : IEEE Transactions on Software Engineering. 40, 7, p. 650-670 21 p., 6823132.

Research output: Contribution to journalArticle

Open Access
File
Explosions
Industry
Experiments

Co-analyse réflexive des enseignants débutants sur des situations professionnelles vécues : Quelles professionnalités des formateurs ?

Dejean, K., 2014, Expériences des adultes et professionnalités des formateurs. charlier, E., Boucenna, S. & Roussel, J. (eds.). De Boeck

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

174 Downloads (Pure)

Collaborative editing of EMF/Ecore meta-models and models conflict detection, reconciliation, and merging in DiCoMEF

Koshima, A. & Englebert, V., 2014, MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development. SciTePress, p. 55-66 12 p.

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

File
Merging
Electric potential

Communication of technical QoS among cloud brokers

Lim, E. & Thiran, P., 18 Sep 2014, Proceedings - 2014 IEEE International Conference on Cloud Engineering, IC2E 2014. Institute of Electrical and Electronics Engineers Inc., p. 403-409 7 p. 6903503

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

Cloud computing
Quality of service
Communication

Counterexample Guided Abstraction Refinement of product-line behavioural models

Cordy, M., Heymans, P., Legay, A., Schobbens, P. Y., Dawagne, B. & Leucker, M., 16 Nov 2014, 22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering, FSE 2014 - Proceedings. ACM Press, Vol. 16-21-November-2014. p. 190-201 12 p.

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

Explosions
Model checking
Experiments
203 Downloads (Pure)

Coverage criteria for behavioural testing of software product lines

Devroey, X., Perrouin, G., Legay, A., Cordy, M., Schobbens, P-Y. & Heymans, P., 8 Nov 2014, Proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA). Springer Verlag, Vol. 8802. p. 336-350 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8802).

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

Open Access
File
Software Product Lines
Transition Systems
Coverage
Testing
Websites

CSMR 2012 Special Issue: Guest Editorial

Mens, T. & Cleve, A., 2014, In : Journal of software: Evolution and Process. 26, 8, p. 729-729

Research output: Contribution to journalArticle

Dahlia - A Visual Analyzer of Database Schema Evolution

Meurice, L. & Cleve, A., 2014, (Accepted/In press) Proceedings of the IEEE CSMR/WCRE 2014 Software Evolution Week. IEEE Computer Society Press, p. 464-468

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

105 Downloads (Pure)

DiCoMEF: A Distributed Collaborative Model Editing Framework

Koshima, A. & Englebert, V., Jul 2014, (Accepted/In press) Tool Demo at SEKE2014 (International Conference on Software Engineering and Knowledge Engineering). Hyatt Regency, Vancouver, Canada

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

File
Merging
Modeling languages
12 Downloads (Pure)
File
Access control
Control systems

Establishing referential integrity in legacy information systems - Reality bites!

Meurice, L., Ruiz, F. J. B., Weber, J. H. & Cleve, A., 4 Dec 2014, Proceedings - 30th International Conference on Software Maintenance and Evolution, ICSME 2014. Institute of Electrical and Electronics Engineers Inc., p. 461-465 5 p. 6976118

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

Reengineering
Information systems
Legacy systems
Availability

Ethernet-based mobility architecture for 5G

Cattoni, A. F., Mogensen, P. E., Vesterinen, S., Laitila, M., Schumacher, L., Ameigeiras, P. & Ramos-Munoz, J. J., 26 Nov 2014, 2014 IEEE 3rd International Conference on Cloud Networking, CloudNet 2014. Institute of Electrical and Electronics Engineers Inc., p. 449-454 6 p. 6969036

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

Ethernet
Wireless networks
Cloud computing
Network architecture
Mobile devices
11 Downloads (Pure)

Evolving Software Systems

Mens, T. (ed.), Serebrenik, A. (ed.) & Cleve, A. (ed.), 2014, Springer Verlag. 414 p.

Research output: Book/Report/JournalBook

Open Access
File
Software engineering
Computer software maintenance
Requirements engineering
Glossaries
Ecosystems
50 Downloads (Pure)

Extended Abstract : Multi-Timed Bisimulation for Distributed Timed Automata

Ortiz Vega, J. J. & Schobbens, P-Y., 4 Apr 2014, Open problems in real-time computing. 2 p.

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

File
161 Downloads (Pure)
Open Access
File
Specification languages
Model checking
Explosions
Semantics
Specifications

Healthcare information system modelling

Hainaut, J. L., Brogneaux, A-F. & Cleve, A., 31 Aug 2014, Healthcare Administration: Concepts, Methodologies, Tools, and Applications. IGI Global, Vol. 1. p. 424-444 21 p.

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

Information Systems
Delivery of Health Care
Personnel Management
Forms and Records Control
Critical Pathways

La Machine analytique de Charles Babbage, jalon fondamental de l’histoire des automates à calculer

d'Udekem-Gevers, M., 2014, (In preparation) Actes du colloque « L’automate. Enjeux culturels, historiques et techniques septembre 2012 Université de Neufchâtel (Suisse).

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

La punaise, le rayon cosmique et les urnes de Schaerbeek

Habra, N., 2 Jun 2014, In : La libre Belgique. p. 46-47 2 p.

Research output: Contribution to journalArticle

Les dangers et potentialités de l’‘économie de l’attention’

Loute, A. & Grandjean, N., 2014, In : Démocratie. 10, p. 2-4

Research output: Contribution to journalLiterature review

Les Journaux francophones de Belgique (JFB) c. RTBF: redéfinir le service public de l’information à l’heure de l’internet

Van Enis, Q., 3 Mar 2014, Justice en ligne.

Research output: Contribution to specialist publicationArticle

MetaDONE::AnaDONE: Agent collecteur d'évènements pour la JVM

Englebert, V. & Maes, P., 1 Jan 2014

Research output: Non-textual formSoftware

MetaDONE::BPMN: éditeur BPMN 2.0: Éditeur BPMN 2.0 pour l'outil MetaDONE

Englebert, V. & Simon, A., 1 Jan 2014

Research output: Non-textual formSoftware

MetaDONE::VisuDONE: plugin de visualisation pour la compréhension de programmes Java

Englebert, V. & Maes, P., 1 Jan 2014

Research output: Non-textual formSoftware

Mining SQL Execution Traces for Data Manipulation Behavior Recovery

Mori, M., Noughi, N. & Cleve, A., 2014, Proceedings of the 26th International Conference on Advanced Information Systems Engineering (CAiSE 2014): CAiSE forum track. CEUR-WS.org, Vol. 1164. p. 41-48 8 p.

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

Recovery
Dynamic analysis
205 Downloads (Pure)
File
Data privacy
Processing

Origins, Developments and Future of the Concept of Innovation: Opening the Economic Framing of Innovation to Social, Ethical, Political Parameters to Achieve Responsibility: Strengths and Limits

Masclet, L. & Goujon, P., 2014, IFIP Advances in Information and Communication Technology. Springer New York, Vol. 431. p. 69-77 9 p. (IFIP Advances in Information and Communication Technology; vol. 431).

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

Economics
Responsibility
Innovation
Testing
Qualification

Panel - Responsible innovation in research: A reflexive governance to scientific development

Gianni, R., Ikonen, V., Goujon, P. & Pearson, J., 2014, 2014 IEEE International Symposium on Ethics in Science, Technology and Engineering, ETHICS 2014. Institute of Electrical and Electronics Engineers Inc., 6893394

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

Innovation
Sustainable development
Governance
Industry
Sustainability

Perspective de genre sur l'emploi et les conditions de travail des seniors

Valenduc, G. & Vendramin, P., Sep 2014, Bruxelles: ETUI European Trade Union Institute. 72 p.

Research output: Book/Report/JournalCommissioned report

73 Downloads (Pure)

PhD presentation support

Feltus, C., 2014

Research output: Other contribution

File
5 Downloads (Pure)

POD-EN-MATH : Des Podcasts pour lier théorie et exercices

De Vleeschouwer, M., Melot, L. & Remiche, M-A., May 2014. 2 p.

Research output: Contribution to conferenceAbstract

Pouvoirs, contre-pouvoirs et concertation sociale dans les universités

Valenduc, G. & Avec des contributions de Jean-Luc Demeulemeester, Josep Ferrer Llop, Jean-Yves Mérindol, Michel Molitor, Jos Palange, Catherine Paradeise, Gérard Valenduc et Felipe Van Keirsbilck, 2014, Louvain-la-Neuve: Presses universitaires de Louvain. 222 p.

Research output: Book/Report/JournalBook

QoS contract preservation through dynamic reconfiguration: A formal semantics approach

Tamura, G., Casallas, R., Cleve, A. & Duchien, L., 2014, In : Science of Computer Programming. 94, P3, p. 307-332 26 p.

Research output: Contribution to journalArticle

Quality of service
Semantics
Finite automata
Middleware
Application programs

RE4SuSy: 3rd international workshop on requirements engineering for sustainable systems

Penzenstadler, B., Mahaux, M. & Salinesi, C., 1 Jan 2014, In : CEUR Workshop Proceedings. 1216

Research output: Contribution to journalArticle

Requirements engineering
Takeoff
Systems engineering
Sustainable development
Software engineering

Relational Test Generation Tool for SQL Applications

Marcozzi, M., 31 Jul 2014

Research output: Non-textual formSoftware

Report on the 2nd international workshop on requirements engineering for sustainable systems (RE4SuSy)

Penzenstadler, B., Mahaux, M. & Salinesi, C., 1 Jan 2014, In : CEUR Workshop Proceedings. 1216

Research output: Contribution to journalArticle

Requirements engineering
Systems engineering
Sustainable development
Software engineering
97 Downloads (Pure)
Open Access
File
governance
participation
diagnostic
Rorty, R.
data analysis

Report on the third workshop on verification of model transformations (VOLT 2014)

Amrani, M., Syriani, E., Wimmer, M., Bill, R., Gogolla, M., Hermann, F. & Lano, K., 1 Jan 2014, In : CEUR Workshop Proceedings. 1325, p. 1-9 9 p.

Research output: Contribution to journalArticle