BibTeX records: Andrew E. Santosa

download as .bib file

@article{DBLP:journals/corr/abs-1811-09447,
  author    = {Van{-}Thuan Pham and
               Marcel B{\"{o}}hme and
               Andrew E. Santosa and
               Alexandru Razvan Caciulescu and
               Abhik Roychoudhury},
  title     = {Smart Greybox Fuzzing},
  journal   = {CoRR},
  volume    = {abs/1811.09447},
  year      = {2018},
  url       = {http://arxiv.org/abs/1811.09447},
  archivePrefix = {arXiv},
  eprint    = {1811.09447},
  timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1811-09447},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/KakkadSFS15,
  author    = {Vasvi Kakkad and
               Andrew E. Santosa and
               Alan Fekete and
               Bernhard Scholz},
  title     = {Computing end-to-end delays in stream query processing},
  journal   = {Sci. Comput. Program.},
  volume    = {105},
  pages     = {124--144},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.scico.2015.04.003},
  doi       = {10.1016/j.scico.2015.04.003},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/scp/KakkadSFS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Santosa15,
  author    = {Andrew E. Santosa},
  title     = {Comparing Weakest Precondition and Weakest Liberal Precondition},
  journal   = {CoRR},
  volume    = {abs/1512.04013},
  year      = {2015},
  url       = {http://arxiv.org/abs/1512.04013},
  archivePrefix = {arXiv},
  eprint    = {1512.04013},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/Santosa15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spe/KakkadASFS14,
  author    = {Vasvi Kakkad and
               Saeed Attar and
               Andrew E. Santosa and
               Alan Fekete and
               Bernhard Scholz},
  title     = {Curracurrong: a stream programming environment for wireless sensor
               networks},
  journal   = {Softw., Pract. Exper.},
  volume    = {44},
  number    = {2},
  pages     = {175--199},
  year      = {2014},
  url       = {https://doi.org/10.1002/spe.2165},
  doi       = {10.1002/spe.2165},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/spe/KakkadASFS14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/GramoliS14,
  author    = {Vincent Gramoli and
               Andrew E. Santosa},
  title     = {Why inheritance anomaly is not worth solving},
  booktitle = {Proceedings of the 9th International Workshop on Implementation, Compilation,
               Optimization of Object-Oriented Languages, Programs and Systems PLE,
               ICOOOLPS@ECOOP 2014, Uppsala, Sweden, July 28, 2014},
  pages     = {6:1--6:12},
  year      = {2014},
  crossref  = {DBLP:conf/ecoop/2014icooolps},
  url       = {https://doi.org/10.1145/2633301.2633307},
  doi       = {10.1145/2633301.2633307},
  timestamp = {Tue, 06 Nov 2018 16:59:31 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ecoop/GramoliS14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/JaffarMNS12,
  author    = {Joxan Jaffar and
               Vijayaraghavan Murali and
               Jorge A. Navas and
               Andrew E. Santosa},
  title     = {{TRACER:} {A} Symbolic Execution Tool for Verification},
  booktitle = {Computer Aided Verification - 24th International Conference, {CAV}
               2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings},
  pages     = {758--766},
  year      = {2012},
  crossref  = {DBLP:conf/cav/2012},
  url       = {https://doi.org/10.1007/978-3-642-31424-7\_61},
  doi       = {10.1007/978-3-642-31424-7\_61},
  timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/JaffarMNS12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mswim/KakkadSS12,
  author    = {Vasvi Kakkad and
               Andrew E. Santosa and
               Bernhard Scholz},
  title     = {Migrating operator placement for compositional stream graphs},
  booktitle = {The 15th {ACM} International Conference on Modeling, Analysis and
               Simulation of Wireless and Mobile Systems, MSWiM '12, Paphos, Cyprus,
               October 21-25, 2012},
  pages     = {125--134},
  year      = {2012},
  crossref  = {DBLP:conf/mswim/2012},
  url       = {https://doi.org/10.1145/2387238.2387261},
  doi       = {10.1145/2387238.2387261},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/mswim/KakkadSS12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/JaffarMNS12,
  author    = {Joxan Jaffar and
               Vijayaraghavan Murali and
               Jorge A. Navas and
               Andrew E. Santosa},
  title     = {Path-Sensitive Backward Slicing},
  booktitle = {Static Analysis - 19th International Symposium, {SAS} 2012, Deauville,
               France, September 11-13, 2012. Proceedings},
  pages     = {231--247},
  year      = {2012},
  crossref  = {DBLP:conf/sas/2012},
  url       = {https://doi.org/10.1007/978-3-642-33125-1\_17},
  doi       = {10.1007/978-3-642-33125-1\_17},
  timestamp = {Wed, 24 May 2017 08:27:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sas/JaffarMNS12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/JaffarNS11,
  author    = {Joxan Jaffar and
               Jorge A. Navas and
               Andrew E. Santosa},
  title     = {Unbounded Symbolic Execution for Program Verification},
  booktitle = {Runtime Verification - Second International Conference, {RV} 2011,
               San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers},
  pages     = {396--411},
  year      = {2011},
  crossref  = {DBLP:conf/rv/2011},
  url       = {https://doi.org/10.1007/978-3-642-29860-8\_32},
  doi       = {10.1007/978-3-642-29860-8\_32},
  timestamp = {Wed, 17 May 2017 14:24:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rv/JaffarNS11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/JaffarNS11,
  author    = {Joxan Jaffar and
               Jorge A. Navas and
               Andrew E. Santosa},
  title     = {Symbolic Execution for Verification},
  journal   = {CoRR},
  volume    = {abs/1103.2027},
  year      = {2011},
  url       = {http://arxiv.org/abs/1103.2027},
  archivePrefix = {arXiv},
  eprint    = {1103.2027},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/JaffarNS11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/JaffarNS10,
  author    = {Joxan Jaffar and
               Jorge A. Navas and
               Andrew E. Santosa},
  title     = {Abstraction Learning},
  booktitle = {Automated Technology for Verification and Analysis - 8th International
               Symposium, {ATVA} 2010, Singapore, September 21-24, 2010. Proceedings},
  pages     = {17},
  year      = {2010},
  crossref  = {DBLP:conf/atva/2010},
  url       = {https://doi.org/10.1007/978-3-642-15643-4\_2},
  doi       = {10.1007/978-3-642-15643-4\_2},
  timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/JaffarNS10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/JaffarSV09,
  author    = {Joxan Jaffar and
               Andrew E. Santosa and
               Razvan Voicu},
  title     = {An Interpolation Method for {CLP} Traversal},
  booktitle = {Principles and Practice of Constraint Programming - {CP} 2009, 15th
               International Conference, {CP} 2009, Lisbon, Portugal, September 20-24,
               2009, Proceedings},
  pages     = {454--469},
  year      = {2009},
  crossref  = {DBLP:conf/cp/2009},
  url       = {https://doi.org/10.1007/978-3-642-04244-7\_37},
  doi       = {10.1007/978-3-642-04244-7\_37},
  timestamp = {Wed, 17 May 2017 14:24:33 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cp/JaffarSV09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/JaffarS09,
  author    = {Joxan Jaffar and
               Andrew E. Santosa},
  title     = {Recursive Abstractions for Parameterized Systems},
  booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
               November 2-6, 2009. Proceedings},
  pages     = {72--88},
  year      = {2009},
  crossref  = {DBLP:conf/fm/2009},
  url       = {https://doi.org/10.1007/978-3-642-05089-3\_6},
  doi       = {10.1007/978-3-642-05089-3\_6},
  timestamp = {Mon, 22 May 2017 17:11:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/JaffarS09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/JaffarSV08,
  author    = {Joxan Jaffar and
               Andrew E. Santosa and
               Razvan Voicu},
  title     = {Efficient Memoization for Dynamic Programming with Ad-Hoc Constraints},
  booktitle = {Proceedings of the Twenty-Third {AAAI} Conference on Artificial Intelligence,
               {AAAI} 2008, Chicago, Illinois, USA, July 13-17, 2008},
  pages     = {297--303},
  year      = {2008},
  crossref  = {DBLP:conf/aaai/2008},
  url       = {http://www.aaai.org/Library/AAAI/2008/aaai08-047.php},
  timestamp = {Mon, 10 Dec 2012 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/JaffarSV08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/JaffarSV08,
  author    = {Joxan Jaffar and
               Andrew E. Santosa and
               Razvan Voicu},
  title     = {A Coinduction Rule for Entailment of Recursively Defined Properties},
  booktitle = {Principles and Practice of Constraint Programming, 14th International
               Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
  pages     = {493--508},
  year      = {2008},
  crossref  = {DBLP:conf/cp/2008},
  url       = {https://doi.org/10.1007/978-3-540-85958-1\_33},
  doi       = {10.1007/978-3-540-85958-1\_33},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cp/JaffarSV08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/RamirezS07,
  author    = {Rafael Ram{\'{\i}}rez and
               Andrew E. Santosa},
  title     = {A Framework for Separation of Concerns in Concurrent Programming},
  booktitle = {31st Annual International Computer Software and Applications Conference,
               {COMPSAC} 2007, Beijing, China, July 24-27, 2007. Volume 2},
  pages     = {619--628},
  year      = {2007},
  crossref  = {DBLP:conf/compsac/2007-2},
  url       = {https://doi.org/10.1109/COMPSAC.2007.24},
  doi       = {10.1109/COMPSAC.2007.24},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/compsac/RamirezS07},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ISCApdcs/RamirezS06,
  author    = {Rafael Ram{\'{\i}}rez and
               Andrew E. Santosa},
  title     = {A Constraint-Based Framework for Concurrent and Distributed Programming},
  booktitle = {Proceedings of the {ISCA} 19th International Conference on Parallel
               and Distributed Computing Systems, September 20-11, 2006, San Francisco,
               California, {USA}},
  pages     = {51--56},
  year      = {2006},
  crossref  = {DBLP:conf/ISCApdcs/2006},
  timestamp = {Sun, 19 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ISCApdcs/RamirezS06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/JaffarSV06,
  author    = {Joxan Jaffar and
               Andrew E. Santosa and
               Razvan Voicu},
  title     = {A {CLP} Method for Compositional and Intermittent Predicate Abstraction},
  booktitle = {Verification, Model Checking, and Abstract Interpretation, 7th International
               Conference, {VMCAI} 2006, Charleston, SC, USA, January 8-10, 2006,
               Proceedings},
  pages     = {17--32},
  year      = {2006},
  crossref  = {DBLP:conf/vmcai/2006},
  url       = {https://doi.org/10.1007/11609773\_2},
  doi       = {10.1007/11609773\_2},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/JaffarSV06},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/JaffarSV06a,
  author    = {Joxan Jaffar and
               Andrew E. Santosa and
               Razvan Voicu},
  title     = {Relative Safety},
  booktitle = {Verification, Model Checking, and Abstract Interpretation, 7th International
               Conference, {VMCAI} 2006, Charleston, SC, USA, January 8-10, 2006,
               Proceedings},
  pages     = {282--297},
  year      = {2006},
  crossref  = {DBLP:conf/vmcai/2006},
  url       = {https://doi.org/10.1007/11609773\_19},
  doi       = {10.1007/11609773\_19},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/JaffarSV06a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/RamirezS05,
  author    = {Rafael Ram{\'{\i}}rez and
               Andrew E. Santosa},
  title     = {Formal Verification of Concurrent and Distributed Constraint-Based
               Java Programs},
  booktitle = {10th International Conference on Engineering of Complex Computer Systems
               {(ICECCS} 2005), 16-20 June 2005, Shanghai, China},
  pages     = {76--84},
  year      = {2005},
  crossref  = {DBLP:conf/iceccs/2005},
  url       = {https://doi.org/10.1109/ICECCS.2005.50},
  doi       = {10.1109/ICECCS.2005.50},
  timestamp = {Sun, 19 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iceccs/RamirezS05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/JaffarSV05,
  author    = {Joxan Jaffar and
               Andrew E. Santosa and
               Razvan Voicu},
  title     = {Modeling Systems in {CLP}},
  booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
               Spain, October 2-5, 2005, Proceedings},
  pages     = {412--413},
  year      = {2005},
  crossref  = {DBLP:conf/iclp/2005},
  url       = {https://doi.org/10.1007/11562931\_34},
  doi       = {10.1007/11562931\_34},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iclp/JaffarSV05},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/JaffarSYZ04,
  author    = {Joxan Jaffar and
               Andrew E. Santosa and
               Roland H. C. Yap and
               Kenny Qili Zhu},
  title     = {Scalable Distributed Depth-First Search with Greedy Work Stealing},
  booktitle = {16th {IEEE} International Conference on Tools with Artificial Intelligence
               {(ICTAI} 2004), 15-17 November 2004, Boca Raton, FL, {USA}},
  pages     = {98--103},
  year      = {2004},
  crossref  = {DBLP:conf/ictai/2004},
  url       = {https://doi.org/10.1109/ICTAI.2004.107},
  doi       = {10.1109/ICTAI.2004.107},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ictai/JaffarSYZ04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/JaffarSV04,
  author    = {Joxan Jaffar and
               Andrew E. Santosa and
               Razvan Voicu},
  title     = {A {CLP} Proof Method for Timed Automata},
  booktitle = {Proceedings of the 25th {IEEE} Real-Time Systems Symposium {(RTSS}
               2004), 5-8 December 2004, Lisbon, Portugal},
  pages     = {175--186},
  year      = {2004},
  crossref  = {DBLP:conf/rtss/2004},
  url       = {https://doi.org/10.1109/REAL.2004.5},
  doi       = {10.1109/REAL.2004.5},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rtss/JaffarSV04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/RamirezS04,
  author    = {Rafael Ram{\'{\i}}rez and
               Andrew E. Santosa},
  title     = {Concurrent and distributed programming using constraint logic programs},
  booktitle = {Proceedings of the 2004 {ACM} Symposium on Applied Computing (SAC),
               Nicosia, Cyprus, March 14-17, 2004},
  pages     = {508--509},
  year      = {2004},
  crossref  = {DBLP:conf/sac/2004},
  url       = {https://doi.org/10.1145/967900.968005},
  doi       = {10.1145/967900.968005},
  timestamp = {Tue, 06 Nov 2018 11:06:44 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sac/RamirezS04},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/RamirezS03,
  author    = {Rafael Ram{\'{\i}}rez and
               Andrew E. Santosa},
  title     = {A Methodology for Concurrent and Distributed Java Applications},
  booktitle = {17th International Parallel and Distributed Processing Symposium {(IPDPS}
               2003), 22-26 April 2003, Nice, France, CD-ROM/Abstracts Proceedings},
  pages     = {137},
  year      = {2003},
  crossref  = {DBLP:conf/ipps/2003},
  url       = {https://doi.org/10.1109/IPDPS.2003.1213264},
  doi       = {10.1109/IPDPS.2003.1213264},
  timestamp = {Sun, 19 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ipps/RamirezS03},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/ZhuS02,
  author    = {Kenny Qili Zhu and
               Andrew E. Santosa},
  title     = {A Meeting Scheduling System Based on Open Constraint Programming},
  booktitle = {Advanced Information Systems Engineering, 14th International Conference,
               CAiSE 2002, Toronto, Canada, May 27-31, 2002, Proceedings},
  pages     = {792--796},
  year      = {2002},
  crossref  = {DBLP:conf/caise/2002},
  url       = {https://doi.org/10.1007/3-540-47961-9\_69},
  doi       = {10.1007/3-540-47961-9\_69},
  timestamp = {Thu, 15 Jun 2017 21:41:40 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/caise/ZhuS02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdpta/RamirezS02,
  author    = {Rafael Ram{\'{\i}}rez and
               Andrew E. Santosa},
  title     = {Distributed Programming Using Constraint Logic Programs},
  booktitle = {Proceedings of the International Conference on Parallel and Distributed
               Processing Techniques and Applications, {PDPTA} '02, June 24 - 27,
               2002, Las Vegas, Nevada, USA, Volume 3},
  pages     = {1400--1406},
  year      = {2002},
  crossref  = {DBLP:conf/pdpta/2002-3},
  timestamp = {Sun, 19 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pdpta/RamirezS02},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isads/ZhuTSY01,
  author    = {Kenny Qili Zhu and
               Wee{-}Yeh Tan and
               Andrew E. Santosa and
               Roland H. C. Yap},
  title     = {Reactive Web Agents with Open Constraint Programming},
  booktitle = {Fifth International Symposium on Autonomous Decentralized Systems,
               {ISADS} 2001, Dallas, Texas, USA, March 26-28, 2001},
  pages     = {251--254},
  year      = {2001},
  crossref  = {DBLP:conf/isads/2001},
  url       = {https://doi.org/10.1109/ISADS.2001.917424},
  doi       = {10.1109/ISADS.2001.917424},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isads/ZhuTSY01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pact/RamirezS01,
  author    = {Rafael Ram{\'{\i}}rez and
               Andrew E. Santosa},
  title     = {Event Logic Programming},
  booktitle = {Parallel Computing Technologies, 6th International Conference, PaCT
               2001, Novosibirsk, Russia, September 3-7, 2001, Proceedings},
  pages     = {314--318},
  year      = {2001},
  crossref  = {DBLP:conf/pact/2001},
  url       = {https://doi.org/10.1007/3-540-44743-1\_31},
  doi       = {10.1007/3-540-44743-1\_31},
  timestamp = {Sun, 19 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pact/RamirezS01},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/RamirezS00,
  author    = {Rafael Ram{\'{\i}}rez and
               Andrew E. Santosa},
  title     = {A Declarative Approach to Concurrency in Java},
  booktitle = {The First Asian Workshop on Programming Languages and Systems, {APLAS}
               2000, National University of Singapore, Singapore, December 18-20,
               2000, Proceedings},
  pages     = {89--98},
  year      = {2000},
  crossref  = {DBLP:conf/aplas/2000},
  timestamp = {Sun, 19 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aplas/RamirezS00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/RamirezSH00,
  author    = {Rafael Ram{\'{\i}}rez and
               Andrew E. Santosa and
               Lee Wei Hong},
  title     = {Implementing Declarative Concurrency in Java},
  booktitle = {Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference,
               Munich, Germany, August 29 - September 1, 2000, Proceedings.},
  pages     = {700--708},
  year      = {2000},
  crossref  = {DBLP:conf/europar/2000},
  url       = {https://doi.org/10.1007/3-540-44520-X\_97},
  doi       = {10.1007/3-540-44520-X\_97},
  timestamp = {Wed, 14 Nov 2018 10:58:19 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/europar/RamirezSH00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/RamirezSY00,
  author    = {Rafael Ram{\'{\i}}rez and
               Andrew E. Santosa and
               Roland H. C. Yap},
  title     = {Concurrent Programming Made Easy},
  booktitle = {6th International Conference on Engineering of Complex Computer Systems
               {(ICECCS} 2000), 11-15 September 2000, Tokyo, Japan},
  pages     = {151},
  year      = {2000},
  crossref  = {DBLP:conf/iceccs/2000},
  url       = {https://doi.org/10.1109/ICECCS.2000.873939},
  doi       = {10.1109/ICECCS.2000.873939},
  timestamp = {Sun, 19 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iceccs/RamirezSY00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/RamirezS00,
  author    = {Rafael Ram{\'{\i}}rez and
               Andrew E. Santosa},
  title     = {Declarative Concurrency in Java},
  booktitle = {Parallel and Distributed Processing, 15 {IPDPS} 2000 Workshops, Cancun,
               Mexico, May 1-5, 2000, Proceedings},
  pages     = {332--339},
  year      = {2000},
  crossref  = {DBLP:conf/ipps/2000w},
  url       = {https://doi.org/10.1007/3-540-45591-4\_43},
  doi       = {10.1007/3-540-45591-4\_43},
  timestamp = {Sun, 19 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ipps/RamirezS00},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecoop/2014icooolps,
  title     = {Proceedings of the 9th International Workshop on Implementation, Compilation,
               Optimization of Object-Oriented Languages, Programs and Systems PLE,
               ICOOOLPS@ECOOP 2014, Uppsala, Sweden, July 28, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {https://doi.org/10.1145/2633301},
  doi       = {10.1145/2633301},
  isbn      = {978-1-4503-2914-9},
  timestamp = {Tue, 06 Nov 2018 16:59:31 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ecoop/2014icooolps},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cav/2012,
  editor    = {P. Madhusudan and
               Sanjit A. Seshia},
  title     = {Computer Aided Verification - 24th International Conference, {CAV}
               2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7358},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-31424-7},
  doi       = {10.1007/978-3-642-31424-7},
  isbn      = {978-3-642-31423-0},
  timestamp = {Thu, 25 May 2017 00:39:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cav/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mswim/2012,
  editor    = {Albert Y. Zomaya and
               Bj{\"{o}}rn Landfeldt and
               Ravi Prakash},
  title     = {The 15th {ACM} International Conference on Modeling, Analysis and
               Simulation of Wireless and Mobile Systems, MSWiM '12, Paphos, Cyprus,
               October 21-25, 2012},
  publisher = {{ACM}},
  year      = {2012},
  url       = {http://dl.acm.org/citation.cfm?id=2387238},
  isbn      = {978-1-4503-1628-6},
  timestamp = {Fri, 26 Oct 2012 09:04:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mswim/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sas/2012,
  editor    = {Antoine Min{\'{e}} and
               David Schmidt},
  title     = {Static Analysis - 19th International Symposium, {SAS} 2012, Deauville,
               France, September 11-13, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7460},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-33125-1},
  doi       = {10.1007/978-3-642-33125-1},
  isbn      = {978-3-642-33124-4},
  timestamp = {Wed, 24 May 2017 08:27:54 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sas/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rv/2011,
  editor    = {Sarfraz Khurshid and
               Koushik Sen},
  title     = {Runtime Verification - Second International Conference, {RV} 2011,
               San Francisco, CA, USA, September 27-30, 2011, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {7186},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-29860-8},
  doi       = {10.1007/978-3-642-29860-8},
  isbn      = {978-3-642-29859-2},
  timestamp = {Wed, 17 May 2017 14:24:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/rv/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/atva/2010,
  editor    = {Ahmed Bouajjani and
               Wei{-}Ngan Chin},
  title     = {Automated Technology for Verification and Analysis - 8th International
               Symposium, {ATVA} 2010, Singapore, September 21-24, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6252},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-15643-4},
  doi       = {10.1007/978-3-642-15643-4},
  isbn      = {978-3-642-15642-7},
  timestamp = {Sun, 21 May 2017 00:22:26 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/atva/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cp/2009,
  editor    = {Ian P. Gent},
  title     = {Principles and Practice of Constraint Programming - {CP} 2009, 15th
               International Conference, {CP} 2009, Lisbon, Portugal, September 20-24,
               2009, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5732},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-04244-7},
  doi       = {10.1007/978-3-642-04244-7},
  isbn      = {978-3-642-04243-0},
  timestamp = {Wed, 17 May 2017 14:24:33 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cp/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2009,
  editor    = {Ana Cavalcanti and
               Dennis Dams},
  title     = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
               November 2-6, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5850},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-05089-3},
  doi       = {10.1007/978-3-642-05089-3},
  isbn      = {978-3-642-05088-6},
  timestamp = {Mon, 22 May 2017 17:11:19 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/fm/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/2008,
  editor    = {Dieter Fox and
               Carla P. Gomes},
  title     = {Proceedings of the Twenty-Third {AAAI} Conference on Artificial Intelligence,
               {AAAI} 2008, Chicago, Illinois, USA, July 13-17, 2008},
  publisher = {{AAAI} Press},
  year      = {2008},
  isbn      = {978-1-57735-368-3},
  timestamp = {Fri, 15 Aug 2008 11:13:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cp/2008,
  editor    = {Peter J. Stuckey},
  title     = {Principles and Practice of Constraint Programming, 14th International
               Conference, {CP} 2008, Sydney, Australia, September 14-18, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5202},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-85958-1},
  doi       = {10.1007/978-3-540-85958-1},
  isbn      = {978-3-540-85957-4},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cp/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/compsac/2007-2,
  title     = {31st Annual International Computer Software and Applications Conference,
               {COMPSAC} 2007, Beijing, China, July 24-27, 2007. Volume 2},
  publisher = {{IEEE} Computer Society},
  year      = {2007},
  url       = {http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=4291085},
  timestamp = {Mon, 15 Jun 2015 19:00:07 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/compsac/2007-2},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ISCApdcs/2006,
  editor    = {Gregory D. Peterson},
  title     = {Proceedings of the {ISCA} 19th International Conference on Parallel
               and Distributed Computing Systems, September 20-11, 2006, San Francisco,
               California, {USA}},
  publisher = {{ISCA}},
  year      = {2006},
  isbn      = {978-1-880843-60-4},
  timestamp = {Fri, 04 May 2007 21:21:02 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ISCApdcs/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vmcai/2006,
  editor    = {E. Allen Emerson and
               Kedar S. Namjoshi},
  title     = {Verification, Model Checking, and Abstract Interpretation, 7th International
               Conference, {VMCAI} 2006, Charleston, SC, USA, January 8-10, 2006,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3855},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11609773},
  doi       = {10.1007/11609773},
  isbn      = {3-540-31139-4},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/vmcai/2006},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iceccs/2005,
  title     = {10th International Conference on Engineering of Complex Computer Systems
               {(ICECCS} 2005), 16-20 June 2005, Shanghai, China},
  publisher = {{IEEE} Computer Society},
  year      = {2005},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=9905},
  isbn      = {0-7695-2284-X},
  timestamp = {Thu, 23 Apr 2015 17:57:23 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iceccs/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/2005,
  editor    = {Maurizio Gabbrielli and
               Gopal Gupta},
  title     = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
               Spain, October 2-5, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3668},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11562931},
  doi       = {10.1007/11562931},
  isbn      = {3-540-29208-X},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iclp/2005},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ictai/2004,
  title     = {16th {IEEE} International Conference on Tools with Artificial Intelligence
               {(ICTAI} 2004), 15-17 November 2004, Boca Raton, FL, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {2004},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=9460},
  isbn      = {0-7695-2236-X},
  timestamp = {Thu, 18 Dec 2014 16:57:40 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ictai/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rtss/2004,
  title     = {Proceedings of the 25th {IEEE} Real-Time Systems Symposium {(RTSS}
               2004), 5-8 December 2004, Lisbon, Portugal},
  publisher = {{IEEE} Computer Society},
  year      = {2004},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=9490},
  isbn      = {0-7695-2247-5},
  timestamp = {Tue, 20 Jan 2015 18:18:59 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/rtss/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sac/2004,
  editor    = {Hisham Haddad and
               Andrea Omicini and
               Roger L. Wainwright and
               Lorie M. Liebrock},
  title     = {Proceedings of the 2004 {ACM} Symposium on Applied Computing (SAC),
               Nicosia, Cyprus, March 14-17, 2004},
  publisher = {{ACM}},
  year      = {2004},
  url       = {https://doi.org/10.1145/967900},
  doi       = {10.1145/967900},
  isbn      = {1-58113-812-1},
  timestamp = {Tue, 06 Nov 2018 11:06:44 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sac/2004},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ipps/2003,
  title     = {17th International Parallel and Distributed Processing Symposium {(IPDPS}
               2003), 22-26 April 2003, Nice, France, CD-ROM/Abstracts Proceedings},
  publisher = {{IEEE} Computer Society},
  year      = {2003},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8608},
  isbn      = {0-7695-1926-1},
  timestamp = {Fri, 01 Aug 2014 14:26:09 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ipps/2003},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/caise/2002,
  editor    = {Anne Banks Pidduck and
               John Mylopoulos and
               Carson C. Woo and
               M. Tamer {\"{O}}zsu},
  title     = {Advanced Information Systems Engineering, 14th International Conference,
               CAiSE 2002, Toronto, Canada, May 27-31, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2348},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-47961-9},
  doi       = {10.1007/3-540-47961-9},
  isbn      = {3-540-43738-X},
  timestamp = {Thu, 15 Jun 2017 21:41:40 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/caise/2002},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pdpta/2002-3,
  editor    = {Hamid R. Arabnia},
  title     = {Proceedings of the International Conference on Parallel and Distributed
               Processing Techniques and Applications, {PDPTA} '02, June 24 - 27,
               2002, Las Vegas, Nevada, USA, Volume 3},
  publisher = {{CSREA} Press},
  year      = {2002},
  isbn      = {1-892512-89-0},
  timestamp = {Fri, 05 Dec 2003 09:24:05 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/pdpta/2002-3},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isads/2001,
  title     = {Fifth International Symposium on Autonomous Decentralized Systems,
               {ISADS} 2001, Dallas, Texas, USA, March 26-28, 2001},
  publisher = {{IEEE} Computer Society},
  year      = {2001},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7329},
  isbn      = {0-7695-1065-5},
  timestamp = {Wed, 11 May 2016 16:17:13 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/isads/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pact/2001,
  editor    = {Victor E. Malyshkin},
  title     = {Parallel Computing Technologies, 6th International Conference, PaCT
               2001, Novosibirsk, Russia, September 3-7, 2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2127},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-44743-1},
  doi       = {10.1007/3-540-44743-1},
  isbn      = {3-540-42522-5},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/pact/2001},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aplas/2000,
  title     = {The First Asian Workshop on Programming Languages and Systems, {APLAS}
               2000, National University of Singapore, Singapore, December 18-20,
               2000, Proceedings},
  year      = {2000},
  timestamp = {Tue, 01 Jun 2004 14:41:27 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aplas/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/europar/2000,
  editor    = {Arndt Bode and
               Thomas Ludwig and
               Wolfgang Karl and
               Roland Wism{\"{u}}ller},
  title     = {Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference,
               Munich, Germany, August 29 - September 1, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1900},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-44520-X},
  doi       = {10.1007/3-540-44520-X},
  isbn      = {3-540-67956-1},
  timestamp = {Wed, 14 Nov 2018 10:58:19 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/europar/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iceccs/2000,
  title     = {6th International Conference on Engineering of Complex Computer Systems
               {(ICECCS} 2000), 11-15 September 2000, Tokyo, Japan},
  publisher = {{IEEE} Computer Society},
  year      = {2000},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7016},
  isbn      = {0-7695-0583-X},
  timestamp = {Thu, 23 Apr 2015 17:57:18 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iceccs/2000},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ipps/2000w,
  editor    = {Jos{\'{e}} D. P. Rolim},
  title     = {Parallel and Distributed Processing, 15 {IPDPS} 2000 Workshops, Cancun,
               Mexico, May 1-5, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1800},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-45591-4},
  doi       = {10.1007/3-540-45591-4},
  isbn      = {3-540-67442-X},
  timestamp = {Wed, 24 May 2017 15:40:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ipps/2000w},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier