I am the Director of Real-Time Embedded Systems Laboratory of Computer Science Department, Lamar University, since 2007.
I am currently conducting research in the following areas of interest:
- Verification, debugging and optimization techniques for real-time embedded systems;
- Scheduling analysis for multi-processor platforms for real-time embedded systems;
- Software engineering and translation systems.
Some recent projects:
21. Solar Project: Energy Maximization and a Business Model
20. Assembling, implementing and testing the RobotShop rover
19. Assembling the Ultimaker 3D printer and designing 3D-printed artifacts
18. An implementation of a scheduling algorithm for non-preemptive independent tasks on a multi-processor platform
17. An Avatar-based Virtual Campus of Lamar University
16. The A4WD1 Rover Implementation and Testing
15. An Implementation of a Parallel Bidirectional Parsing Algorithm
14. Implementation and Variations of an Efficient Scheduling Algorithm for Non-Preemptive Independent Multiprocessor Tasks
13. Applications for scheduling problem using Tornado environment from Wind River
12. Lamar University Signing Avatar (LUSA)
11. Johnny 5 Robot Implementation and Testing
10. Minihex Robot Implementation and Testing
9. SATWP - Counting SAT-based Weighted Planning
8. PEARLS - Pliable Earliest Deadline First, Rate Monotonic, Least Laxity Scheduler
7. ARTAPI - Runtime and Termination Analysis by Program
Inversion
6. OPRATEL - Optimization of Real-Time Systems Timing
Specifications
5. LOBACS - LOwer Bound Approximation Counting Satisfiability
4. COFOR - COunting for k-Fold Related formulas
3. ECFCC - Expected Checksum based on Frames for Communication Circuits
2. SDRTL - Systematic Debugging for path Real Time Logic
1. STACC - STAtistical Contract Checker
top
Stefan Andrei
2022 © Lamar University;