536 citations
- University of LuxembourgLU193 papers
- KTH Royal Institute of TechnologySE10 papers
- Southeast UniversityCN8 papers
- University of CyprusCY6 papers
- National and Kapodistrian University of AthensGR4 papers
- Purple Mountain LaboratoriesCN4 papers
- Université de LilleFR4 papers
- Université du Québec à MontréalCA4 papers
- University College LondonGB4 papers
- University of EssexGB4 papers
- Centre Inria de l'Université de LilleFR3 papers
- Düzce ÜniversitesiTR3 papers
8 papers · 1 filter
Bypassing the Combinatorial Explosion: Using Similarity to Generate and Prioritize T-wise Test Suites for Large Software Product Lines
Christopher Henard, Mike Papadakis, Gilles Perrouin +3
Software Product Lines (SPLs) are families of products whose commonalities and variability can be captured by Feature Models (FMs). T-wise testing aims at finding errors triggered…
Parametric Constructive Kripke-Semantics for Standard Multi-Agent Belief and Knowledge (Knowledge As Unbiased Belief)
Simon Kramer, Joshua Sack
We propose parametric constructive Kripke-semantics for multi-agent KD45-belief and S5-knowledge in terms of elementary set-theoretic constructions of two basic functional building…
Satisfaction, Restriction and Amalgamation of Constraints in the Framework of M-Adhesive Categories
Hanna Schölzel, Hartmut Ehrig, Maria Maximova +2
Application conditions for rules and constraints for graphs are well-known in the theory of graph transformation and have been extended already to M-adhesive transformation systems…
Logic of Negation-Complete Interactive Proofs (Formal Theory of Epistemic Deciders)
Simon Kramer
We produce a decidable classical normal modal logic of internalised negation-complete and thus disjunctive non-monotonic interactive proofs (LDiiP) from an existing logical counter…
In-Vivo Bytecode Instrumentation for Improving Privacy on Android Smartphones in Uncertain Environments
Alexandre Bartel, Jacques Klein, Martin Monperrus +2
In this paper we claim that an efficient and readily applicable means to improve privacy of Android applications is: 1) to perform runtime monitoring by instrumenting the applicati…
Receive Combining vs. Multi-Stream Multiplexing in Downlink Systems with Multi-Antenna Users
Emil Björnson, Marios Kountouris, Mats Bengtsson +1
In downlink multi-antenna systems with many users, the multiplexing gain is strictly limited by the number of transmit antennas and the use of these antennas. Assuming that the…