Faculty of Computer Science

  • 5000

    Belgium

Research Output 1969 2020

Filter
Article
Article
28 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

Model-checking access control policies

Guelev, D., Ryan, M. & Schobbens, P-Y., 2004, In : Proc. 7th International Conference on Information Security (ISC 2004). 3225, p. 219-230 12 p.

Research output: Contribution to journalArticle

Model checking
Specification languages
Specifications
24 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

Modeling Bufferless Packet-Switching Networks with Packet Dependencies

De Vega Rodrigo, M., Latouche, G. & Remiche, M-A., 2009, (Unpublished) In : Computer Networks.

Research output: Contribution to journalArticle

Modeling of an Online TV Recording Service

Hossfeld, T., Leibnitz, K. & Remiche, M-A., 2007, In : ACM Sigmetrics Performance Evaluation Review. 35, 2, p. 15-17 3 p.

Research output: Contribution to journalArticle

Modelling Multi-Agent Systems as Synchronous Concurrent Constraint Processes

Jacquet, J-M., Brim, L., Kretinsky, M. & Gilbert, D., 2002, In : Computers and Artificial Intelligence. 21, 6

Research output: Contribution to journalArticle

Modernisation de l'accomplissement des actes de procédure

Rosier, K., 2016, Bulletin juridique et social, n°558, p. p. 2.

Research output: Contribution to specialist publicationArticle

Open Access

Multidirectional Transformations and Synchronisations (Dagstuhl Seminar 18491)

Cleve, A., Kindler, E., Stevens, P. & Zaytsev, V., 2018, In : Dagstuhl Reports. 8, 12

Research output: Contribution to journalArticle

Newton's Iteration for the Extinction Probability of a Markovian Binary Tree

Hautphenne, S., Latouche, G. & Remiche, M-A., 2008, In : Linear Algebra and its Applications. 428, p. 2791-2804 14 p.

Research output: Contribution to journalArticle

Normalising what ? about a GMO body and Shan's life

Grandjean, N., 2017, In : DiGest. 4, 2, p. 33-45

Research output: Contribution to journalArticle

5 Downloads (Pure)
File
Trust Region Method
Recursive Method
Constrained optimization
Constrained Optimization
Trust Region Algorithm

Offline specialisation in Prolog using a hand-written compiler generator

Leuschel, M., Jorgensen, J., Bruynooghe, M. & Vanhoof, W., 2004, In : Theory and Practice of Logic Programming. 4, 1, p. 139-191 53 p.

Research output: Contribution to journalArticle

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

On Modeling Coordination via Asynchronous Communication and Enhanced Matching

Brogi, A., Jacquet, J-M. & Linden, I., 2003, In : Electronic Notes in Theoretical Computer Science. 68, 3, p. 284-309 26 p.

Research output: Contribution to journalArticle

Asynchronous Communication
Operational Semantics
Semantics
Denotational Semantics
Communication

"On Pareto Improving Commodity Tax Changes under Fiscal Competition"

De Crombrugghe, A. & Tulkens, H., 1990, In : Journal of Public Economics. 41, 3, p. 335-350 16 p.

Research output: Contribution to journalArticle

46 Downloads (Pure)

On the behavior of the gradient norm in the steepest descent method

Nocedal, J., Sartenaer, A. & Zhu, C., 2002, In : Computational Optimization and Application. 22, 1, p. 5-35 31 p.

Research output: Contribution to journalArticle

Open Access
File
Steepest descent method
oscillation
method
norm

On the expressiveness of coordination via shared dataspaces

Jacquet, J-M. & Brogi, A., 2003, In : Science of Computer Programming. 46, 1-2, p. 71-98 28 p.

Research output: Contribution to journalArticle

On the Expressiveness of Linda-like Concurrent Languages

Jacquet, J-M. & Brogi, A., 1998, In : Electronic Notes in Theoretical Computer Science. 2

Research output: Contribution to journalArticle

On the Expressiveness of Relative-Timed Coordination Models

Linden, I., Jacquet, J-M., De Bosschere, K. & Brogi, A., 2004, In : Electronic Notes in Theoretical Computer Science. 97, p. 125-153 29 p.

Research output: Contribution to journalArticle

Expressiveness
Model
Communication

On the Expressiveness of Timed Coordination Models

Linden, I., Jacquet, J-M., De Bosschere, K. & Brogi, A., 2006, In : Science of Computer Programming. 61, 2, p. 152-187 36 p.

Research output: Contribution to journalArticle

4 Downloads (Pure)
Deposits

On the Meaning of "but''

Schobbens, P-Y., 1991, In : Science of Computer Programming. 20, 1-2, p. 73-111 39 p.

Research output: Contribution to journalArticle

4 Downloads (Pure)

On the relationship between workfow models and document types

van Hee, K., Hidders, J., Houben, G-J., Paredaens, J. & Thiran, P., 2009, (Unpublished) In : Information Systems. 34, 1, p. 178-208 31 p.

Research output: Contribution to journalArticle

File
Information systems
Petri nets
Industry

Ontology Development for The Semantic Web: An HTML Form-based Reverse Engineering Approach

Benslimane, S. M., Benslimane, D., Malki, M., Maamar, Z., Thiran, P., Amghar, Y. & Hacid, M-S., 2007, (Unpublished) In : Journal of Web Engineering. 6, 2, p. 143-164 22 p.

Research output: Contribution to journalArticle

HTML
Reverse engineering
Semantic Web
Ontology
Semantics

Operators and Laws for Combining Preference Relations

Andreka, H., Ryan, M. & Schobbens, P-Y., 2002, In : Journal of Logic and Computation. 12

Research output: Contribution to journalArticle

Pairwise testing for software product lines: Comparison of two approaches

Perrouin, G., Oster, S., Sen, S., Klein, J., Baudry, B. & Le Traon, Y., 1 Sep 2012, In : Software Quality Journal. 20, 3-4, p. 605-643

Research output: Contribution to journalArticle

Testing
Explosions

Partial and paraconsistent three-valued logics

Degauquier, V., 1 Jun 2016, In : Logic and Logical Philosophy. 25, 2, p. 143-171 29 p.

Research output: Contribution to journalArticle

Logic
Sequent Calculus
Completeness
Cut
Logical Connectives

PathEx: A novel multi factors based datasets selector web tool

Bareke, E., Pierre, M., Gaigneaux, A., De Meulder, B., Depiereux, S., Berger, F., Habra, N. & Depiereux, E., 2010, In : BMC Bioinformatics. 11

Research output: Contribution to journalArticle

1386 Downloads (Pure)

Performance analysis for a sample of microfinance institutions in India

De Crombrugghe, A., TENIKUE, M. & SUREDA, J., 2008, In : Annals of Public and Cooperative Economics. 79, 2, p. 269-299 31 p.

Research output: Contribution to journalArticle

File

Peut-on filmer ou enregistrer les propos de son patron pour se constituer une preuve ?

Rosier, K., 2016, Bulletin juridique et social, 563, p. 5.

Research output: Contribution to specialist publicationArticle

Open Access

Plaidoyer pour l’enseignement de l’histoire de l’informatique

Gevers, M., 16 Dec 2015, In : www.regional-it.be.

Research output: Contribution to journalArticle

Planning OBS Networks with QoS Constraints

De Vega Rodrigo, M. & Remiche, M-A., 2007, In : Photonic Network Communications. 14, 2, p. 229-239 11 p.

Research output: Contribution to journalArticle

Poklicna deontologija, samourejanje in etika v informacijski druzbi

Berleur, J., 2003, In : Organizacija Znanja (OZ). 8, 4, p. 166-174 9 p.

Research output: Contribution to journalArticle

Pos(T) : Analyzing dependencies in typed logic programs

Bruynooghe, M., Vanhoof, W. & Codish, M., 2001, In : Perspectives of System Informatics. 2244, p. 406-420 15 p.

Research output: Contribution to journalArticle

Preface of the International Workshop on Database Interoperability

Thiran, P., Risch, T. & Benslimane, D., 2006, In : Electronic Notes in Theoritical Computer Science. 150, 2, p. 1-2 2 p.

Research output: Contribution to journalArticle

Profil trop rare...et indispensable

Habra, N., Faulkner, S. & Englebert, V., 25 May 2013, In : La libre Belgique - La libre entreprise. p. 9 1 p.

Research output: Contribution to journalArticle

Profits and risks of pension plans

Govorun, M., Latouche, G. & Remiche, M-A., 2012, In : ACM Sigmetrics Performance Evaluation Review. 39, p. 41 1 p.

Research output: Contribution to journalArticle

Proving a conjecture of Andreka on temporal logic

Raskin, J-F. & Schobbens, P-Y., 1999, In : MPI - I. Research report. 3, 4, p. 1-13 13 p.

Research output: Contribution to journalArticle

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

Que faut-il entendre par "virtualisation" de la surveillance ?

Grandjean, N. & Loute, A., 2016, Kairos, 24, p. 19-20.

Research output: Contribution to specialist publicationArticle

Questions éthiques pour la gouvernance de l'Internet

Berleur, J., 2002, In : Cahiers du numérique. 2, 3, p. 17-33 17 p.

Research output: Contribution to journalArticle