Pierre‐Yves Schobbens
YOU?
Author Swipe
View article: CNNGen: A Generator and a Dataset for Energy-Aware Neural Architecture Search
CNNGen: A Generator and a Dataset for Energy-Aware Neural Architecture Search Open
Neural Architecture Search (NAS) methods seek optimal networks within a set architecture space. Cells define this space and bound the search based on a reference neural architecture. Yet, optimality is mostly related to prediction performa…
View article: Time for Networks: Mutation Testing for Timed Automata Networks
Time for Networks: Mutation Testing for Timed Automata Networks Open
Mutation Testing (MT) is a technique employed to assess the efficacy of tests by introducing artificial faults, known as mutations, into the system. The goal is to evaluate how well the tests can detect these mutations. These artificial fa…
View article: Review of: "Channeling the Flow — A Metaphor for Computer Programs"
Review of: "Channeling the Flow — A Metaphor for Computer Programs" Open
Potential competing interests: No potential competing interests to declare.The author proposes to understand programming as 'channeling the flow', i.e., removing possibilities from the executions of the program.While this is certainly true,
View article: You Can REST Now: Automated REST API Documentation and Testing via LLM-Assisted Request Mutations
You Can REST Now: Automated REST API Documentation and Testing via LLM-Assisted Request Mutations Open
REST APIs are prevalent among web service implementations, easing interoperability through the HTTP protocol. API testers and users exploit the widely adopted OpenAPI Specification (OAS), a machine-readable standard to document REST APIs. …
View article: CNNGen: A Generator and a Dataset for Energy-Aware Neural Architecture Search
CNNGen: A Generator and a Dataset for Energy-Aware Neural Architecture Search Open
Neural Architecture Search (NAS) methods seek optimal networks by exploring thousands of variants of a reference architecture. Yet, optimality is typically related to prediction performance, overlooking the environmental impacts of trainin…
View article: Towards Strengthening Formal Specifications with Mutation Model Checking
Towards Strengthening Formal Specifications with Mutation Model Checking Open
We propose mutation model checking as an approach to strengthen formal specifications used for model checking. Inspired by mutation testing, our approach concludes that specifications are not strong enough if they fail to detect faults in …
View article: Learning Analytics Solution for Monitoring and Analyzing the Students’ Behavior in SQL Lab Work
Learning Analytics Solution for Monitoring and Analyzing the Students’ Behavior in SQL Lab Work Open
Computer-assisted learning is widely discussed in the literature to aid the comprehension of SQL queries (Structured Query Language) in higher education. However, it is difficult for educators/instructors to track, monitor and analyze stud…
View article: Go Meta of Learned Cost Models: On the Power of Abstraction
Go Meta of Learned Cost Models: On the Power of Abstraction Open
Cost-based optimization is a promising paradigm that relies on execution queries to enable fast and efficient ex- ecution reached by the database cost model (CM) during query processing/optimization. While a few database management systems…
View article: Featured Scents: Towards Assessing ArchitecturalSmells for Self-Adaptive Systems at Runtime
Featured Scents: Towards Assessing ArchitecturalSmells for Self-Adaptive Systems at Runtime Open
Self-adaptive systems (SAS) change their behavior and structure at runtime to answer the changes in their environment. Such systems combine different architectural fragments or solutions via feature binding/unbinding at runtime. Moreover, …
View article: Featured Scents: Towards Assessing ArchitecturalSmells for Self-Adaptive Systems at Runtime
Featured Scents: Towards Assessing ArchitecturalSmells for Self-Adaptive Systems at Runtime Open
Self-adaptive systems (SAS) change their behavior and structure at runtime to answer the changes in their environment. Such systems combine different architectural fragments or solutions via feature binding/unbinding at runtime. Moreover, …
View article: Featured Scents: Assessing Architectural Smells for Self-Adaptive Systems at Runtime
Featured Scents: Assessing Architectural Smells for Self-Adaptive Systems at Runtime Open
Self-adaptive systems (SAS) change their behavior and structure at runtime to answer the changes in their environment. Such systems combine different architectural fragments or solutions via feature binding/unbinding at runtime. Moreover, …
View article: Featured Scents: Assessing Architectural Smells for Self-Adaptive Systems at Runtime
Featured Scents: Assessing Architectural Smells for Self-Adaptive Systems at Runtime Open
Self-adaptive systems (SAS) change their behavior and structure at runtime to answer the changes in their environment. Such systems combine different architectural fragments or solutions via feature binding/unbinding at runtime. Moreover, …
View article: Syntactic and Semantic Extensions to Secure Tropos to Support Security Risk Management
Syntactic and Semantic Extensions to Secure Tropos to Support Security Risk Management Open
International audience
View article: Testing Dynamically Adaptive Systems: A Preliminary Literature Review
Testing Dynamically Adaptive Systems: A Preliminary Literature Review Open
Context. Dynamically Adaptive Systems (DAS) encompasses a large class of systems that adapt their behaviours in response to changes in their context and/or predefined optimisation goals. Advanced software architectures support these adapta…
View article: Testing Dynamically Adaptive Systems: A Preliminary Literature Review
Testing Dynamically Adaptive Systems: A Preliminary Literature Review Open
Context. Dynamically Adaptive Systems (DAS) encompasses a large class of systems that adapt their behaviours in response to changes in their context and/or predefined optimisation goals. Advanced software architectures support these adapta…
View article: Multifaceted automated analyses for variability-intensive embedded systems
Multifaceted automated analyses for variability-intensive embedded systems Open
International audience
View article: All roads lead to Rome: Commuting strategies for product-line reliability analysis
All roads lead to Rome: Commuting strategies for product-line reliability analysis Open
Software product line engineering is a means to systematically manage variability and commonality in software systems, enabling the automated synthesis of related programs (products) from a set of reusable assets. However, the number of pr…
View article: Automata Language Equivalence vs. Simulations for Model-based Mutant Equivalence: An Empirical Evaluation
Automata Language Equivalence vs. Simulations for Model-based Mutant Equivalence: An Empirical Evaluation Open
International audience
View article: On Featured Transition Systems
On Featured Transition Systems Open
International audience
View article: Featured model types
Featured model types Open
International audience