Faculty of Computer Science

  • 5000

    Belgium

Research Output 1969 2019

Filter
Article
Article

Accidents de la route et distance au domicile. Approche quantitative pour Bruxelles

Thiran, P. & THOMAS, I., 1997, (Unpublished) In : Cahiers Scientifiques du Transport. 32, p. 105-120 16 p.

Research output: Contribution to journalArticle

20 Downloads (Pure)

A class of trust region methods for nonlinear network optimization problems

Sartenaer, A., 1995, In : SIAM Journal on Optimization. 5, 2, p. 379-407 29 p.

Research output: Contribution to journalArticle

Open Access
File
Nonlinear networks
Trust Region Method
Trust Region
Network Optimization
Nonlinear Optimization
115 Downloads (Pure)
File
Communication satellites
Industry
Defects
Costs

A Comparison of Taxonomies for Model Transformation Languages

Tamura, G. & Cleve, A., 2010, In : Paradigma. 4, 1

Research output: Contribution to journalArticle

ADAM & Eve (Nederlands): Tekstanalyse en het genereren van oefeningen met de PC

Baten, L. & Vanparys, J., 1989, In : Levende talen.

Research output: Contribution to journalArticle

ADAM & EVE - Computer-aided instruction

Vanparys, J., 1990, In : Celex News.

Research output: Contribution to journalArticle

43 Downloads (Pure)

Adopting Trust and Assurance as indicators for the reassignment of responsibilities in Multi-agent Systems

Gateau, B., Ouedraogo, M., Feltus, C., Guemkam, G., Danoy, G., Seredinsky, M., U. Khan, S., Khadraoui, D. & Bouvry, P., 2012, In : The Knowledge Engineering Review.

Research output: Contribution to journalArticle

File

A fixed point semantics for logic programs extended with cuts

Vanhoof, W., Tronçon, R. & Bruynooghe, M., 2003, In : Logic Based Program Synthesis and Transformation, LOPSTR 2002 . 2664, p. 238-257 20 p.

Research output: Contribution to journalArticle

Access control
Internet of things

A Framework for bottom up specialisation of logic programs

Vanhoof, W., De Schreye, D. & Martens, B., 1998, In : Principles of Declarative Programming, Proceedings of Joint International Symposium PLILP/ALP'98. 1490, p. 54-72 19 p.

Research output: Contribution to journalArticle

Âge et usages de l'informatique

Lobet-Maris, C., 2011, In : Communications, revue de EHESS. 88, p. 19-28 10 p.

Research output: Contribution to journalArticle

A Generic Framework for Extracting XML Data from Legacy Databases

Thiran, P., Estievenart, F., Hainaut, J-L. & Houben, G-J., 2005, (Unpublished) In : Journal of Web Engineering. 4, 3, p. 205-223 19 p.

Research output: Contribution to journalArticle

XML
Reverse engineering
Data structures
Semantics

Agent-based Communities of Web Services: An Argumentation-driven Approach

Bentahar, J., Maamar, Z., Benslimane, D., Thiran, P. & Sattanathan, S., 2008, In : Journal of Service-oriented Computing and Architecture. 2, 4, p. 219-238 20 p.

Research output: Contribution to journalArticle

Web services
Joining
Composite materials
Software agents
Network protocols

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

A goal based approach to engineering capacity driven web service

Maamar, Z., Tata, S., Yetongon, K., Benslimane, D. & Thiran, P., 2012, (Unpublished) In : The Knowledge Engineering Review.

Research output: Contribution to journalArticle

Algorithmic approach to the extinction probability of branching processes

Hautphenne, S., Latouche, G. & Remiche, M-A., 2011, In : Methodology and Computing in Applied Probability. 13, p. 171 22 p.

Research output: Contribution to journalArticle

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

Alternating-time logic with imperfect recall

Schobbens, P-Y., 1 Apr 2004, In : Electronic Notes in Theoretical Computer Science. 85, p. 82-93 12 p.

Research output: Contribution to journalArticle

Temporal logic
Model checking
Temporal Logic
Imperfect
Model Checking

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

An algebraic approach for codesign

Aiguier, M., Beroff, S. & Schobbens, P-Y., 2004, In : ICTAC'2004 - First International Colloquium on Theoretical Aspects of Computing. 3407

Research output: Contribution to journalArticle

An Approach to Engineer Communities of Web Services: Concepts, architecture, operation, and deployment

Maamar, Z., Subramanian, S., Thiran, P., Benslimane, D. & Bentahar, J., 2009, In : International Journal of E-Business Research (IJEBR). 5, 4

Research output: Contribution to journalArticle

Web services
Engineers
Network protocols
19 Downloads (Pure)

An Argumentation Framework for Communities of Web Services

Bentahar, J., Maamar, Z., Benslimane, D. & Thiran, P., 2007, In : IEEE Intelligent Systems. 22, 6

Research output: Contribution to journalArticle

File

A new algorithm for strategy synthesis in LTL games

Harding, A., Ryan, M. & Schobbens, P-Y., 2005, In : International Conference on Tools and Algorithms for the Construction and Analysis of System (TACAS). 3440, p. 477-492 16 p.

Research output: Contribution to journalArticle

Organic compounds
Molecular structure
Screening
Chemical compounds
Molecules

A new hybrid architecture for helping the knowledge acquisition process

Brasil, L. M. & Fraiture, M. N., 1999, In : Congrès de Cybernétique (Namur).

Research output: Contribution to journalArticle

An experiment in formal software development : Using the B theorem prover on a VDM case study

Lafontaine, C., Ledru, Y. & Schobbens, P-Y., 1991, In : Communications of the ACM. 34, 5

Research output: Contribution to journalArticle

An MAP-based Poisson Cluster model for Web traffic

Latouche, G. & Remiche, M-A., 2002, In : Performance Evaluation. 49, p. 359-370

Research output: Contribution to journalArticle

27 Downloads (Pure)
File
3 Downloads (Pure)

Anti-unification in Constraint Logic Programming

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

Research output: Contribution to journalArticle

Constraint Logic Programming
Logic programming
Unification
Computational complexity
Polynomials

Applying VDM to large developments

Ledru, Y. & Schobbens, P-Y., 1990, In : ACM Sigsoft Software Engineering Notes (SEN). 15, 4, p. 55-58 4 p.

Research output: Contribution to journalArticle

Approche transformationnelle de la réingénierie des données

Delcroix, C., Thiran, P. & Hainaut, J-L., 2001, In : Ingénierie des Systèmes d'Information. 6, 1, p. 61-98 38 p.

Research output: Contribution to journalArticle

A Proposal for a Scenario Classification Framework

Rolland, C., Ben Achour, C., Cauvet, C., Ralyte, J., Sutcliffe, A., Maiden, N., Jarke, M., Haumer, P., Pohl, K., Dubois, E. & Heymans, P., 1998, In : Requirements Engineering Journal. 3, 1, p. 23-47 25 p.

Research output: Contribution to journalArticle

A rate adaptive shaper for differentiated services

Bonaventure, O. & De Cnodder, S., 2000, In : Requests For Comments (RFC). 2963

Research output: Contribution to journalArticle

Color

ArchipeL: vers un modèle à grappes de tâches

Colin, J-N. & Pavisic, D., 1998, In : Calculateurs parallèles réseaux et systèmes répartis. 10, 3

Research output: Contribution to journalArticle

A RED discard strategy for ATM networks and its performance evaluation with TCP/IP traffic

Rosolen, V., Bonaventure, O. & Leduc, G., 1999, In : ACM Computer Communication Review. 29, 3

Research output: Contribution to journalArticle

Asynchronous transfer mode
Automatic teller machines
Switches

A rule-based approach to model and verify flexible business processes

Boukhebouze, M., Amghar, Y., Benharkat, A-N. & Maamar, Z., 2011, In : International Journal of Business Process Integration and Management (IJBPIM). 5, 4, p. 287 -307 21 p.

Research output: Contribution to journalArticle

Business process
Rule-based
Costs
Functioning
Language
42 Downloads (Pure)

A starting-point strategy for nonlinear interior methods

Gertz, M., Nocedal, J. & Sartenaer, A., 2004, In : Applied Mathematics Letters. 17, p. 945-952 8 p.

Research output: Contribution to journalArticle

Open Access
File
Interior Methods
Nonlinear programming
Multiplier
Non-convexity
Experiments

Asymptotic Poisson Distribution in Isotropic Ph-Planar Point Processes

Remiche, M-A. & Latouche, G., 2000, In : Stochastic Models. 16, 2, p. 259-272

Research output: Contribution to journalArticle

A Taxonomy Learning Method And Its Application To Characterize a Scientific Web Community

Velardi, P., Cucchiarelli, A. & Petit, M., 2007, In : IEEE Transaction on data and Knowledge Engineering (TDKE). 19, 2, p. 180-191 12 p.

Research output: Contribution to journalArticle

246 Downloads (Pure)

A Text-based Approach to Feature Modelling: Syntax and Semantics of TVL

Classen, A., Boucher, Q. & Heymans, P., 2011, In : Science of Computer Programming. 76, 12, p. 1130-1143 14 p.

Research output: Contribution to journalArticle

File

A two-level temporal logic for evolving specifications

Schobbens, P. Y., Saake, G., Sernadas, A. & Sernadas, C., 16 Aug 2002, In : Information processing letters. 83, 3, p. 167-172 6 p.

Research output: Contribution to journalArticle

Temporal logic
Temporal Logic
Specification
Specifications
Linear Temporal Logic

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