Search dblp for Publications

• > Home > Search

@article{DBLP:journals/aghcs/BieleckiS17,
  author       = {Wlodzimierz Bielecki and
                  Piotr Skotnicki},
  title        = {Dynamic Tile Free Scheduling for Code with Acyclic Inter-Tile Dependence
                  Graphs},
  journal      = {Comput. Sci.},
  volume       = {18},
  number       = {2},
  pages        = {195},
  year         = {2017},
  url          = {https://doi.org/10.7494/csci.2017.18.2.195},
  doi          = {10.7494/CSCI.2017.18.2.195},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/aghcs/BieleckiS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/rv/Yeolekar14,
  author       = {Anand Yeolekar},
  editor       = {Borzoo Bonakdarpour and
                  Scott A. Smolka},
  title        = {Improving Dynamic Inference with Variable Dependence Graph},
  booktitle    = {Runtime Verification - 5th International Conference, {RV} 2014, Toronto,
                  ON, Canada, September 22-25, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8734},
  pages        = {301--306},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-11164-3\_25},
  doi          = {10.1007/978-3-319-11164-3\_25},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/rv/Yeolekar14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vissoft/LonnbergBM11,
  author       = {Jan L{\"{o}}nnberg and
                  Mordechai Ben{-}Ari and
                  Lauri Malmi},
  title        = {Visualising concurrent programs with dynamic dependence graphs},
  booktitle    = {Proceedings of the 6th {IEEE} International Workshop on Visualizing
                  Software for Understanding and Analysis, {VISSOFT} 2011, Williamsburg,
                  VA, USA, September 29-30, 2011},
  pages        = {1--4},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/VISSOF.2011.6069456},
  doi          = {10.1109/VISSOF.2011.6069456},
  timestamp    = {Wed, 16 Oct 2019 14:14:49 +0200},
  biburl       = {https://dblp.org/rec/conf/vissoft/LonnbergBM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/IEEEares/CavadiniC08,
  author       = {Salvador Cavadini and
                  Diego Cheda},
  title        = {Run-time Information Flow Monitoring based on Dynamic Dependence Graphs},
  booktitle    = {Proceedings of the The Third International Conference on Availability,
                  Reliability and Security, {ARES} 2008, March 4-7, 2008, Technical
                  University of Catalonia, Barcelona , Spain},
  pages        = {586--591},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/ARES.2008.152},
  doi          = {10.1109/ARES.2008.152},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/IEEEares/CavadiniC08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iih-msp/ZhouSSY08,
  author       = {Xiaoming Zhou and
                  Xingming Sun and
                  Guang Sun and
                  Ying Yang},
  editor       = {Jeng{-}Shyang Pan and
                  Xiamu Niu and
                  Hsiang{-}Cheh Huang and
                  Lakhmi C. Jain},
  title        = {A Combined Static and Dynamic Software Birthmark Based on Component
                  Dependence Graph},
  booktitle    = {4th International Conference on Intelligent Information Hiding and
                  Multimedia Signal Processing {(IIH-MSP} 2008), Harbin, China, 15-17
                  August 2008, Proceedings},
  pages        = {1416--1421},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/IIH-MSP.2008.145},
  doi          = {10.1109/IIH-MSP.2008.145},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iih-msp/ZhouSSY08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tphol/WasserrabL08,
  author       = {Daniel Wasserrab and
                  Andreas Lochbihler},
  editor       = {Otmane A{\"{\i}}t Mohamed and
                  C{\'{e}}sar A. Mu{\~{n}}oz and
                  Sofi{\`{e}}ne Tahar},
  title        = {Formalizing a Framework for Dynamic Slicing of Program Dependence
                  Graphs in Isabelle/HOL},
  booktitle    = {Theorem Proving in Higher Order Logics, 21st International Conference,
                  TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5170},
  pages        = {294--309},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-71067-7\_24},
  doi          = {10.1007/978-3-540-71067-7\_24},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/tphol/WasserrabL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/pepm/HammerGK06,
  author       = {Christian Hammer and
                  Martin Grimme and
                  Jens Krinke},
  editor       = {John Hatcliff and
                  Frank Tip},
  title        = {Dynamic path conditions in dependence graphs},
  booktitle    = {Proceedings of the 2006 {ACM} {SIGPLAN} Workshop on Partial Evaluation
                  and Semantics-based Program Manipulation, 2006, Charleston, South
                  Carolina, USA, January 9-10, 2006},
  pages        = {58--67},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1111542.1111552},
  doi          = {10.1145/1111542.1111552},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/pepm/HammerGK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/scam/BeszedesGG06,
  author       = {{\'{A}}rp{\'{a}}d Besz{\'{e}}des and
                  Tam{\'{a}}s Gergely and
                  Tibor Gyim{\'{o}}thy},
  title        = {Graph-Less Dynamic Dependence-Based Dynamic Slicing Algorithms},
  booktitle    = {Sixth {IEEE} International Workshop on Source Code Analysis and Manipulation
                  {(SCAM} 2006), 27-29 September 2006, Philadelphia, Pennsylvania, {USA}},
  pages        = {21--30},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/SCAM.2006.17},
  doi          = {10.1109/SCAM.2006.17},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/scam/BeszedesGG06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/smc/SunW06,
  author       = {Tong Sun and
                  John Walker},
  title        = {Hierarchical Dependence Graphs for Dynamic {JDF} Workflows},
  booktitle    = {Proceedings of the {IEEE} International Conference on Systems, Man
                  and Cybernetics, Taipei, Taiwan, October 8-11, 2006},
  pages        = {2747--2752},
  publisher    = {{IEEE}},
  year         = {2006},
  url          = {https://doi.org/10.1109/ICSMC.2006.385289},
  doi          = {10.1109/ICSMC.2006.385289},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/smc/SunW06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}