Research Group on the Foundations of Computer Science

  • 5000

    Belgium

Research Output 1991 2019

Filter
Article
2019
3 Downloads (Pure)

Anti-unification in Constraint Logic Programming

Yernaux, G. & Vanhoof, W., 20 Sep 2019, In : Theory and Practice of Logic Programming. 16 p.

Research output: Contribution to journalArticle

Constraint Logic Programming
Logic programming
Unification
Computational complexity
Polynomials
2018
27 Downloads (Pure)

Model-based mutant equivalence detection using automata language equivalence and simulations

Devroey, X., Perrouin, G., Papadakis, M., Legay, A., Schobbens, P-Y. & Heymans, P., 1 Jul 2018, In : Journal of Systems and Software. 141, p. 1-15 15 p.

Research output: Contribution to journalArticle

Open Access
File
Finite automata
1 Downloads (Pure)

Test them all, is it worth it? Assessing configuration sampling on the JHipster Web development stack

Halin, A., Nuttinck, A., Acher, M., Devroey, X., Perrouin, G. & Baudry, B., 17 Jul 2018, In : Empirical Software Engineering . p. 1-44 44 p.

Research output: Contribution to journalArticle

Open Access
File
Sampling
Testing
Scaffolds
Program processors
Chemical analysis
2017
84 Downloads (Pure)
Open Access
File
Software Product Lines
Prioritization
Testing
Feature Model
Statistical tests
2016

A Survey on Mobile Data Uses

Colot, C., Linden, I. & Baecke, P., 22 Jun 2016, In : International Journal of Decision Support System Technology. 8, 2, p. 29-49 21 p., 3.

Research output: Contribution to journalArticle

Mobile devices
Mobile Devices
Collective Behavior
Two Dimensions
Likely

How a BI-wise responsible integrated management system may support food traceability

Gianni, M., Gotzamani, K. & Linden, I., 1 Apr 2016, In : International Journal of Decision Support System Technology. 8, 2, p. 1-17 17 p., 1.

Research output: Contribution to journalArticle

Business Intelligence
Competitive intelligence
Traceability
Supply Chain
Supply chains
4 Downloads (Pure)
Deposits

Real-time model-driven engineering: An overview

Amrani, M. & Schobbens, P. Y., 2016, In : CEUR Workshop Proceedings. 1693, p. 18-27 10 p.

Research output: Contribution to journalArticle

2015

On Distributed Density in Tuple-based Coordination Languages

Darquennes, D., Jacquet, J-M. & Linden, I., 12 Feb 2015, In : EPTCS. 175, p. 26-53

Research output: Contribution to journalArticle

84 Downloads (Pure)
Open Access
File
Testing
Surface mount technology
2014
Business Intelligence
Competitive intelligence
Requirements Engineering
Requirements engineering
Monitoring
150 Downloads (Pure)
Open Access
File
Specification languages
Model checking
Explosions
Semantics
Specifications
Process monitoring
Resource allocation
Industry
Flow control
Business process
2013

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
23 Downloads (Pure)

Modeling and Specification of Distributed Timed Systems

Ortiz Vega, J. J., 10 Sep 2013, In : Ingeniería Y Competitividad. vol 15, 2, p. 229-238 10 p., 10.

Research output: Contribution to journalArticle

File
10 Downloads (Pure)

Static Application-Level Race Detection in STM Haskell using Contracts

Demeyer, R. & Vanhoof, W., 10 Dec 2013, In : EPTCS.

Research output: Contribution to journalArticle

File
Boolean functions
Synchronization
Data storage equipment

Timed modelling of gene networks with arbitrarily precise expression discretization

Van Goethem, S., Jacquet, J. M., Brim, L. & Šafránek, D., 11 Mar 2013, In : Electronic Notes in Theoretical Computer Science. 293, p. 67-81 15 p.

Research output: Contribution to journalArticle

Gene Networks
Genes
Discretization
Timed Automata
Gene Regulatory Network
2009

Towards a Framework for Constraint-Based Test Case Generation

Degrave, F., Schrijvers, T. & Vanhoof, W., 2009, In : Proceedings of LOPSTR 2009. 6037, p. 128-142 15 p.

Research output: Contribution to journalArticle

2004
12 Downloads (Pure)

Crear: Consejero para la Repetición de Artículos y Evaluadores en Eventos Académicos

Ortiz Vega, J. J., Diaz, J. F. & Aranda, J., 2004, In : Ingeniería Y Competitividad. 6, 1, p. 53-62 10 p.

Research output: Contribution to journalArticle

Open Access
File