Stefan Andrei

According to our database, Stefan Andrei authored at least 63 papers between 1995 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Comparative Study of Several Educational Robotics to Introduce Engineering and Computing Concepts for Middle School and High School Students.

Sujing Wang, Stefan Andrei

Proceedings of the IEEE Frontiers in Education Conference, 2023

An Innovative Way to Teach Computer Programming for Middle and High Schools Students in Summer Camps.

Stefan Andrei, Sujing Wang

Proceedings of the IEEE Frontiers in Education Conference, 2023

Work-in-Progress: Flexible bus arbitration in mixed criticality systems.

Vlad Radulescu, Albert M. K. Cheng, Stefan Andrei

Proceedings of the International Conference on Embedded Software, 2023

2022

Introducing Programming to Middle School Students to Increase Knowledge and Interest in Computer Science.

Callan J. Noak, Jennifer L. Tsan, Sujing Wang, Stefan Andrei

Proceedings of the SIGCSE 2022: The 53rd ACM Technical Symposium on Computer Science Education, 2022

Introducing Engineering and Programming Concepts to Middle School and High School Students using SparkFun Inventor's Kit, Scratch, and Java.

Callan J. Noak, Sujing Wang, Stefan Andrei, Jennifer L. Tsan

Proceedings of the IEEE Frontiers in Education Conference, 2022

2021

Designing a New Soft-Hard Task Model for Scheduling Real-Time Systems on a Multiprocessor Platform.

Stefan Andrei, Albert M. K. Cheng, Vlad Radulescu

Proceedings of the 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2021

Work-in-Progress Abstract: A New Criterion for Job Switching in Semi-Clairvoyant Systems.

Vlad Radulescu, Stefan Andrei, Albert M. K. Cheng

Proceedings of the 27th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2021

Work in Progress: Heart Disease Detection Methodology using E-Stethoscope.

Sayeda Farzana Aktar, Stefan Andrei, Albert M. K. Cheng

Proceedings of the 27th IEEE Real-Time and Embedded Technology and Applications Symposium, 2021

Integrating Programming and Engineering Concepts using Raspberry Pi and Scratch.

Madison Boudreaux, Sujing Wang, Stefan Andrei, Otilia Urbina, Dorothy A. Sisk

Proceedings of the IEEE Frontiers in Education Conference, 2021

2020

Introducing STEM to 7^th Grade Girls using SeaPerch and Scratch.

Sujing Wang, Stefan Andrei, Otilia Urbina, Dorothy A. Sisk

Proceedings of the IEEE Frontiers in Education Conference, 2020

2019

Processor Bounding for an Efficient Non-preemptive Task Scheduling Algorithm.

Stefan Andrei, Albert M. K. Cheng, Vlad Radulescu

Math. Comput. Sci., 2019

A Coding/Programming Academy for 6th-Grade Females to Increase Knowledge and Interest in Computer Science.

Sujing Wang, Stefan Andrei, Otilia Urbina, Dorothy A. Sisk

Proceedings of the IEEE Frontiers in Education Conference, 2019

2018

Bounding execution resources for the task scheduling problem in cyber-physical systems.

Vlad Radulescu, Stefan Andrei, Albert M. K. Cheng

SIGBED Rev., 2018

2016

A new scheduling algorithm for non-preemptive independent tasks on a multi-processor platform.

Stefan Andrei, Albert M. K. Cheng, Vlad Radulescu, Sharfuddin Alam, Suresh Vadlakonda

SIGBED Rev., 2016

Resource Bounding for Non-Preemptive Task Scheduling on a Multiprocessor Platform.

Vlad Radulescu, Stefan Andrei, Albert M. K. Cheng

Proceedings of the 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2016

2015

An Improved Upper-Bound Algorithm for Non-preemptive Task Scheduling.

Stefan Andrei, Albert M. K. Cheng, Vlad Radulescu

Proceedings of the 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2015

2014

A Heuristic-Based Approach for Reducing the Power Consumption of Real-Time Embedded Systems.

Vlad Radulescu, Stefan Andrei, Albert M. K. Cheng

Proceedings of the 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2014

An efficient scheduling algorithm of non-preemptive independent tasks for biomedical systems.

Stefan Andrei, Albert M. K. Cheng, Vlad Radulescu

Proceedings of the IEEE 12th International New Circuits and Systems Conference, 2014

2012

An efficient scheduling algorithm for the non-preemptive independent multiprocessor platform.

Stefan Andrei, Albert M. K. Cheng, Gheorghe Grigoras, Vlad Radulescu

Int. J. Grid Util. Comput., 2012

Toward an Optimal Power-Aware Scheduling Technique.

Stefan Andrei, Albert M. K. Cheng, Vlad Radulescu, Timothy H. McNicholl

Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2012

2011

Estimating the Number of Processors towards an Efficient Non-preemptive Scheduling Algorithm.

Stefan Andrei, Albert M. K. Cheng, Vlad Radulescu

Proceedings of the 13th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2011

Performance Evaluation of Query Trimming Strategies in Semantic Caching Environment.

S. Kami Makki, Stefan Andrei, Yanwen Guan, Mattie Sue Judd

Proceedings of the ICEIS 2011, 2011

2010

An Efficient Scheduling Algorithm for the Multiprocessor Platform.

Stefan Andrei, Albert M. K. Cheng, Gheorghe Grigoras, Vlad Radulescu

Proceedings of the 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2010

Optimal Scheduling of Urgent Preemptive Tasks.

Stefan Andrei, Albert Mo Kim Cheng, Martin C. Rinard, Lawrence Osborne

Proceedings of the 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2010

2009

Efficient Verification and Optimization of Real-Time Logic-Specified Systems.

Stefan Andrei, Albert Mo Kim Cheng

IEEE Trans. Computers, 2009

A rigorous methodology for specification and verification of business processes.

Cristian Masalagiu, Wei-Ngan Chin, Stefan Andrei, Vasile Alaiba

Formal Aspects Comput., 2009

A Hierarchy of Tractable Subclasses for SAT and Counting SAT Problems.

Stefan Andrei, Gheorghe Grigoras, Martin C. Rinard, Roland H. C. Yap

Proceedings of the 11th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2009

Utilizing semantic caching in ubiquitous environment.

S. Kami Makki, Stefan Andrei

Proceedings of the International Conference on Wireless Communications and Mobile Computing: Connecting the World Wirelessly, 2009

Parallel Parsing-Based Reverse Engineering.

Stefan Andrei

Proceedings of the CSIE 2009, 2009 WRI World Congress on Computer Science and Information Engineering, March 31, 2009

2008

Optimizing Automotive Cyber-Physical System Specifications with Multi-Event Dependencies.

Stefan Andrei, Albert Mo Kim Cheng

Proceedings of the SYNASC 2008, 2008

Termination Analysis by Program Inversion.

Stefan Andrei

Proceedings of the SYNASC 2008, 2008

SAT-based Weighted Planning.

Stefan Andrei, Peggy Doerschuk

Proceedings of the International Conference on Automation, Robotics and Control Systems, 2008

2007

PEARLS: An Integrated Environment for Task Scheduling.

Nilam Chand, Bindiya Mansharamani, Rafael Romero, Will Beazley, Stefan Andrei

Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2007

Approximate Satisfiability Counting.

Stefan Andrei, Gabriel Manolache, Roland H. C. Yap, Victor Felea

Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2007

Path-Constrained Relaxed Schedulability Analysis.

Stefan Andrei, Samarjit Chakraborty

Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2007

Verifying Linear Real-Time Logic Specifications.

Stefan Andrei, Albert M. K. Cheng

Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS 2007), 2007

2006

Automatic Debugging of Real-Time Systems Based on Incremental Satisfiability Counting.

Stefan Andrei, Wei-Ngan Chin, Albert Mo Kim Cheng, Mihai Lupu

IEEE Trans. Computers, 2006

Incremental Deterministic Planning.

Stefan Andrei, Wei-Ngan Chin, Martin C. Rinard

Proceedings of the 8th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2006), 2006

Faster Verification of RTL-Specified Systems via Decomposition and Constraint Extension.

Stefan Andrei, Albert Mo Kim Cheng

Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS 2006), 2006

Optimization of Real-Time Systems Timing Specifications.

Stefan Andrei, Albert Mo Kim Cheng

Proceedings of the 12th IEEE Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2006), 2006

Program transformation by solving recurrences.

Beatrice Luca, Stefan Andrei, Hugh Anderson, Siau-Cheng Khoo

Proceedings of the 2006 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2006

Co-optimization of Performance and Power in a Superscalar Processor Design.

Yongxin Zhu, Weng-Fai Wong, Stefan Andrei

Proceedings of the Emerging Directions in Embedded and Ubiquitous Computing, 2006

2005

Authoring and Retrieving Tool for Multimedia E-Learning Tutorials using XML Techniques.

Mihaela Brut, Stefan Andrei

Sci. Ann. Cuza Univ., 2005

Runtime-Coordinated Scalable Incremental Checksum Testing of Combinational Circuits.

Stefan Andrei, Wei-Ngan Chin, Albert Mo Kim Cheng, Yongxin Zhu

Proceedings of the 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2005), 2005

Systematic Debugging of Real-Time Systems based on Incremental Satisfiability Counting.

Stefan Andrei, Albert Mo Kim Cheng, Wei-Ngan Chin, Mihai Lupu

Proceedings of the 11th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2005), 2005

An integrated performance and power model for superscalar processor designs.

Yongxin Zhu, Weng-Fai Wong, Stefan Andrei

Proceedings of the 2005 Conference on Asia South Pacific Design Automation, 2005

Calculating Polynomial Runtime Properties.

Hugh Anderson, Siau-Cheng Khoo, Stefan Andrei, Beatrice Luca

Proceedings of the Programming Languages and Systems, Third Asian Symposium, 2005

2004

Solving a class of higher-order equations over a group structure.

Stefan Andrei, Wei-Ngan Chin

J. Symb. Comput., 2004

Co-determinism and unambiguity of automata accepting finite or infinite words.

Stefan Andrei, Wei-Ngan Chin, Gheorghe Grigoras

Sci. Ann. Cuza Univ., 2004

Counting for Satisfiability by Inverting Resolution.

Stefan Andrei

Artif. Intell. Rev., 2004

Self-embedded context-free grammars with regular counterparts.

Stefan Andrei, Wei-Ngan Chin, Salvador Valerio Cavadini

Acta Informatica, 2004

Incremental Satisfiability Counting for Real-Time Systems.

Stefan Andrei, Wei-Ngan Chin

Proceedings of the 10th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2004), 2004

2003

A new algorithm for regularizing one-letter context-free grammars.

Stefan Andrei, Salvador Valerio Cavadini, Wei-Ngan Chin

Theor. Comput. Sci., 2003

2002

A Tutorial on a Monadic Approach for Expressions Evaluation.

Stefan Andrei, Wei-Ngan Chin, Gheorghe Grigoras

Sci. Ann. Cuza Univ., 2002

2001

On the Complexity of Propositional Calculus Formulae.

Stefan Andrei, Gheorghe Grigoras, Manfred Kudlek, Cristian Masalagiu

Sci. Ann. Cuza Univ., 2001

Bidirectional Ascendant Parsing for Natural Language Processing.

Stefan Andrei

Proceedings of the Seventh International Workshop on Parsing Technologies (IWPT-2001), 2001

2000

Bidirectional parsing.

Stefan Andrei

PhD thesis, 2000

Some results on the Collatz problem.

Stefan Andrei, Manfred Kudlek, Radu Stefan Niculescu

Acta Informatica, 2000

1999

Weak Equivalence in Propositional Calculus.

Stefan Andrei

Proceedings of the 4th Student Session of ESSLLI'99 (European Summer School on Logic, 1999

Bidirectional parsing for linear languages.

Stefan Andrei, Manfred Kudlek

Proceedings of the Developments in Language Theory, 1999

1998

About the Collatz Conjecture.

Stefan Andrei, Cristian Masalagiu

Acta Informatica, 1998

1996

Morphological Grammars.

Stefan Andrei, Manfred Kudlek

Sci. Ann. Cuza Univ., 1996

1995

Finding keys in particular classes of functional dependencies.

Stefan Andrei

Sci. Ann. Cuza Univ., 1995