jpf-concurrent: An extension of Java PathFinder for java.util.concurrent - Mateusz Ujma; Nastaran Shafiei (CoRR, 2012)

Tools to generate and check consistency of model classes for Java PathFinder. - Matteo Ceccarello; Nastaran Shafiei (ACM SIGSOFT Softw. Eng. Notes, 2012)

Modeling class loaders in Java PathFinder version 7. - Nastaran Shafiei; Peter C. Mehlitz (ACM SIGSOFT Softw. Eng. Notes, 2012)

JST: an automatic test generation tool for industrial Java applications with strings. - Indradeep Ghosh; Nastaran Shafiei; Guodong Li; Wei-Fan Chiang (ICSE, 2013)

Towards model checking of computer games with Java PathFinder. - Nastaran Shafiei; Franck van Breugel (GAS@ICSE, 2013)

Automatic handling of native methods in Java PathFinder. - Nastaran Shafiei; Franck van Breugel (SPIN, 2014)

Extending JPF to verify distributed systems. - Nastaran Shafiei; Peter C. Mehlitz (ACM SIGSOFT Softw. Eng. Notes, 2014)

Towards Exhaustive Testing of Websites using JPF. - Sarvesh Nagarajan; Nastaran Shafiei; Sarfraz Khurshid (ACM SIGSOFT Softw. Eng. Notes, 2016)

Actor-Based Runtime Verification with MESA. - Nastaran Shafiei; Klaus Havelund; Peter C. Mehlitz (RV, 2020)

Concurrent runtime verification of data rich events. - Nastaran Shafiei; Klaus Havelund; Peter C. Mehlitz (Int. J. Softw. Tools Technol. Transf., 2023)

Smoke or cloud: Real-time satellite image segmentation in a wildfire data integration application. - Sequoia R. Andrade; Nastaran Shafiei; Peter C. Mehlitz (Comput. Geosci., 2025)