Stefan Andrei

ORCID

Publication Activity (10 Years)

Years Active: 1995-2023
Publications (10 Years): 16

Top Venues

University of Hamburg, Germany (PHD)

Education History

University of Hamburg, Germany

PHD

Publications

Vlad Radulescu, Albert M. K. Cheng, Stefan Andrei
Work-in-Progress: Flexible bus arbitration in mixed criticality systems. EMSOFT (2023)
Sujing Wang, Stefan Andrei
Comparative Study of Several Educational Robotics to Introduce Engineering and Computing Concepts for Middle School and High School Students. FIE (2023)
Stefan Andrei, Sujing Wang
An Innovative Way to Teach Computer Programming for Middle and High Schools Students in Summer Camps. FIE (2023)
Callan J. Noak, Sujing Wang, Stefan Andrei, Jennifer L. Tsan
Introducing Engineering and Programming Concepts to Middle School and High School Students using SparkFun Inventor's Kit, Scratch, and Java. FIE (2022)
Callan J. Noak, Jennifer L. Tsan, Sujing Wang, Stefan Andrei
Introducing Programming to Middle School Students to Increase Knowledge and Interest in Computer Science. SIGCSE (2) (2022)
Sayeda Farzana Aktar, Stefan Andrei, Albert M. K. Cheng
Work in Progress: Heart Disease Detection Methodology using E-Stethoscope. RTAS (2021)
Madison Boudreaux, Sujing Wang, Stefan Andrei, Otilia Urbina, Dorothy A. Sisk
Integrating Programming and Engineering Concepts using Raspberry Pi and Scratch. FIE (2021)
Vlad Radulescu, Stefan Andrei, Albert M. K. Cheng
Work-in-Progress Abstract: A New Criterion for Job Switching in Semi-Clairvoyant Systems. RTCSA (2021)
Stefan Andrei, Albert M. K. Cheng, Vlad Radulescu
Designing a New Soft-Hard Task Model for Scheduling Real-Time Systems on a Multiprocessor Platform. SYNASC (2021)
Sujing Wang, Stefan Andrei, Otilia Urbina, Dorothy A. Sisk
Grade Girls using SeaPerch and Scratch. FIE (2020)
Sujing Wang, Stefan Andrei, Otilia Urbina, Dorothy A. Sisk
A Coding/Programming Academy for 6th-Grade Females to Increase Knowledge and Interest in Computer Science. FIE (2019)
Stefan Andrei, Albert M. K. Cheng, Vlad Radulescu
Processor Bounding for an Efficient Non-preemptive Task Scheduling Algorithm. Math. Comput. Sci. 13 (4) (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) (2018)
Vlad Radulescu, Stefan Andrei, Albert M. K. Cheng
Resource Bounding for Non-Preemptive Task Scheduling on a Multiprocessor Platform. SYNASC (2016)
Stefan Andrei, Albert M. K. Cheng, Vlad Radulescu, Sharfuddin Alam, Suresh Vadlakonda
A new scheduling algorithm for non-preemptive independent tasks on a multi-processor platform. SIGBED Rev. 13 (2) (2016)
Stefan Andrei, Albert M. K. Cheng, Vlad Radulescu
An Improved Upper-Bound Algorithm for Non-preemptive Task Scheduling. SYNASC (2015)
Stefan Andrei, Albert M. K. Cheng, Vlad Radulescu
An efficient scheduling algorithm of non-preemptive independent tasks for biomedical systems. NEWCAS (2014)
Vlad Radulescu, Stefan Andrei, Albert M. K. Cheng
A Heuristic-Based Approach for Reducing the Power Consumption of Real-Time Embedded Systems. SYNASC (2014)
Stefan Andrei, Albert M. K. Cheng, Gheorghe Grigoras, Vlad Radulescu
An efficient scheduling algorithm for the non-preemptive independent multiprocessor platform. Int. J. Grid Util. Comput. 3 (4) (2012)
Stefan Andrei, Albert M. K. Cheng, Vlad Radulescu, Timothy H. McNicholl
Toward an Optimal Power-Aware Scheduling Technique. SYNASC (2012)
S. Kami Makki, Stefan Andrei, Yanwen Guan, Mattie Sue Judd
Performance Evaluation of Query Trimming Strategies in Semantic Caching Environment. ICEIS (1) (2011)
Stefan Andrei, Albert M. K. Cheng, Vlad Radulescu
Estimating the Number of Processors towards an Efficient Non-preemptive Scheduling Algorithm. SYNASC (2011)
Stefan Andrei, Albert Mo Kim Cheng, Martin C. Rinard, Lawrence Osborne
Optimal Scheduling of Urgent Preemptive Tasks. RTCSA (2010)
Stefan Andrei, Albert M. K. Cheng, Gheorghe Grigoras, Vlad Radulescu
An Efficient Scheduling Algorithm for the Multiprocessor Platform. SYNASC (2010)
S. Kami Makki, Stefan Andrei
Utilizing semantic caching in ubiquitous environment. IWCMC (2009)
Stefan Andrei, Gheorghe Grigoras, Martin C. Rinard, Roland H. C. Yap
A Hierarchy of Tractable Subclasses for SAT and Counting SAT Problems. SYNASC (2009)
Stefan Andrei, Albert Mo Kim Cheng
Efficient Verification and Optimization of Real-Time Logic-Specified Systems. IEEE Trans. Computers 58 (12) (2009)
Stefan Andrei
Parallel Parsing-Based Reverse Engineering. CSIE (7) (2009)
Cristian Masalagiu, Wei-Ngan Chin, Stefan Andrei, Vasile Alaiba
A rigorous methodology for specification and verification of business processes. Formal Aspects Comput. 21 (5) (2009)
Stefan Andrei, Peggy Doerschuk
SAT-based Weighted Planning. ARCS (2008)
Stefan Andrei
Termination Analysis by Program Inversion. SYNASC (2008)
Stefan Andrei, Albert Mo Kim Cheng
Optimizing Automotive Cyber-Physical System Specifications with Multi-Event Dependencies. SYNASC (2008)
Nilam Chand, Bindiya Mansharamani, Rafael Romero, Will Beazley, Stefan Andrei
PEARLS: An Integrated Environment for Task Scheduling. SYNASC (2007)
Stefan Andrei, Gabriel Manolache, Roland H. C. Yap, Victor Felea
Approximate Satisfiability Counting. SYNASC (2007)
Stefan Andrei, Albert M. K. Cheng
Verifying Linear Real-Time Logic Specifications. RTSS (2007)
Stefan Andrei, Samarjit Chakraborty
Path-Constrained Relaxed Schedulability Analysis. SYNASC (2007)
Stefan Andrei, Wei-Ngan Chin, Martin C. Rinard
Incremental Deterministic Planning. SYNASC (2006)
Beatrice Luca, Stefan Andrei, Hugh Anderson, Siau-Cheng Khoo
Program transformation by solving recurrences. PEPM (2006)
Stefan Andrei, Albert Mo Kim Cheng
Faster Verification of RTL-Specified Systems via Decomposition and Constraint Extension. RTSS (2006)
Stefan Andrei, Albert Mo Kim Cheng
Optimization of Real-Time Systems Timing Specifications. RTCSA (2006)
Stefan Andrei, Wei-Ngan Chin, Albert Mo Kim Cheng, Mihai Lupu
Automatic Debugging of Real-Time Systems Based on Incremental Satisfiability Counting. IEEE Trans. Computers 55 (7) (2006)
Yongxin Zhu, Weng-Fai Wong, Stefan Andrei
Co-optimization of Performance and Power in a Superscalar Processor Design. EUC Workshops (2006)
Yongxin Zhu, Weng-Fai Wong, Stefan Andrei
An integrated performance and power model for superscalar processor designs. ASP-DAC (2005)
Hugh Anderson, Siau-Cheng Khoo, Stefan Andrei, Beatrice Luca
Calculating Polynomial Runtime Properties. APLAS (2005)
Mihaela Brut, Stefan Andrei
Authoring and Retrieving Tool for Multimedia E-Learning Tutorials using XML Techniques. Sci. Ann. Cuza Univ. 15 (2005)
Stefan Andrei, Wei-Ngan Chin, Albert Mo Kim Cheng, Yongxin Zhu
Runtime-Coordinated Scalable Incremental Checksum Testing of Combinational Circuits. RTCSA (2005)
Stefan Andrei, Albert Mo Kim Cheng, Wei-Ngan Chin, Mihai Lupu
Systematic Debugging of Real-Time Systems based on Incremental Satisfiability Counting. IEEE Real-Time and Embedded Technology and Applications Symposium (2005)
Stefan Andrei, Wei-Ngan Chin
Solving a class of higher-order equations over a group structure. J. Symb. Comput. 37 (3) (2004)
Stefan Andrei, Wei-Ngan Chin, Salvador Valerio Cavadini
Self-embedded context-free grammars with regular counterparts. Acta Informatica 40 (5) (2004)
Stefan Andrei
Counting for Satisfiability by Inverting Resolution. Artif. Intell. Rev. 22 (4) (2004)
Stefan Andrei, Wei-Ngan Chin, Gheorghe Grigoras
Co-determinism and unambiguity of automata accepting finite or infinite words. Sci. Ann. Cuza Univ. 14 (2004)
Stefan Andrei, Wei-Ngan Chin
Incremental Satisfiability Counting for Real-Time Systems. IEEE Real-Time and Embedded Technology and Applications Symposium (2004)
Stefan Andrei, Salvador Valerio Cavadini, Wei-Ngan Chin
A new algorithm for regularizing one-letter context-free grammars. Theor. Comput. Sci. 306 (1-3) (2003)
Stefan Andrei, Wei-Ngan Chin, Gheorghe Grigoras
A Tutorial on a Monadic Approach for Expressions Evaluation. Sci. Ann. Cuza Univ. 12 (2002)
Stefan Andrei, Gheorghe Grigoras, Manfred Kudlek, Cristian Masalagiu
On the Complexity of Propositional Calculus Formulae. Sci. Ann. Cuza Univ. 10 (2001)
Stefan Andrei
Bidirectional Ascendant Parsing for Natural Language Processing. IWPT (2001)
Stefan Andrei, Manfred Kudlek, Radu Stefan Niculescu
Some results on the Collatz problem. Acta Informatica 37 (2) (2000)
Stefan Andrei, Manfred Kudlek
Bidirectional parsing for linear languages. Developments in Language Theory (1999)
Stefan Andrei
Weak Equivalence in Propositional Calculus. ESSLLI Student Papers (1999)
Stefan Andrei, Cristian Masalagiu
About the Collatz Conjecture. Acta Informatica 35 (2) (1998)
Stefan Andrei, Manfred Kudlek
Morphological Grammars. Sci. Ann. Cuza Univ. 5 (1996)
Stefan Andrei
Finding keys in particular classes of functional dependencies. Sci. Ann. Cuza Univ. 4 (1995)

Stefan Andrei.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Stefan Andrei