Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Stefan Andrei
2010 – today
- 2012
[j16]Stefan Andrei, Albert M. K. Cheng, Gheorghe Grigoras, Vlad Radulescu: An efficient scheduling algorithm for the non-preemptive independent multiprocessor platform. IJGUC 3(4): 215-223 (2012)- [c28]Stefan Andrei, Albert M. K. Cheng, Vlad Radulescu, Timothy McNicholl: Toward an Optimal Power-Aware Scheduling Technique. SYNASC 2012: 135-142
- 2011
- [c27]S. Kami Makki, Stefan Andrei, Yanwen Guan, Mattie Sue Judd: Performance Evaluation of Query Trimming Strategies in Semantic Caching Environment. ICEIS (1) 2011: 169-176
- [c26]Stefan Andrei, Albert M. K. Cheng, Vlad Radulescu: Estimating the Number of Processors towards an Efficient Non-preemptive Scheduling Algorithm. SYNASC 2011: 93-100
- 2010
- [c25]Stefan Andrei, Albert Mo Kim Cheng, Martin C. Rinard, Lawrence Osborne: Optimal Scheduling of Urgent Preemptive Tasks. RTCSA 2010: 377-386
- [c24]Stefan Andrei, Albert M. K. Cheng, Gheorghe Grigoras, Vlad Radulescu: An Efficient Scheduling Algorithm for the Multiprocessor Platform. SYNASC 2010: 245-252
2000 – 2009
- 2009
- [j15]Cristian Masalagiu, Wei-Ngan Chin, Stefan Andrei, Vasile Alaiba: A rigorous methodology for specification and verification of business processes. Formal Asp. Comput. 21(5): 495-510 (2009)
- [j14]Stefan Andrei, Albert Mo Kim Cheng: Efficient Verification and Optimization of Real-Time Logic-Specified Systems. IEEE Trans. Computers 58(12): 1640-1653 (2009)
- [c23]
- [c22]S. Kami Makki, Stefan Andrei: Utilizing semantic caching in ubiquitous environment. IWCMC 2009: 1213-1217
- [c21]Stefan Andrei, Gheorghe Grigoras, Martin C. Rinard, Roland H. C. Yap: A Hierarchy of Tractable Subclasses for SAT and Counting SAT Problems. SYNASC 2009: 61-68
- 2008
- [c20]
- [c19]
- [c18]Stefan Andrei, Albert Mo Kim Cheng: Optimizing Automotive Cyber-Physical System Specifications with Multi-Event Dependencies. SYNASC 2008: 475-479
- 2007
- [c17]Stefan Andrei, Albert M. K. Cheng: Verifying Linear Real-Time Logic Specifications. RTSS 2007: 333-342
- [c16]Stefan Andrei, Gabriel Manolache, Roland H. C. Yap, Victor Felea: Approximate Satisfiability Counting. SYNASC 2007: 196-202
- [c15]Nilam Chand, Bindiya Mansharamani, Rafael Romero, Will Beazley, Stefan Andrei: PEARLS: An Integrated Environment for Task Scheduling. SYNASC 2007: 467-473
- [c14]Stefan Andrei, Samarjit Chakraborty: Path-Constrained Relaxed Schedulability Analysis. SYNASC 2007: 474-482
- 2006
- [j13]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): 830-842 (2006)
- [c13]Yongxin Zhu, Weng-Fai Wong, Stefan Andrei: Co-optimization of Performance and Power in a Superscalar Processor Design. EUC Workshops 2006: 868-878
- [c12]Beatrice Luca, Stefan Andrei, Hugh Anderson, Siau-Cheng Khoo: Program transformation by solving recurrences. PEPM 2006: 121-129
- [c11]Stefan Andrei, Albert Mo Kim Cheng: Optimization of Real-Time Systems Timing Specifications. RTCSA 2006: 68-76
- [c10]Stefan Andrei, Albert Mo Kim Cheng: Faster Verification of RTL-Specified Systems via Decomposition and Constraint Extension. RTSS 2006: 67-76
- [c9]Stefan Andrei, Wei-Ngan Chin, Martin C. Rinard: Incremental Deterministic Planning. SYNASC 2006: 93-102
- 2005
- [j12]Mihaela Brut, Stefan Andrei: Authoring and Retrieving Tool for Multimedia E-Learning Tutorials using XML Techniques. Sci. Ann. Cuza Univ. 15: 153-160 (2005)
- [c8]Hugh Anderson, Siau-Cheng Khoo, Stefan Andrei, Beatrice Luca: Calculating Polynomial Runtime Properties. APLAS 2005: 230-246
- [c7]Yongxin Zhu, Weng-Fai Wong, Stefan Andrei: An integrated performance and power model for superscalar processor designs. ASP-DAC 2005: 948-951
- [c6]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: 519-528
- [c5]Stefan Andrei, Wei-Ngan Chin, Albert Mo Kim Cheng, Yongxin Zhu: Runtime-Coordinated Scalable Incremental Checksum Testing of Combinational Circuits. RTCSA 2005: 357-360
- 2004
- [j11]Stefan Andrei, Wei-Ngan Chin, Salvador Valerio Cavadini: Self-embedded context-free grammars with regular counterparts. Acta Inf. 40(5): 349-365 (2004)
- [j10]Stefan Andrei: Counting for Satisfiability by Inverting Resolution. Artif. Intell. Rev. 22(4): 339-366 (2004)
- [j9]Stefan Andrei, Wei-Ngan Chin, Gheorghe Grigoras: Co-determinism and unambiguity of automata accepting finite or infinite words. Sci. Ann. Cuza Univ. 14: 1-11 (2004)
- [j8]Stefan Andrei, Wei-Ngan Chin: Solving a class of higher-order equations over a group structure. J. Symb. Comput. 37(3): 329-341 (2004)
- [c4]Stefan Andrei, Wei-Ngan Chin: Incremental Satisfiability Counting for Real-Time Systems. IEEE Real-Time and Embedded Technology and Applications Symposium 2004: 482-489
- 2003
- [j7]Stefan Andrei, Salvador Valerio Cavadini, Wei-Ngan Chin: A new algorithm for regularizing one-letter context-free grammars. Theor. Comput. Sci. 306(1-3): 113-122 (2003)
- 2002
- [j6]Stefan Andrei, Wei-Ngan Chin, Gheorghe Grigoras: A Tutorial on a Monadic Approach for Expressions Evaluation. Sci. Ann. Cuza Univ. 12: 1-27 (2002)
- 2001
- [j5]Stefan Andrei, Gheorghe Grigoras, Manfred Kudlek, Cristian Masalagiu: On the Complexity of Propositional Calculus Formulae. Sci. Ann. Cuza Univ. 10: 27-44 (2001)
- [c3]
- 2000
- [j4]Stefan Andrei, Manfred Kudlek, Radu Stefan Niculescu: Some results on the Collatz problem. Acta Inf. 37(2): 145-160 (2000)
1990 – 1999
- 1999
- [c2]Stefan Andrei, Manfred Kudlek: Bidirectional parsing for linear languages. Developments in Language Theory 1999: 257-269
- [c1]
- 1998
- [j3]
- 1996
- [j2]
- 1995
- [j1]Stefan Andrei: Finding keys in particular classes of functional dependencies. Sci. Ann. Cuza Univ. 4: 5-12 (1995)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-04-21 22:03 CEST by the dblp team