# Stefan Andrei

According to our database

^{1}, Stefan Andrei## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### Homepage:

#### On csauthors.net:

## Bibliography

2016

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

SIGBED Review, 2016

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

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.

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.

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.

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

2012

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

IJGUC, 2012

Toward an Optimal Power-Aware Scheduling Technique.

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.

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.

Proceedings of the ICEIS 2011, 2011

2010

An Efficient Scheduling Algorithm for the Multiprocessor Platform.

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

Optimal Scheduling of Urgent Preemptive Tasks.

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.

IEEE Trans. Computers, 2009

A rigorous methodology for specification and verification of business processes.

Formal Asp. Comput., 2009

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

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

Utilizing semantic caching in ubiquitous environment.

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

Parallel Parsing-Based Reverse Engineering.

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.

Proceedings of the SYNASC 2008, 2008

Termination Analysis by Program Inversion.

Proceedings of the SYNASC 2008, 2008

SAT-based Weighted Planning.

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

2007

PEARLS: An Integrated Environment for Task Scheduling.

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

Approximate Satisfiability Counting.

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

Path-Constrained Relaxed Schedulability Analysis.

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

Verifying Linear Real-Time Logic Specifications.

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

2006

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

IEEE Trans. Computers, 2006

Incremental Deterministic Planning.

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.

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

Optimization of Real-Time Systems Timing Specifications.

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

Program transformation by solving recurrences.

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.

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

2005

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

Sci. Ann. Cuza Univ., 2005

Runtime-Coordinated Scalable Incremental Checksum Testing of Combinational Circuits.

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.

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.

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

Calculating Polynomial Runtime Properties.

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

2004

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

J. Symb. Comput., 2004

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

Sci. Ann. Cuza Univ., 2004

Counting for Satisfiability by Inverting Resolution.

Artif. Intell. Rev., 2004

Self-embedded context-free grammars with regular counterparts.

Acta Inf., 2004

Incremental Satisfiability Counting for Real-Time Systems.

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.

Theor. Comput. Sci., 2003

2002

A Tutorial on a Monadic Approach for Expressions Evaluation.

Sci. Ann. Cuza Univ., 2002

2001

On the Complexity of Propositional Calculus Formulae.

Sci. Ann. Cuza Univ., 2001

Bidirectional Ascendant Parsing for Natural Language Processing.

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

2000

Bidirectional parsing.

PhD thesis, 2000

Some results on the Collatz problem.

Acta Inf., 2000

1999

Weak Equivalence in Propositional Calculus.

ESSLLI Student Papers, 1999

Bidirectional parsing for linear languages.

Proceedings of the Developments in Language Theory, 1999

1998

About the Collatz Conjecture.

Acta Inf., 1998

1996

Morphological Grammars.

Sci. Ann. Cuza Univ., 1996

1995

Finding keys in particular classes of functional dependencies.

Sci. Ann. Cuza Univ., 1995