Moez Krichen
Moez Krichen
Assistant Professor of Computer Science, Albaha University
Vahvistettu sähköpostiosoite verkkotunnuksessa redcad.org
Nimike
Viittaukset
Viittaukset
Vuosi
Black-box conformance testing for real-time systems
M Krichen, S Tripakis
International SPIN Workshop on Model Checking of Software, 109-126, 2004
2742004
Conformance testing for real-time systems
M Krichen, S Tripakis
Formal Methods in System Design 34 (3), 238-304, 2009
2092009
Testing conformance of real-time applications by automatic generation of observers
S Bensalem, M Bozga, M Krichen, S Tripakis
Electronic Notes in Theoretical Computer Science 113, 23-43, 2005
642005
An expressive and implementable formal framework for testing real-time systems
M Krichen, S Tripakis
IFIP International Conference on Testing of Communicating Systems, 209-225, 2005
562005
Off-line test selection with test purposes for non-deterministic timed automata
N Bertrand, T Jéron, A Stainer, M Krichen
Logical Methods in Computer Science 8 (4), 1-33, 2012
512012
Real-time testing with timed automata testers and coverage criteria
M Krichen, S Tripakis
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant …, 2004
402004
A game approach to determinize timed automata
N Bertrand, A Stainer, T Jéron, M Krichen
International Conference on Foundations of Software Science and …, 2011
382011
Safe and efficient runtime testing framework applied in dynamic and distributed systems
M Lahami, M Krichen, M Jmaiel
Science of Computer Programming 122, 1-28, 2016
372016
Towards a TTCN-3 test system for runtime testing of adaptable and distributed systems
M Lahami, F Fakhfakh, M Krichen, M Jmaiel
IFIP International Conference on Testing Software and Systems, 71-86, 2012
362012
A formal framework for black-box conformance testing of distributed real-time systems
M Krichen
International Journal of Critical Computer-Based Systems 3 (1-2), 26-43, 2012
332012
Using knapsack problem model to design a resource aware test architecture for adaptable and distributed systems
M Lahami, M Krichen, M Bouchakwa, M Jmaiel
IFIP International Conference on Testing Software and Systems, 103-118, 2012
312012
Interesting properties of the real-time conformance relation tioco
M Krichen, S Tripakis
International Colloquium on Theoretical Aspects of Computing, 317-331, 2006
282006
State identification problems for timed automata
M Krichen, S Tripakis
IFIP International Conference on Testing of Communicating Systems, 175-191, 2005
262005
A game approach to determinize timed automata
N Bertrand, A Stainer, T Jéron, M Krichen
Formal Methods in System Design 46 (1), 42-80, 2015
252015
Automated significant load testing for WS-BPEL compositions
AJ Maâlej, M Hamza, M Krichen, M Jmaiel
2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013
252013
Model-based testing for real-time systems
M Krichen
PhD thesis, PhD thesis, Universit Joseph Fourier (December 2007), 2007
252007
Model-based conformance testing of ws-bpel compositions
AJ Maâlej, M Krichen, M Jmaiel
2012 IEEE 36th Annual Computer Software and Applications Conference …, 2012
242012
Distributed and Resource-Aware Load Testing of WS-BPEL Compositions.
AJ Maâlej, M Lahami, M Krichen, M Jmaïel
ICEIS (2), 29-38, 2018
222018
A Model Based Approach to Combine Load and Functional Tests for Service Oriented Architectures.
AJ Maâlej, M Krichen
VECoS, 123-140, 2016
222016
Conformance testing of WS-BPEL compositions under various load conditions
AJ Maâlej, M Krichen, M Jmaiel
2012 IEEE 36th Annual Computer Software and Applications Conference, 371-371, 2012
222012
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20