Stefan Andrei - RankMe

65 papers A 5B 6C 9Misc 16Journal 19Unranked 9

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