Nastaran Shafiei

11 papers A* 1B 1Journal 7Unranked 2
YearRankTypeTitle / Venue / Authors
2025 J jnl
Smoke or cloud: Real-time satellite image segmentation in a wildfire data integration application.
Comput. Geosci.
Sequoia R. Andrade, Nastaran Shafiei, Peter C. Mehlitz
2023 J jnl
Concurrent runtime verification of data rich events.
Int. J. Softw. Tools Technol. Transf.
Nastaran Shafiei, Klaus Havelund, Peter C. Mehlitz
2020 B conf
Actor-Based Runtime Verification with MESA.
RV
Nastaran Shafiei, Klaus Havelund, Peter C. Mehlitz
2016 J jnl
Towards Exhaustive Testing of Websites using JPF.
ACM SIGSOFT Softw. Eng. Notes
Sarvesh Nagarajan, Nastaran Shafiei, Sarfraz Khurshid
2014 — conf
Automatic handling of native methods in Java PathFinder.
SPIN
Nastaran Shafiei, Franck van Breugel
2014 J jnl
Extending JPF to verify distributed systems.
ACM SIGSOFT Softw. Eng. Notes
Nastaran Shafiei, Peter C. Mehlitz
2013 A* conf
JST: an automatic test generation tool for industrial Java applications with strings.
ICSE
Indradeep Ghosh, Nastaran Shafiei, Guodong Li, Wei-Fan Chiang
2013 — conf
Towards model checking of computer games with Java PathFinder.
GAS@ICSE
Nastaran Shafiei, Franck van Breugel
2012 J jnl
Modeling class loaders in Java PathFinder version 7.
ACM SIGSOFT Softw. Eng. Notes
Nastaran Shafiei, Peter C. Mehlitz
2012 J jnl
Tools to generate and check consistency of model classes for Java PathFinder.
ACM SIGSOFT Softw. Eng. Notes
Matteo Ceccarello, Nastaran Shafiei
2012 J jnl
jpf-concurrent: An extension of Java PathFinder for java.util.concurrent
CoRR
Mateusz Ujma, Nastaran Shafiei