10 papers:
CASE-2015-KimCDZF #distributed #flexibility- DisCoF+: Asynchronous DisCoF with flexible decoupling for cooperative pathfinding in distributed systems (KK, JC, WD, YZ, GEF), pp. 369–376.
HILT-2014-RathjeR #framework #java #model checking #network #source code- A framework for model checking UDP network programs with Java pathfinder (WR, BR), pp. 81–86.
ICSE-2013-FilieriPV #analysis #reliability- Reliability analysis in symbolic pathfinder (AF, CSP, WV), pp. 622–631.
FASE-2009-GiannakopoulouP #composition #generative #interface #verification- Interface Generation and Compositional Verification in JavaPathfinder (DG, CSP), pp. 94–108.
CHI-2009-LutherCSHJ #collaboration #named #online- Pathfinder: an online collaboration environment for citizen scientists (KL, SC, KBS, AH, PJ), pp. 239–248.
DAC-2008-NowakCCR #design- Holistic pathfinding: virtual wireless chip design for advanced technology and design exploration (MN, JC, CC, RR), p. 593.
- ICSE-2008-GveroGL #java
- State extensions for java pathfinder (TG, MG, SL, Md, DM, SK), pp. 863–866.
SIGMOD-2007-GrustMRST #code generation #compilation #sql #xquery- A SQL: 1999 code generator for the pathfinder xquery compiler (TG, MM, JR, SS, JT), pp. 1162–1164.
VLDB-2005-BonczGKMRT #named #relational #xquery- Pathfinder: XQuery — The Relational Way (PAB, TG, MvK, SM, JR, JT), pp. 1322–1325.
ICPR-v1-2000-GagaudakisRC #database #image #network #using #visualisation- Using CBIR and Pathfinder Networks for Image Database Visualization (GG, PLR, CC), pp. 5052–5055.
