236 citations
- University of LuxembourgLU13 papers
- Scalable Network Technologies (United States)US2 papers
- Centre Inria de l'Université de LilleFR1 paper
- Hochschule Bonn-Rhein-SiegDE1 paper
- Institut de Recherche en Informatique et Systèmes AléatoiresFR1 paper
- Institut national de recherche en sciences et technologies du numériqueFR1 paper
- Laboratoire d'Informatique Fondamentale de LilleFR1 paper
- Lu'an First People's HospitalCN1 paper
- Pennsylvania State UniversityUS1 paper
- Precise (India)IN1 paper
- Technische Universität BerlinDE1 paper
- Technische Universität DresdenDE1 paper
Showing 2012Show all
3 papers · 1 filter
cs.SE2012★ 28 cited
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…
cs.LO2012
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…
cs.LO2012★ 1 cited
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…