Sujing Wang, Stefan Andrei, Otilia Urbina, Dorothy Sisk: Introducing STEM to 7th Grade Girls using SeaPerch and Scratch, Frontiers in Education, October 21-24, 2020, Uppsala, Sweden
Stefan Andrei, Albert M. K. Cheng, Vlad Radulescu: Processor Bounding for an Efficient Non-preemptive Task Scheduling Algorithm. Math. Comput. Sci. 13(4): 489-515 (2019)
Vlad Radulescu, Stefan Andrei, Albert M. K. Cheng: Bounding execution resources for the task scheduling problem in cyber-physical systems. SIGBED Rev. 15(4): 20-28 (2018)
Stefan Andrei, Albert Cheng, Vlad Radulescu: An Efficient Scheduling Algorithm of Non-Preemptive Independent Tasks for Biomedical Systems. The 12th IEEE International New Circuits and Systems Conference, (NEWCAS), Trois-Rivieres, Canada, June 22 - 25, 2014.
Stefan Andrei, Albert Cheng, Haque Mozahid: Mathematical Considerations of the Linear Real-Time Logic Verification. Proceedings of the 20th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'14), WiP Session, IEEE Computer Society, Philadelphia, United States, April 9-11, 2014
Andrei, Stefan, Osborne, Lawrence, and Smith, Zanthia: “Designing an American Sign Language Avatar for Learning Computer Science Concepts for Deaf or Hard-of-Hearing Students and Deaf Interpreters,” AACE Journal of Educational Multimedia and Hypermedia, ISSN# 1055-8896, 2013, http://www.aace.org/pubs/jemh/.
Cheng, A.M.K., Andrei, S., Mozahid, Haque: Optimizing the Linear Real-Time Logic Verifier. Proceedings of the 19th IEEE Real-Time and Embedded Technology and Applications Symposium(RTAS’13), WiP Session, IEEE Computer Society, Philadelphia, United States, April 9–11, 2013.
Stefan Andrei, Albert Cheng, Vlad Radulescu, Timothy McNicholl. Toward an optimal power-aware scheduling technique. Proceedings of 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC’12), IEEE Computer Society, Timisoara, Romania, September 26-29, 2012.
Stefan Andrei, Albert Cheng, Gheorghe Grigoras, Vlad Radulescu: An Efficient Scheduling Algorithm for the Non-preemptive Independent Multiprocessor Platform. International Journal of Grid and Utility Computing, Vol. 3, No. 4, pp. 215-223, 2012.
Stefan Andrei, Albert Cheng, Vlad Radulescu. Estimating the number of processors towards an efficient non-preemptive scheduling algorithm. Proceedings of 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC’11), IEEE Computer Society, Timisoara, Romania, September 25-28, 2011.
Stefan Andrei, Kathlyn Doss, Kami Makki. Proof Automation for Program Termination. Proceedings of 2nd World Congress on Computer Science and Information Engineering (CSIE'11), IEEE Computer Society, Changchun, China, June 17-19, 2011.
Stefan Andrei, Albert Cheng: Efficient Verification and Optimization of Real-Time Logic Specified Systems, IEEE Transaction on Computers, Volume 58, Number 12, pp. 1640-1653, 2009.
Cristian Masalagiu, Wei-Ngan Chin, Stefan Andrei, Vasile Alaiba: A Rigorous Methodology for Specification and Verification of Business Processes, Formal Aspects of Computing, Springer Verlag, 2009.
Stefan Andrei: Parallel Parsing-based Reverse Engineering. Proceedings of the First 2009 World Congress on Computer Science and Information Engineering (CSIE 2009), IEEE Computer Society, pp. 503-507, Los Angeles, USA, March 31-April 2, 2009.
Stefan Andrei, Albert Cheng: Verifying Linear Real-Time Logic Specifications. Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS'07), IEEE Computer Society, Tucson, Arizona, U.S.A., 8 pages, December 3-6, 2007
Stefan Andrei, Wei-Ngan Chin, Albert Cheng, Mihai Lupu: Automatic Debugging of Real-Time Systems based on Incremental Satisfiability Counting. IEEE Transaction on Computers, vol. 55(7), pp. 830-842 (2006) Selected as July issue's Feature Article for 'hot' topic and fast publication.
Stefan Andrei, Albert Cheng: Faster Verification of RTL-Specified Systems via Decomposition and Constraint Extension. Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS'06), IEEE Computer Society, Rio de Janeiro, Brazil, December 5-8, 2006, 8 pages
Stefan Andrei, Wei-Ngan Chin, Salvator Cavadini: Self-embedded context-free grammars with regular counterparts. Acta Informatica, Volume 40, Number 5, pp. 349 - 365 (2004)
Stefan Andrei: Counting for Satisfiability by Inverting Resolution. Artificial Intelligence Review, vol. 22, no. 4, pp. 339-366 (2004)