by Bauer, Tim, Erwig, Martin, Fern, Alan, Pinto, Jervis
Published in Electronic proceedings in theoretical computer science (01.09.2011)

by Groce, Alex, Pinto, Jervis
Published in NASA Formal Methods (2015)

by Holmes, Josie, Groce, Alex, Pinto, Jervis, Mittal, Pranjal, Azimi, Pooria, Kellar, Kevin, O’Brien, James
Published in International journal on software tools for technology transfer (01.02.2018)

by Zhao, Yunqi, Borovikov, Igor, de Mesentier Silva, Fernando, Beirami, Ahmad, Rupert, Jason, Somers, Caedmon, Harder, Jesse, Kolen, John, Pinto, Jervis, Pourabolghasem, Reza, Pestrak, James, Chaput, Harold, Sardari, Mohsen, Lin, Long, Narravula, Sundeep, Aghdaie, Navid, Zaman, Kazi
Published in IEEE transactions on games (01.06.2020)

by Stracuzzi, David J., Fern, Alan, Ali, Kamal, Hess, Robin, Pinto, Jervis, Li, Nan, Könik, Tolga, Shapiro, Dan
Published in The AI magazine (22.06.2011)

by Borkar, Vivek S., Pinto, Jervis, Prabhu, Tarun
Published in Discrete event dynamic systems (01.03.2009)

by Pinto, Jervis
Year of Publication 06.08.2020

by Groce, A., Fern, A., Pinto, J., Bauer, T., Alipour, A., Erwig, M., Lopez, C.
Published in 2012 IEEE 23rd International Symposium on Software Reliability Engineering (01.11.2012)

by STRACUZZI, David J, FERN, Alan, ALI, Kamal, HESS, Robin, PINTO, Jervis, NAN LI, KÖNIK, Tolga, SHAPIRO, Dan
Published in The AI magazine (2011)

by Gururani, Siddharth, Gupta, Kilol, Shah, Dhaval, Shakeri, Zahra, Pinto, Jervis
Year of Publication 21.11.2019

by Shakeri, Zahra, Shah, Dhaval, Gupta, Kilol, Pinto, Jervis, Sardari, Mohsen, Aghdaie, Navid, Gururani, Siddharth, Zaman, Kazi
Year of Publication 29.08.2024

by Shakeri, Zahra, Shah, Dhaval, Gupta, Kilol, Pinto, Jervis, Sardari, Mohsen, Aghdaie, Navid, Gururani, Siddharth, Zaman, Kazi
Year of Publication 09.07.2024

by Shakeri, Zahra, Pinto, Jervis, Gupta, Kilol, Chaput, Harold, Sardari, Mohsen, Aghdaie, Navid, Moss, Kenneth
Year of Publication 17.10.2023

by Pinto, Jervis, Argyle, Daniel, Eidelman, Vladimir, Grom, Brian
Year of Publication 21.09.2021

by Shakeri, Zahra, Shah, Dhaval, Gupta, Kilol, Pinto, Jervis, Chaput, Harold, Sardari, Mohsen, Aghdaie, Navid, Zaman, Kazi
Year of Publication 14.03.2023

by WOODBURY, Ian, WOODBURY, Merron, PASUMARTHY, Srikanth, PEDDLE, Geoffrey, LIU, Michael, PINTO, Jervis
Year of Publication 14.07.2022

by Pinto, Jervis, Argyle, Daniel, Rios, Manuela, Grom, Brian, Eidelman, Vladimir
Year of Publication 06.10.2020

by WOODBURY, MERRON, LIU, MICHAEL, PEDDLE, GEOFFREY, PASUMARTHY, SRIKANTH, PINTO, JERVIS, WOODBURY, IAN
Year of Publication 12.07.2022

by Shakeri, Zahra, Shah, Dhaval, Gupta, Kilol, Pinto, Jervis, Sardari, Mohsen, Aghdaie, Navid, Gururani, Siddharth, Zaman, Kazi
Year of Publication 30.06.2022

by Groce, Alex, Fern, Alan, Erwig, Martin, Pinto, Jervis, Bauer, Tim, Alipour, Amin
Published in Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change (2012)