Dr. Stefan Andrei

Dr. Stefan Andrei

General Information

Education

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

Research Interests

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

Selected Publications

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)

Vraj Pandya, Stefan Andrei - About the Design of QUIC Firefox Transport Protocol, in Vol 8, No 2 (2017), journal BRAIN – Broad Research in Artificial Intelligence and Neuroscience, ISSN 2067-3957, indexed by Clarivate Analytics (Thomson-Reuters), in Web of Science
 
Vlad Radulescu, Stefan Andrei, Albert Cheng: Effective Bounding for the Number of Processors of a Task Scheduling Problem. Proceedings of 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'17), IEEE Computer Society, Timisoara, Romania, September 21-24, 2017.

Kishor Datta Gupta, Manjurul Ahsan, Stefan Andrei, Kazi Md. Rokibul Alam - 
A Robust Approach of Facial Orientation Recognition from Facial Features, in Vol 8, No 3 (2017), journal BRAIN – Broad Research in Artificial Intelligence and Neuroscience, ISSN 2067-3957, indexed by Clarivate Analytics (Thomson-Reuters), in Web of Science
 
Vlad Radulescu, Stefan Andrei and Albert M. K. Cheng - Bounding Execution Resources for the Task Scheduling Problem in Cyber-Physical Systems, The First ESWeek Workshop on Declarative Embedded and Cyber-Physical Systems (deCPS 2017), October 19, 2017, Seoul, South Korea.
 
Kishor Datta Gupta, Md Manjurul Ahsan, Stefan Andrei – Extending the Storage Capacity and Noise Reduction of a Faster QR-Code, Scientific Methods in Academic Research and Teaching (SMART 2017), Romania September 8-9, 2017
 
Farhana A. Khan, Stefan Andrei, A. K. M. Monayem H. Mazumder, Ramesh K. Guduru, Performance of Electrohydrodynamic Gas Pump in a Square Channel. Proceedings of the 2017 Annual Meeting of the Electrostatics Society of America, June 1315, 2017, University of Ottawa, Canada
 
 
Stefan Andrei, Arnob Saha, and Sojibur Rahman: Two New Software Behavioral Design Patterns: Obligation Link and History Reminder. BRAIN - Broad Research in Artificial Intelligence and Neuroscience, Edusoft Publishing, Vol. 7, No. 2, pp. 78-90 (2016)
 
Vlad Radulescu, Stefan Andrei, Albert Cheng. Resource Bounding for Non-preemptive Task Scheduling on a Multiprocessor Platform. Proceedings of 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing(SYNASC'16), IEEE Computer Society, Timisoara, Romania, September 24-27, 2016.
 
Kumer Pial Das, Dale Daniel, Stefan Andrei, Lawrence Osborne: ASCENT-A Program Designed to Support STEM Students through Undergraduate Research and Mentoring,ASEE Annual Conference and Exposition ASEE 2016, Proceedings of the 2016 ASEE Annual Conference and Exposition, 10.18260/p.26282, New Orleans, U.S.A., June 26-29, 2016.
 
Stefan Andrei, Albert Cheng, Vlad Radulescu, Sharfuddin Alam, Suresh Vadlakonda: A new scheduling algorithm for non-preemptive independent tasks on a multi-processor platform, The First Workshop on Declarative Programming for Real-Time and Cyber-Physical Systems (DPRTCPS), SIGBED Review newsletter and ACM Digital Library, San Antonio, U.S.A., December 1, 2015.
 
Stefan Andrei, Albert Cheng, Vlad Radulescu. An Improved Upper-bound Algorithm for Non-preemptive Task Scheduling. Proceedings of 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC'15), IEEE Computer Society, Timisoara, Romania, September 21-24, 2015.
 
(invited talk) Stefan Andrei: Verification of a System Model Using Linear Real-Time Logic. NoMagic World Symposium (NMWS2015), Allen, TX, USA, June 7-10, 2015.

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)