Travelled to:1 × Canada
1 × Denmark
1 × Portugal
1 × USA
2 × Germany
Collaborated with:S.Tripakis M.Jmaiel M.Lahami N.Bertrand A.Stainer T.Jéron A.J.Maâlej F.Fakhfakh M.Bouchakwa
Talks about:test (7) system (4) time (4) automata (3) problem (3) state (3) distribut (2) identif (2) adapt (2) determinist (1)
Person: Moez Krichen
DBLP: Krichen:Moez
Contributed to:
2013
2012
2011
2011
20062005Wrote 8 papers:
- SAC-2013-MaalejKJ #composition #consistency #named #testing
- WSCCT: a tool for WS-BPEL compositions conformance testing (AJM, MK, MJ), pp. 1055–1061.
- ICTSS-2012-LahamiFKJ #adaptation #distributed #runtime #testing #towards
- Towards a TTCN-3 Test System for Runtime Testing of Adaptable and Distributed Systems (ML, FF, MK, MJ), pp. 71–86.
- ICTSS-2012-LahamiKBJ #adaptation #architecture #design #distributed #problem #using
- Using Knapsack Problem Model to Design a Resource Aware Test Architecture for Adaptable and Distributed Systems (ML, MK, MB, MJ), pp. 103–118.
- FoSSaCS-2011-BertrandSJK #approach #automaton #game studies
- A Game Approach to Determinize Timed Automata (NB, AS, TJ, MK), pp. 245–259.
- TACAS-2011-BertrandJSK #automaton #nondeterminism #testing
- Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata (NB, TJ, AS, MK), pp. 96–111.
- FATES-RV-2006-KrichenT #finite #identification #problem #transducer
- State-Identification Problems for Finite-State Transducers (MK, ST), pp. 148–162.
- TestCom-2005-KrichenT #automaton #identification #problem
- State Identification Problems for Timed Automata (MK, ST), pp. 175–191.
- TestCom-2005-KrichenT05a #framework #realtime #testing
- An Expressive and Implementable Formal Framework for Testing Real-Time Systems (MK, ST), pp. 209–225.