The Real-Time Specification for Java. Java Series, 2000. ,
Heterogeneous concurrent modeling and design in Java, 2008. ,
The semantics and execution of a synchronous block-diagram language, Science of Computer Programming, vol.48, issue.1, 2003. ,
Hierarchical finite state machines with multiple concurrency models, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.18, issue.6, pp.742-760, 1999. ,
DOI : 10.1109/43.766725
Interactive Worst-case Execution Time Analysis of Hard Real-time Systems, 2009. ,
Giotto: A timetriggered language for embedded programming, Proceedings of the IEEE, pp.84-99, 2003. ,
Comparison of implicit path enumeration and model checking based WCET analysis, Proceedings of the 9th International Workshop on Worst- Case Execution Time (WCET) Analysis, pp.23-34, 2009. ,
Synchronous data flow, Proceedings of the IEEE, pp.1235-1245, 1987. ,
DOI : 10.1109/PROC.1987.13876
Actor-Oriented Design of Embedded Hardware and Software Systems, Journal of Circuits, Systems and Computers, vol.12, issue.03, pp.231-260, 2003. ,
DOI : 10.1142/S0218126603000751
Actor-Oriented Metaprogramming, 2005. ,
A Java processor architecture for embedded real-time systems, Journal of Systems Architecture, vol.54, issue.1-2, pp.265-286, 2008. ,
DOI : 10.1016/j.sysarc.2007.06.001
Building Embedded Systems with a Java Processor. Number ISBN 978-1438239699. CreateSpace, 2009. ,
A Hardware Abstraction Layer in Java, ACM Transactions on Embedded Computing Systems, vol.10, issue.4, 2010. ,
DOI : 10.1145/2043662.2043666
Hardware Objects for Java, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC), pp.445-452, 2008. ,
DOI : 10.1109/ISORC.2008.63
Fun with a deadline instruction, 2009. ,
WCET analysis for a Java processor, Proceedings of the 4th international workshop on Java technologies for real-time and embedded systems , JTRES '06, pp.202-211, 2006. ,
DOI : 10.1145/1167999.1168033
Worstcase execution time analysis for a Java processor. Software: Practice and Experience, pp.507-542, 2010. ,
Compositionality in synchronous data flow: Modular code generation from hierarchical sdf graphs, 2010. ,
A code generation framework for actororiented models with partial evaluation, Internation Conference on Embedded Software and Systems (ICESS), volume LNCS 4523, pp.786-799, 2007. ,