We have a habit in writing articles published in scientific journals to make the work as finished as possible, to cover up all the tracks, to not worry about the blind alleys or describe how you had the wrong idea first, and so on. So there isn’t any place to publish, in a dignified manner, what you actually did in order to get to do the work.
— Richard Philips Feynman (1918 – 1988) Nobel Lecture, 1966.
- Stefan Edelkamp, Shahid Jabbar, and Peter Kissman. Scaling Search with Symbolic Abstraction Databases. In European conference on AI (ECAI) workshop on Model checking and artificial intelligence (MoChArt’08) Patras, Greece. Revised Selected and Invited Papers by Peled and Wooldridge (Eds.), LNCS, vol. 5348, pages 49–64, Springer, 2009.
- Stefan Edelkamp, Shahid Jabbar, Dino Midzic, Daniel Rikowski, and Damian Sulewski. External Memory Search for Verification of Multi-threaded C++ Programs. Kuenstliche Intelligenz (German Journal on Artificial Intelligence), volume 12, number 2, May 2008.
- Stefan Edelkamp and Shahid Jabbar. Disk-based Search. In Encyclopedia of Artificial Intelligence by Juan R. Rabunal, Julian Dorado and Alejandro Pazos (Eds.), Idea Group Reference, May 2008.
- Stefan Edelkamp, Shahid Jabbar, and Damian Sulewski. Distributed verification of multi-threaded C++ programs. In Electronic Notes in Theoretical Computer Science (ENTCS), volume 198, number 1, pages 33–46, Elsevier Publishings, Feb. 2008. Post-proceedings of International Workshop on Parallel and Distributed Methods in Verification (PDMC) by Cerna and Haverkort (Eds.), Berlin, Germany. July 2007.
- Maik Drodzynski, Stefan Edelkamp, Andreas Gaubatz, Shahid Jabbar, and Miguel Liebe. On Constructing a Base Map for Collaborative Map Generation and its Application in Urban Mobility Planning. In 10th International IEEE Conference on Intelligent Transportation Systems, pages 678-683, IEEE Press, Seattle, Washington, USA, Oct. 2007. Presentation Slides
- Stefan Edelkamp, Shahid Jabbar, and Blai Bonet. External Memory Value Iteration. In International Conference on Automated Planning and Scheduling, pages 128-135, Providence, Rhode Island, USA, Sept. 2007. Presentation Slides
- Stefan Edelkamp and Shahid Jabbar, Real-Time Model Checking on Secondary Storage. In International Workshop on Model Checking and Artificial Intelligence (MoChArt’06). Riva Del Garda, Italy. Revised Selected and Invited Papers. Lecture Notes in Computer Science (LNCS), volume 4428, pages 67-83, Springer, 2007. Presentation Slides
- Stefan Edelkamp, Shahid Jabbar, and Blai Bonet. External Memory Value Iteration Technical Report, 813, University of Dortmund, April 2007.
- Stefan Edelkamp and Shahid Jabbar. Pushing the Limits for Planning Pattern Databases Technical Report, 819, University of Dortmund, April 2007.
- Shahid Jabbar, External Directed Model Checking, Dissertation Summary. In Kuenstliche Intelligenz (German Journal on Artificial Intelligence), vol. 11, no. 1, pages 37–38, 2007.
- Stefan Edelkamp, Shahid Jabbar, and Alberto Lluch-Lafuente, Heuristic Search for the Analysis of Graph Transition Systems. In International Conference on Graph Transformation (ICGT) by A. Corradini, H. Ehrig, U. Montanari, L. Ribeiro, and G. Rozenberg (Eds.). Lecture Notes in Computer Science (LNCS), volume 4178, pages 414-429, Springer, Natal, Brazil, Sept. 2006.
- Stefan Edelkamp and Shahid Jabbar, Action Planning for Directed Model Checking of Petri Nets, in Electronic Notes in Theoretical Computer Science (ENTCS), volume 149, number 2, pages 3-18, Elsevier Publishings, 2006. Publisher’s version, Download MoChArt’05 Version. Presentation Slides from MoChArt’05
- Stefan Edelkamp and Shahid Jabbar, Cost-Optimal External Planning. In 21st National (American) Conference on Artificial Intelligence (AAAI), pages 821-826, AAAI Press, Boston, MA, USA, July 2006.
- Stefan Edelkamp and Shahid Jabbar, Large Scale Directed Model Checking LTL. In 13th International SPIN Workshop on Model Checking of Software (SPIN) by Valmari (Ed.). Lecture Notes in Computer Science (LNCS), volume 3925, pages 1-18, Springer, Vienna, Austria, Mar. 2006. Presentation Slides.
- Shahid Jabbar and Stefan Edelkamp, Parallel External Directed Model Checking With Linear I/O. In Verification, Model Checking and Abstract Interpretation (VMCAI’06) by E. A. Emerson and K. S. Namjoshi (Eds.). Lecture Notes in Computer Science (LNCS), volume 3855, pages 237-251, Springer, Charleston, South Carolina, USA, Jan. 2006. Presentation Slides.
- Stefan Edelkamp, Shahid Jabbar, Dino Midzic, Daniel Rikowski, and Damian Sulewski, External Program Model Checking. In KI’06 (German Conference on AI) Workshop on New Results in Planning, Scheduling and Design (PuK’06), Bremen, Germany, June 2006.
- Stefan Edelkamp, Shahid Jabbar, and Mohammed Nazih, Cost-Optimal Planning with Constraints and Preferences in Large State Spaces. In ICAPS’06 (International Conference on Automated Planning and Scheduling) Workshop on Preferences and Soft Constraints in Planning, The English Lake District, Cumbria, U.K, June 2006.
- Stefan Edelkamp, Shahid Jabbar, and Thomas Willhalm, Geometric Travel Planning , in IEEE Transactions on Intelligent Transportation Systems, Volume 6, Number 1, pages 5-16, 2005. IEEE Xplore
- René Büntrup, Stefan Edelkamp, Shahid Jabbar, Björn Scholz, Incremental Map Generation with GPS Traces. 8th International IEEE Conference on Intelligent Transportation Systems, Vienna, Austria, Sept. 2005. IEEE Xplore
- Stefan Edelkamp, Shahid Jabbar, Alberto Lluch-Lafuente, Cost-Algebraic Heuristic Search. In Twentieth National Conference on Artificial Intelligence (AAAI), pages 1362-1367, AAAI Press. Pittsburgh, PA, USA, 2005. Presentation Slides.
- Shahid Jabbar, Stefan Edelkamp, I/O Efficient Directed Model Checking. In 6th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI) by Cousot(Ed.). Lecture Notes in Computer Science (LNCS), volume 3385, Springer-Verlag, pages 313-329, Paris, France, 2005. Presentation Slides.
- Stefan Edelkamp and Shahid Jabbar, Accelerating External Search with Bitstate Hashing. In KI’05 (German Conference on AI) 19th Workshop on New Results in Planning, Scheduling and Design, Koblenz, Germany, 2005. Presentation Slides
- Stefan Edelkamp, Shahid Jabbar, and Alberto Lluch-Lafuente, Action Planning for Graph Transition Systems. In ICAPS’05 Workshop on Verification and Validation of Model-Based Planning and Scheduling Systems. Monterey, CA, USA, June 2005. Presentation Slides.
- Stefan Edelkamp, Shahid Jabbar, and Stefan Schroedl, External A*. In KI 2004: Advances in Artificial Intelligence (27th German Conference on AI) by Biundo et. al (eds.). Lecture Notes in Artificial Intelligence (LNAI) volume 3238, pages 226-240, Springer-Verlag, Ulm, Germany, 2004. Presentation Slides.
- Stefan Edelkamp, Shahid Jabbar, and Stefan Schroedl. External A* Technical Report, 785, University of Dortmund, 2004.
- Heiner Ackermann, Mohamed Bettahi, Rene’ Buentrup, Maik Drozdzynski, Stefan Edelkamp, Vanessa Faber, Andreas Gaubatz,
Thomas Haertel, Seung-Jun Hong, Shahid Jabbar, Miguel Liebe, Tilman Mehler, Anne Scheidler, Bjoern Schulz und Feng Wang, On-Line Navigation in GPS-Route. 18. Workshop on New Results in Planning, Scheduling and Design, Ulm, Germany, 2004.
- Shahid Jabbar. GPS-based Navigation in Static and Dynamic Environments. Masters Thesis, Institut fuer Informatik, Universitaet Freiburg, 2003. Supervisor: PD Dr. Stefan Edelkamp. Co-Supervisor:Prof. Dr. Thomas Ottmann. Presentation Slides.
- Stefan Edelkamp, Shahid Jabbar, and Thomas Willhalm. Geometric Travel Planning. In Proceedings of IEEE International Conference on Intelligent Transportation Systems (ITSC), volume 2, pages 964 – 969, Shanghai, China, 2003. Presentation Slides. IEEE Xplore
- Stefan Edelkamp, Shahid Jabbar, and Thomas Willhalm. Accelerating Heuristic Search in Spatial Domains. 17. Workshop on New Results in Planning, Scheduling and Design, Hamburg, Germany, 2003.
- Shahid Jabbar, Abbas K. Zaidi, Generalized Methodology and Framework for the Validation and Verification of Multi-agent Systems. In Proceedings of IEEE SMC Conference, volume 2, pages 835 – 840, Tuscon, AZ, USA, Oct 2001. IEEE Xplore
- Abbas K. Zaidi, Shahid Jabbar, and Khalid J. Siddiqui, On a Utility for the Validation and Verification of Knowledge Bases of Intelligent Agents. In Proceedings of Photonics East, Boston, MA, USA, Nov 2000.
- Shahid Jabbar. On a utility for the validation and verification of knowledge bases of intelligent agents. BS Thesis, Department of Electrical Engineering and Computer Science, Mohammad Ali Jinnah University, Karachi, Pakistan, 1999.
2009
2008
2007
2006
2005
2004
2003
<= 2002
Tools
- StEAM — Model checker for C++ programs
- MIPS-XXL — Planner for PDDL 3 (Distinguished Performance Award in Fifth International Planning Competition (IPC-5)
IEEE Copyright Notice
Disclaimer: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author’s copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
IEEE material: Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.