Publications

Sort by: Author Type Year
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

N

Narayan, A., N. Benann, and S. Fischmeister, "Mining Specifications using Nested Words", Proceedings of the 6th International Workshop on Software Mining, Urbana-Champaign, USA, 2017. PDF icon [paper] (398.65 KB)
Narayan, A., S. Kauffman, J. Morgan, G. Martin Tchamgoue, Y. Joshi, S. Fischmeister, and C. Hobbs, "System Call Logs with Natural Random Faults: Experimental Design and Application", Silicon Errors in Logic -- System Effects (SELSE), Boston, USA, 2017. PDF icon [pdf] (251.78 KB)
Narayan, A., G. Cutulenco, Y. Joshi, and S. Fischmeister, "Mining Timed Regular Specifications from System Traces", ACM Transactions on Embedded Computing Systems, vol. 17, issue 2, 2018. PDF icon [paper] (611.3 KB)
Navabpour, S., Y. Joshi, C. Wah Wallace, S. Berkovich, R. Medhat, B. Bonakdarpour, and S. Fischmeister, "RiTHM: A Tool for Enabling Time-triggered Runtime Verification for C Programs", Proc. of the ACM Symposium on the Foundations of Software Engineering (FSE), St. Petersburg, Russia, 2013.
Navabpour, S., B. Bonakdarpour, and S. Fischmeister, "Path-aware Time-triggered Runtime Verification", Third International Conference on Runtime Verification (RV), Istanbul, Turkey, pp. 199-213, September, 2012. PDF icon [paper] (509.83 KB)
Navabpour, S., C. Wah Wallac Wu, B. Bonakdarpour, and S. Fischmeister, "Efficient Techniques for Near-optimal Instrumentation in Time-triggered Runtime Verification", Proc. of the 2nd International Conference on Runtime Verification (RV), San Francisco, USA, pp. 208-222, September, 2011. PDF icon [paper] (433.08 KB)
Navabpour, S., B. Bonakdarpour, and S. Fischmeister, "Optimal Instrumentation of Data-flow in Concurrent Data Structures", Proc. of the 15th International Conference On Principles Of Distributed Systems (OPODIS), Toulouse, France, pp. 497-512, December, 2011. PDF icon [paper] (417.18 KB)
Navabpour, S., B. Bonakdarpour, and S. Fischmeister, "Software Debugging and Testing using the Abstract Diagnosis Theory", Proc. of the ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems (LCTES), Chicago, USA, pp. 111-120, April, 2011. PDF icon [paper] (186.14 KB)
Newsham, Z., A. Oliveira, JC. Petkovich, A. Rehman, G.M. Tchamgoue, and S. Fischmeister, "Intersert: Assertions on Distributed Process Interaction Sessions", IEEE International Conference on Software Quality, Reliability & Security (QRS), Prague, Czech Republic, 2017. PDF icon [pdf] (515.11 KB)
Newsham, Z., VI. Ganesh, and S. Fischmeister, "Predicting SAT Solver Performance on Heterogeneous Hardware", Proceedings of the Workshop on the Pragmatics of SAT at the International Conference on Theory and Applications of Satisfiability Testing (SAT), Austin, USA, 2015. PDF icon [pdf] (484.14 KB)
Newsham, Z., W. Lindsay, VI. Ganesh, J. Hui Liang, S. Fischmeister, and K. Czarnecki, "SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers", International Conference on Theory and Applications of Satisfiability Testing (SAT), Austin, USA, Springer, 62 - 70, 2015. PDF icon [pdf] (2.17 MB)
Newsham, Z., VI. Ganesh, S. Fischmeister, G. Audemard, and L. Simon, "Impact of Community Structure on SAT Solver Performance", 17th International Conference on Theory and Applications of Satisfiability Testing (SAT), Vienna, Austria, pp. 252-268, 2014. PDF icon [paper] (1.66 MB)

(best student paper award)

Publications search

Opportunities

Looking for motivated students (undergrads and grads) interested in working on embedded software and systems research. Mail Sebastian Fischmeister for further information.