Skip to content

Stefan Andrei

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

40

Venues

13

Active years

1999–2025

Best venue rank

National

Where they publish

Papers

40 indexed papers, newest first.

YearVenueTitleAuthors
2025SYNASCLocal Memory Requirements in Embedded NUMA Architectures.Vlad Radulescu, Albert M. K. Cheng, Stefan Andrei
2024FIEIntroducing Multidisciplinary Engineering Technology and Programing for High School Students Through Summer Program.Sujing Wang, Qiang Xu, Stefan Andrei
2024SYNASCPreemptive Phased Execution Models with Scratchpad Memory Requirements.Vlad Radulescu, Albert M. K. Cheng, Stefan Andrei
2023EMSOFTWork-in-Progress: Flexible bus arbitration in mixed criticality systems.Vlad Radulescu, Albert M. K. Cheng, Stefan Andrei
2023FIEAn Innovative Way to Teach Computer Programming for Middle and High Schools Students in Summer Camps.Stefan Andrei, Sujing Wang
2023FIEComparative Study of Several Educational Robotics to Introduce Engineering and Computing Concepts for Middle School and High School Students.Sujing Wang, Stefan Andrei
2022FIEIntroducing 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
2022SIGCSEIntroducing Programming to Middle School Students to Increase Knowledge and Interest in Computer Science.Callan J. Noak, Jennifer L. Tsan, Sujing Wang, Stefan Andrei
2021FIEIntegrating Programming and Engineering Concepts using Raspberry Pi and Scratch.Madison Boudreaux, Sujing Wang, Stefan Andrei, Otilia Urbina, Dorothy A. Sisk
2021RTASWork in Progress: Heart Disease Detection Methodology using E-Stethoscope.Sayeda Farzana Aktar, Stefan Andrei, Albert M. K. Cheng
2021RTCSAWork-in-Progress Abstract: A New Criterion for Job Switching in Semi-Clairvoyant Systems.Vlad Radulescu, Stefan Andrei, Albert M. K. Cheng
2021SYNASCDesigning a New Soft-Hard Task Model for Scheduling Real-Time Systems on a Multiprocessor Platform.Stefan Andrei, Albert M. K. Cheng, Vlad Radulescu
2020FIEIntroducing STEM to 7Sujing Wang, Stefan Andrei, Otilia Urbina, Dorothy A. Sisk
2019FIEA Coding/Programming Academy for 6th-Grade Females to Increase Knowledge and Interest in Computer Science.Sujing Wang, Stefan Andrei, Otilia Urbina, Dorothy A. Sisk
2016SYNASCResource Bounding for Non-Preemptive Task Scheduling on a Multiprocessor Platform.Vlad Radulescu, Stefan Andrei, Albert M. K. Cheng
2015SYNASCAn Improved Upper-Bound Algorithm for Non-preemptive Task Scheduling.Stefan Andrei, Albert M. K. Cheng, Vlad Radulescu
2014SYNASCA Heuristic-Based Approach for Reducing the Power Consumption of Real-Time Embedded Systems.Vlad Radulescu, Stefan Andrei, Albert M. K. Cheng
2012SYNASCToward an Optimal Power-Aware Scheduling Technique.Stefan Andrei, Albert M. K. Cheng, Vlad Radulescu, Timothy H. McNicholl
2011SYNASCEstimating the Number of Processors towards an Efficient Non-preemptive Scheduling Algorithm.Stefan Andrei, Albert M. K. Cheng, Vlad Radulescu
2010RTCSAOptimal Scheduling of Urgent Preemptive Tasks.Stefan Andrei, Albert Mo Kim Cheng, Martin C. Rinard, Lawrence J. Osborne
2010SYNASCAn Efficient Scheduling Algorithm for the Multiprocessor Platform.Stefan Andrei, Albert M. K. Cheng, Gheorghe Grigoras, Vlad Radulescu
2009IWCMCUtilizing semantic caching in ubiquitous environment.S. Kami Makki, Stefan Andrei
2009SYNASCA Hierarchy of Tractable Subclasses for SAT and Counting SAT Problems.Stefan Andrei, Gheorghe Grigoras, Martin C. Rinard, Roland H. C. Yap
2008SYNASCTermination Analysis by Program Inversion.Stefan Andrei
2008SYNASCOptimizing Automotive Cyber-Physical System Specifications with Multi-Event Dependencies.Stefan Andrei, Albert Mo Kim Cheng
2007RTSSVerifying Linear Real-Time Logic Specifications.Stefan Andrei, Albert M. K. Cheng
2007SYNASCPath-Constrained Relaxed Schedulability Analysis.Stefan Andrei, Samarjit Chakraborty
2007SYNASCApproximate Satisfiability Counting.Stefan Andrei, Gabriel Manolache, Roland H. C. Yap, Victor Felea
2007SYNASCPEARLS: An Integrated Environment for Task Scheduling.Nilam Chand, Bindiya Mansharamani, Rafael Romero, Will Beazley, Stefan Andrei
2006EUCCo-optimization of Performance and Power in a Superscalar Processor Design.Yongxin Zhu, Weng-Fai Wong, Stefan Andrei
2006PEPMProgram transformation by solving recurrences.Beatrice Luca, Stefan Andrei, Hugh Anderson, Siau-Cheng Khoo
2006RTSSFaster Verification of RTL-Specified Systems via Decomposition and Constraint Extension.Stefan Andrei, Albert Mo Kim Cheng
2006RTCSAOptimization of Real-Time Systems Timing Specifications.Stefan Andrei, Albert Mo Kim Cheng
2006SYNASCIncremental Deterministic Planning.Stefan Andrei, Wei-Ngan Chin, Martin C. Rinard
2005APLASCalculating Polynomial Runtime Properties.Hugh Anderson, Siau-Cheng Khoo, Stefan Andrei, Beatrice Luca
2005ASPDACAn integrated performance and power model for superscalar processor designs.Yongxin Zhu, Weng-Fai Wong, Stefan Andrei
2005RTASSystematic Debugging of Real-Time Systems based on Incremental Satisfiability Counting.Stefan Andrei, Albert Mo Kim Cheng, Wei-Ngan Chin, Mihai Lupu
2005RTCSARuntime-Coordinated Scalable Incremental Checksum Testing of Combinational Circuits.Stefan Andrei, Wei-Ngan Chin, Albert Mo Kim Cheng, Yongxin Zhu
2004RTASIncremental Satisfiability Counting for Real-Time Systems.Stefan Andrei, Wei-Ngan Chin
1999DLTBidirectional parsing for linear languages.Stefan Andrei, Manfred Kudlek