Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for +publisher:"DIAL (Belgium)" +contributor:("Schobbens, Pierre-Yves"). Showing records 1 – 9 of 9 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters

1. Cordy, Maxime. Model Checking for the Masses.

Degree: 2014, DIAL (Belgium)

The model-checking problem for software product lines is harder than for single systems. Indeed, one has to verify all the software variants of a product… (more)

Subjects/Keywords: Formal methods; model checking; software product lines

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Cordy, M. (2014). Model Checking for the Masses. (Thesis). DIAL (Belgium). Retrieved from http://hdl.handle.net/2078.2/152729

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Cordy, Maxime. “Model Checking for the Masses.” 2014. Thesis, DIAL (Belgium). Accessed April 20, 2019. http://hdl.handle.net/2078.2/152729.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Cordy, Maxime. “Model Checking for the Masses.” 2014. Web. 20 Apr 2019.

Vancouver:

Cordy M. Model Checking for the Masses. [Internet] [Thesis]. DIAL (Belgium); 2014. [cited 2019 Apr 20]. Available from: http://hdl.handle.net/2078.2/152729.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Cordy M. Model Checking for the Masses. [Thesis]. DIAL (Belgium); 2014. Available from: http://hdl.handle.net/2078.2/152729

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

2. Abbasi, Ebrahim. Reverse Engineering Web Congurators.

Degree: 2014, DIAL (Belgium)

In many markets, being competitive echoes with the ability to propose customized products at the same cost and delivery rates as standard ones. As a… (more)

Subjects/Keywords: Software Reverse Engineering; Configuration; Web Technologies

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Abbasi, E. (2014). Reverse Engineering Web Congurators. (Thesis). DIAL (Belgium). Retrieved from http://hdl.handle.net/2078.2/147064

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Abbasi, Ebrahim. “Reverse Engineering Web Congurators.” 2014. Thesis, DIAL (Belgium). Accessed April 20, 2019. http://hdl.handle.net/2078.2/147064.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Abbasi, Ebrahim. “Reverse Engineering Web Congurators.” 2014. Web. 20 Apr 2019.

Vancouver:

Abbasi E. Reverse Engineering Web Congurators. [Internet] [Thesis]. DIAL (Belgium); 2014. [cited 2019 Apr 20]. Available from: http://hdl.handle.net/2078.2/147064.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Abbasi E. Reverse Engineering Web Congurators. [Thesis]. DIAL (Belgium); 2014. Available from: http://hdl.handle.net/2078.2/147064

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

3. Abbasi, Ebrahim. Reverse Engineering Web Configurators.

Degree: 2014, DIAL (Belgium)

In many markets, being competitive echoes with the ability to propose customized products at the same cost and delivery rates as standard ones. As a… (more)

Subjects/Keywords: Software Reverse Engineering; Configuration; Web Technologies

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Abbasi, E. (2014). Reverse Engineering Web Configurators. (Thesis). DIAL (Belgium). Retrieved from http://hdl.handle.net/2078.2/147063

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Abbasi, Ebrahim. “Reverse Engineering Web Configurators.” 2014. Thesis, DIAL (Belgium). Accessed April 20, 2019. http://hdl.handle.net/2078.2/147063.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Abbasi, Ebrahim. “Reverse Engineering Web Configurators.” 2014. Web. 20 Apr 2019.

Vancouver:

Abbasi E. Reverse Engineering Web Configurators. [Internet] [Thesis]. DIAL (Belgium); 2014. [cited 2019 Apr 20]. Available from: http://hdl.handle.net/2078.2/147063.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Abbasi E. Reverse Engineering Web Configurators. [Thesis]. DIAL (Belgium); 2014. Available from: http://hdl.handle.net/2078.2/147063

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

4. Hubaux, Arnaud. Feature-based Configuration: Collaborative, Dependable, and Controlled.

Degree: 2012, DIAL (Belgium)

A growing share of products expose sophisticated configurability to handle variations in user and context requirements. Configurators usually rely on variability models, like feature models… (more)

Subjects/Keywords: Feature Model; Configuration; Software Product Line Engineering; Variability Model; Separation of Concerns

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Hubaux, A. (2012). Feature-based Configuration: Collaborative, Dependable, and Controlled. (Thesis). DIAL (Belgium). Retrieved from http://hdl.handle.net/2078.2/105420

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Hubaux, Arnaud. “Feature-based Configuration: Collaborative, Dependable, and Controlled.” 2012. Thesis, DIAL (Belgium). Accessed April 20, 2019. http://hdl.handle.net/2078.2/105420.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Hubaux, Arnaud. “Feature-based Configuration: Collaborative, Dependable, and Controlled.” 2012. Web. 20 Apr 2019.

Vancouver:

Hubaux A. Feature-based Configuration: Collaborative, Dependable, and Controlled. [Internet] [Thesis]. DIAL (Belgium); 2012. [cited 2019 Apr 20]. Available from: http://hdl.handle.net/2078.2/105420.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Hubaux A. Feature-based Configuration: Collaborative, Dependable, and Controlled. [Thesis]. DIAL (Belgium); 2012. Available from: http://hdl.handle.net/2078.2/105420

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

5. Classen, Andreas. Modelling and Model Checking Variability-Intensive Systems.

Degree: 2011, DIAL (Belgium)

The premise of variability-intensive systems, specifically in software product line engineering, is the ability to produce a large family of different systems efficiently. However, in… (more)

Subjects/Keywords: Software engineering; Verification; Software Product Lines; Model Checking; Feature Diagrams; Formal Methods

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Classen, A. (2011). Modelling and Model Checking Variability-Intensive Systems. (Thesis). DIAL (Belgium). Retrieved from http://hdl.handle.net/2078.2/90863

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Classen, Andreas. “Modelling and Model Checking Variability-Intensive Systems.” 2011. Thesis, DIAL (Belgium). Accessed April 20, 2019. http://hdl.handle.net/2078.2/90863.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Classen, Andreas. “Modelling and Model Checking Variability-Intensive Systems.” 2011. Web. 20 Apr 2019.

Vancouver:

Classen A. Modelling and Model Checking Variability-Intensive Systems. [Internet] [Thesis]. DIAL (Belgium); 2011. [cited 2019 Apr 20]. Available from: http://hdl.handle.net/2078.2/90863.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Classen A. Modelling and Model Checking Variability-Intensive Systems. [Thesis]. DIAL (Belgium); 2011. Available from: http://hdl.handle.net/2078.2/90863

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

6. Toussaint, Hubert. Formal Modeling and Verification of Access-Control Policies.

Degree: 2011, DIAL (Belgium)

The construction of secure software is a notoriously difficult task. The abstract security requirements have to be turned into functional requirements and then implemented. However,… (more)

Subjects/Keywords: Access-control; Security policy; Verification; Model extraction; Model weaving

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Toussaint, H. (2011). Formal Modeling and Verification of Access-Control Policies. (Thesis). DIAL (Belgium). Retrieved from http://hdl.handle.net/2078.2/90861

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Toussaint, Hubert. “Formal Modeling and Verification of Access-Control Policies.” 2011. Thesis, DIAL (Belgium). Accessed April 20, 2019. http://hdl.handle.net/2078.2/90861.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Toussaint, Hubert. “Formal Modeling and Verification of Access-Control Policies.” 2011. Web. 20 Apr 2019.

Vancouver:

Toussaint H. Formal Modeling and Verification of Access-Control Policies. [Internet] [Thesis]. DIAL (Belgium); 2011. [cited 2019 Apr 20]. Available from: http://hdl.handle.net/2078.2/90861.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Toussaint H. Formal Modeling and Verification of Access-Control Policies. [Thesis]. DIAL (Belgium); 2011. Available from: http://hdl.handle.net/2078.2/90861

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

7. Bontemps, Yves. Relating Inter-Agent and Intra-Agent Specifications (The Case of Live Sequence Charts).

Degree: 2005, DIAL (Belgium)

The problem of relating inter-agent and intra-agent behavioral specifications is investigated. These two views are complimentary, in that the former is closer to scenario-based user… (more)

Subjects/Keywords: LSC; Live Sequence Charts; Distributed Systems; Scenarios; Synthesis; Verification; Game Theory; Formal Methods; Software Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Bontemps, Y. (2005). Relating Inter-Agent and Intra-Agent Specifications (The Case of Live Sequence Charts). (Thesis). DIAL (Belgium). Retrieved from http://hdl.handle.net/2078.2/4222

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Bontemps, Yves. “Relating Inter-Agent and Intra-Agent Specifications (The Case of Live Sequence Charts).” 2005. Thesis, DIAL (Belgium). Accessed April 20, 2019. http://hdl.handle.net/2078.2/4222.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Bontemps, Yves. “Relating Inter-Agent and Intra-Agent Specifications (The Case of Live Sequence Charts).” 2005. Web. 20 Apr 2019.

Vancouver:

Bontemps Y. Relating Inter-Agent and Intra-Agent Specifications (The Case of Live Sequence Charts). [Internet] [Thesis]. DIAL (Belgium); 2005. [cited 2019 Apr 20]. Available from: http://hdl.handle.net/2078.2/4222.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Bontemps Y. Relating Inter-Agent and Intra-Agent Specifications (The Case of Live Sequence Charts). [Thesis]. DIAL (Belgium); 2005. Available from: http://hdl.handle.net/2078.2/4222

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

8. Trigaux, Jean-Christophe. Quality of Feature Diagram Languages: formal Evaluation and Comparison.

Degree: 2008, DIAL (Belgium)

In software engineering, software reuse has been a popular topic since 1968. Nowadays, Software Product Line (SPL) engineering promotes systematic reuse throughout the whole software… (more)

Subjects/Keywords: Feature Modelling; Feature Diagrams; Variability Management; Formal Semantics; Formal Methods; Requirements Engineering; Software Product Line; Automated Reasoning; Language Evaluation; Language Quality.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Trigaux, J. (2008). Quality of Feature Diagram Languages: formal Evaluation and Comparison. (Thesis). DIAL (Belgium). Retrieved from http://hdl.handle.net/2078.2/22706

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Trigaux, Jean-Christophe. “Quality of Feature Diagram Languages: formal Evaluation and Comparison.” 2008. Thesis, DIAL (Belgium). Accessed April 20, 2019. http://hdl.handle.net/2078.2/22706.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Trigaux, Jean-Christophe. “Quality of Feature Diagram Languages: formal Evaluation and Comparison.” 2008. Web. 20 Apr 2019.

Vancouver:

Trigaux J. Quality of Feature Diagram Languages: formal Evaluation and Comparison. [Internet] [Thesis]. DIAL (Belgium); 2008. [cited 2019 Apr 20]. Available from: http://hdl.handle.net/2078.2/22706.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Trigaux J. Quality of Feature Diagram Languages: formal Evaluation and Comparison. [Thesis]. DIAL (Belgium); 2008. Available from: http://hdl.handle.net/2078.2/22706

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

9. Jureta, Ivan. Essays in Information Management: contributions to the Modeling and Analysis of Quality in Information Systems Engineering.

Degree: 2008, DIAL (Belgium)

 Efficient organization requires rigorous and systematic information management, which encompasses information processing and decision making. Within the efforts in management science and informatics invested towards… (more)

Subjects/Keywords: Requirements engineering; Information systems management; Service-oriented systems; Quality; Multiagent systems

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Jureta, I. (2008). Essays in Information Management: contributions to the Modeling and Analysis of Quality in Information Systems Engineering. (Thesis). DIAL (Belgium). Retrieved from http://hdl.handle.net/2078.2/22677

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Jureta, Ivan. “Essays in Information Management: contributions to the Modeling and Analysis of Quality in Information Systems Engineering.” 2008. Thesis, DIAL (Belgium). Accessed April 20, 2019. http://hdl.handle.net/2078.2/22677.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Jureta, Ivan. “Essays in Information Management: contributions to the Modeling and Analysis of Quality in Information Systems Engineering.” 2008. Web. 20 Apr 2019.

Vancouver:

Jureta I. Essays in Information Management: contributions to the Modeling and Analysis of Quality in Information Systems Engineering. [Internet] [Thesis]. DIAL (Belgium); 2008. [cited 2019 Apr 20]. Available from: http://hdl.handle.net/2078.2/22677.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Jureta I. Essays in Information Management: contributions to the Modeling and Analysis of Quality in Information Systems Engineering. [Thesis]. DIAL (Belgium); 2008. Available from: http://hdl.handle.net/2078.2/22677

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

.