| Black-box conformance testing for real-time systems M Krichen, S Tripakis International SPIN Workshop on Model Checking of Software, 109-126, 2004 | 269 | 2004 |
| Conformance testing for real-time systems M Krichen, S Tripakis Formal Methods in System Design 34 (3), 238-304, 2009 | 207 | 2009 |
| 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 | 64 | 2005 |
| 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 | 56 | 2005 |
| 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 | 50 | 2012 |
| 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 | 40 | 2004 |
| 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 | 38 | 2011 |
| 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 | 36 | 2016 |
| 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 | 35 | 2012 |
| 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 | 33 | 2012 |
| 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 | 30 | 2012 |
| Interesting properties of the real-time conformance relation tioco M Krichen, S Tripakis International Colloquium on Theoretical Aspects of Computing, 317-331, 2006 | 28 | 2006 |
| Model-based testing for real-time systems M Krichen PhD thesis, PhD thesis, Universit Joseph Fourier (December 2007), 2007 | 26 | 2007 |
| State identification problems for timed automata M Krichen, S Tripakis IFIP International Conference on Testing of Communicating Systems, 175-191, 2005 | 26 | 2005 |
| 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 | 25 | 2013 |
| 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 | 24 | 2012 |
| 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 | 23 | 2015 |
| 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 | 22 | 2018 |
| 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 | 22 | 2012 |
| A formal framework for conformance testing of distributed real-time systems M Krichen International Conference On Principles Of Distributed Systems, 139-142, 2010 | 22 | 2010 |
Stavros TripakisAssociate Professor, Northeastern UniversityVerified email at northeastern.edu
