Fischmeister, S., & Azim, A. (2010). Design Choices for High-Confidence Distributed Real-time Software Proc. Of the International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA), 327-342. Heraclion, Crete, Greece. https://doi.org/10.1007/978-3-642-16561-0_32 (Original work published 2025)
Reference author: Akramul Azim
First name
Akramul
Last name
Azim
Potop-Butucaru, D., Azim, A., & Fischmeister, S. (2010). Semantics-Preserving Implementation of Synchronous Specifications Over Dynamic TDMA Distributed Architectures Proc. Of the International Conference on Embedded Software (EMSOFT), 199-208. Scottsdale, Arizona, USA. https://doi.org/10.1145/1879021.1879048 (Original work published 2025)
Azim, A., & Fischmeister, S. (2011). Resolving State Inconsistency in Distributed Fault-Tolerant Real-Time Dynamic TDMA Architectures Proc. Of the 16th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 1-9. Toulouse, France. https://doi.org/10.1109/ETFA.2011.6059022 (Original work published 2025)
Azim, A., & Fischmeister, S. (2016). Efficient mode changes in multi-mode systems International Conference on Computer Design (ICCD), 592-599. https://doi.org/10.1109/ICCD.2016.7753345
Azim, A., Pellizzoni, R., & Fischmeister, S. (2015). Generation of Communication Schedules Using Component Interfaces Presented at the Proc. Of the International Conference on Emerging Technologies and Factory Automation (ETFA) conference. Luxembourg.
Oliveira, A., Azim, A., Fischmeister, S., Marau, R., & Almeida, L. (2014). D-RES: Correct Transitive Distributed Service Sharing Presented at the Proc. Of the Work-in-Progress Session of the Conference on Emerging Technologies and Factory Automation (ETFA), Work in Progress conference. Barcelona, Spain.
Chen, X., Azim, A., Liu, X., Fischmeister, S., & Ma, J. (2014). DTS: Dynamic TDMA Scheduling for Networked Control Systems Journal of Systems Architecture, 194-205. https://doi.org/10.1016/j.sysarc.2013.10.012
Azim, A., Carvajal, G., Pellizzoni, R., & Fischmeister, S. (2014). Generation of Communication Schedules for Multi-Mode Distributed Real-Time Applications Proceedings of Design, Automation and Test in Europe (DATE), 1-6. Grenoble, France. (Original work published 2025)
Azim, A., Sundaram, S., & Fischmeister, S. (2013). An Efficient Periodic Resource Supply Model for Workloads with Transient Overloads Proc. Of the Euromicro Conference on Real-Time Systems (ECRTS), 249-258. Paris, France. https://doi.org/10.1109/ECRTS.2013.34 (Original work published 2025)
Chen, X., Azim, A., Liu, X., & Fischmeister, S. (2012). CSS: Conditional State-Based Scheduling for Networked Control Systems International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), 78-87. Seoul, Korea. https://doi.org/10.1109/RTCSA.2012.13