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
Publications
Filter by:
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
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
Moreno, C. ., & Fischmeister, S. . (2016). Non-Intrusive Runtime Monitoring Through Power Consumption: A Signals and System Analysis Approach to Reconstruct the Trace. Proc. Of the International Conference on Runtime Verification (RV). Presented at the. Madrid, Spain.
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
Salem, M. ., Crowley, M. ., & Fischmeister, S. . (2016). Anomaly Detection Using Inter-Arrival Curves for Real-time Systems. International Euromicro Conference on Real-Time Systems (ECRTS). Presented at the. Toulouse, France.
Kauffman, S. ., Moreno, C. ., & Fischmeister, S. . (2016). Static Transformation of Power Consumption for Software Attestation. IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA). Presented at the. Daegu, South Korea.
Blackburn, S. M., Diwan, A. ., Hauswirth, M. ., Sweeney, P. ., Amaral, J. N., Brecht, T. ., Bulej, L. ., Click, C. ., Eeckhout, L. ., Fischmeister, S. ., Frampton, D. ., Hendren, L. ., Hind, M. ., Hosking, A. ., Jones, R. ., Kalibera, T. ., Keynes, N. ., Nystrom, N. ., & 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
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
Newsham, Z. ., Lindsay, W. ., Ganesh, V. ., Liang, J. H., Fischmeister, S. ., & Czarnecki, K. . (2015). SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers. International Conference on Theory and Applications of Satisfiability Testing (SAT). Presented at the. Austin, USA: Springer. https://doi.org/10.1007/978-3-319-24318-4_6 (Original work published)