Dr. Stefan Andrei

General Information

  • Position: Professor and Chair
  • E-mail: sandrei@my.lamar.edu
  • Phone: 880-8776
  • Room: 57

Education

  • Ph.D. Computer Science, Hamburg University, Germany, 2000
  • M.S. Computer Science, "A.I. Cuza" University of Iasi, Romania, 1995
  • B.Sc. Computer Science, "A.I. Cuza" University of Iasi, Romania, 1994

Research Interests

  • Real-Time Embedded Systems
  • Software Engineering
  • Programming Languages

Selected Publications

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)