Research Group on the Foundations of Computer Sciences

  • 5000

    Belgique

Résultat de recherche

Filtrer
Article

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 juil. 2013, Dans : Reliability Engineering and System Safety. 120, p. 127-138 12 p.

Résultats de recherche: Contribution à un journal/une revueArticle

Anti-unification in Constraint Logic Programming

Yernaux, G. & Vanhoof, W., 20 sept. 2019, Dans : Theory and Practice of Logic Programming. 19, 5-6, p. 773-789 17 p.

Résultats de recherche: Contribution à un journal/une revueArticle

3 Téléchargements (Pure)

A Survey on Mobile Data Uses

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

Résultats de recherche: Contribution à un journal/une revueArticle

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, Dans : Ingeniería Y Competitividad. 6, 1, p. 53-62 10 p.

Résultats de recherche: Contribution à un journal/une revueArticle

Accès ouvert
File
13 Téléchargements (Pure)

Formal semantics, modular specification, and symbolic verification of product-line behaviour

Classen, A., Cordy, M., Heymans, P., Legay, A. & Schobbens, P. Y., 1 févr. 2014, Dans : Science of Computer Programming. 80, PART B, p. 416-439 24 p.

Résultats de recherche: Contribution à un journal/une revueArticle

Accès ouvert
File
259 Téléchargements (Pure)

Generalization-Driven Semantic Clone Detection in CLP

Yernaux, G. & Vanhoof, W., 21 avr. 2020, Dans : Lecture Notes in Computer Science. 12042, p. 228-242 15 p.

Résultats de recherche: Contribution à un journal/une revueArticle

Accès ouvert
File

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

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

Résultats de recherche: Contribution à un journal/une revueArticle

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 juil. 2018, Dans : Journal of Systems and Software. 141, p. 1-15 15 p.

Résultats de recherche: Contribution à un journal/une revueArticle

Accès ouvert
File
34 Téléchargements (Pure)

Modeling and Specification of Distributed Timed Systems

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

Résultats de recherche: Contribution à un journal/une revueArticle

File
24 Téléchargements (Pure)

On Distributed Density in Tuple-based Coordination Languages

Darquennes, D., Jacquet, J-M. & Linden, I., 12 févr. 2015, Dans : EPTCS. 175, p. 26-53

Résultats de recherche: Contribution à un journal/une revueArticle

On the Introduction of Density in Tuple-Space Coordination Languages

Titre traduit de la contribution: De l'introduction de la densité dans les langages de coordination d'espaces de tuplesDarquennes, D., Jacquet, J-M. & Linden, I., janv. 2016, Dans : Science of Computer Programming. 115, p. 149-176

Résultats de recherche: Contribution à un journal/une revueArticle

4 Téléchargements (Pure)

Proposals for the integration of interactive dashboards in business process monitoring to support resources allocation decisions

Linden, I., 3 juil. 2014, Dans : Journal of Decision Systems. 23, 3, p. 318-332 15 p.

Résultats de recherche: Contribution à un journal/une revueArticle

Real-time model-driven engineering: An overview

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

Résultats de recherche: Contribution à un journal/une revueArticle

Relational symbolic execution of SQL code for unit testing of database programs

Marcozzi, M., Vanhoof, W. & Hainaut, J. L., 1 juil. 2015, Dans : Science of Computer Programming. 105, p. 44-72 29 p.

Résultats de recherche: Contribution à un journal/une revueArticle

Accès ouvert
File
114 Téléchargements (Pure)

Search-based crash reproduction using behavioural model seeding

Derakhshanfar, P., DEVROEY, X., Perrouin, G., Zaidman, A. & van Deursen, A., 1 mai 2020, Dans : Software Testing, Verification and Reliability. 30, 3, e1733.

Résultats de recherche: Contribution à un journal/une revueArticle

Accès ouvert
File
22 Téléchargements (Pure)

Static Application-Level Race Detection in STM Haskell using Contracts

Demeyer, R. & Vanhoof, W., 10 déc. 2013, Dans : EPTCS.

Résultats de recherche: Contribution à un journal/une revueArticle

File
12 Téléchargements (Pure)

Statistical prioritization for software product line testing: an experience report

Devroey, X., Perrouin, G., Cordy, M., Samih, H., Legay, A., Schobbens, P. Y. & Heymans, P., 1 févr. 2017, Dans : Software and Systems Modeling. 16, 1, p. 153-171 19 p.

Résultats de recherche: Contribution à un journal/une revueArticle

Accès ouvert
File
134 Téléchargements (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., 15 avr. 2019, Dans : Empirical Software Engineering . 24, 2, p. 674-717 44 p.

Résultats de recherche: Contribution à un journal/une revueArticle

Accès ouvert
File
3 Téléchargements (Pure)

Timed modelling of gene networks with arbitrarily precise expression discretization

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

Résultats de recherche: Contribution à un journal/une revueArticle

Towards a Framework for Constraint-Based Test Case Generation

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

Résultats de recherche: Contribution à un journal/une revueArticle