Carvajal, G., Araneda, L., Wolf, A., Figueroa, M., & Fischmeister, S. (2016). Integrating Dynamic-TDMA Communication Channels into COTS Ethernet Networks IEEE Transactions on Industrial Informatics, 12, 1806-1816. https://doi.org/10.1109/TII.2016.2535255
References
Filter by:
2016
Cutulenco, G., Joshi, Y., Narayan, A., & Fischmeister, S. (2016). Mining Timed Regular Expressions from System Traces Proceedings of the 5th International Workshop on Software Mining, 3-10. Singapore. https://doi.org/10.1145/2975961.2975962
Medhat, R., Bonakdarpour, B., Fischmeister, S., & Joshi, Y. (2016). Accelerated Runtime Verification of LTL Specifications with Counting Semantics International Conference on Runtime Verification, 251-267. Madrid, Spain. https://doi.org/10.1007/978-3-319-46982-9_16
Kashif, H., Patel, H., & Fischmeister, S. (2016). Path Selection for Real-Time Communication on Priority-Aware NoCs ACM Transactions on Design Automation of Electronic Systems, 21, 1-25. https://doi.org/10.1145/2866572
Moreno, C., & Fischmeister, S. (2016). Non-Intrusive Runtime Monitoring Through Power Consumption: A Signals and System Analysis Approach to Reconstruct the Trace Presented at the Proc. Of the International Conference on Runtime Verification (RV) conference. Madrid, Spain.
Salem, M., Crowley, M., & Fischmeister, S. (2016). Anomaly Detection Using Inter-Arrival Curves for Real-time Systems Presented at the International Euromicro Conference on Real-Time Systems (ECRTS) conference. Toulouse, France.
Blackburn, S. M., Diwan, A., Hauswirth, M., Sweeney, P., Amaral, J. N., Brecht, T., … Zeller, A. (2016). The Truth, The Whole Truth, and Nothing But the Truth: A Pragmatic Guide to Assessing Empirical Evaluations ACM Transactions on Programming Languages and Systems (TOPLAS), 38, 1-15. https://doi.org/10.1145/2983574
Kauffman, S., Moreno, C., & Fischmeister, S. (2016). Static Transformation of Power Consumption for Software Attestation Presented at the IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) conference. Daegu, South Korea.
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
2015
Newsham, Z., Lindsay, W., Ganesh, V., Liang, J. H., Fischmeister, S., & Czarnecki, K. (2015). SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers Presented at the International Conference on Theory and Applications of Satisfiability Testing (SAT) conference. Austin, USA: Springer. https://doi.org/10.1007/978-3-319-24318-4_6 (Original work published)