BibTeX records: Neda Saeedloei

download as .bib file

@inproceedings{DBLP:conf/forte/SaeedloeiK24,
  author       = {Neda Saeedloei and
                  Feliks Kluzniak},
  editor       = {Valentina Castiglioni and
                  Adrian Francalanza},
  title        = {Synthesizing Timed Automata with Minimal Numbers of Clocks from Optimised
                  Timed Scenarios},
  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 44th {IFIP} {WG} 6.1 International Conference, {FORTE} 2024, Held
                  as Part of the 19th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June
                  17-21, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14678},
  pages        = {136--154},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-62645-6\_8},
  doi          = {10.1007/978-3-031-62645-6\_8},
  timestamp    = {Wed, 19 Jun 2024 22:24:15 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/SaeedloeiK24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/forte/SaeedloeiK23,
  author       = {Neda Saeedloei and
                  Feliks Kluzniak},
  editor       = {Marieke Huisman and
                  Ant{\'{o}}nio Ravara},
  title        = {Operations on Timed Scenarios},
  booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems
                  - 43rd {IFIP} {WG} 6.1 International Conference, {FORTE} 2023, Held
                  as Part of the 18th International Federated Conference on Distributed
                  Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23,
                  2023, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13910},
  pages        = {97--114},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-35355-0\_7},
  doi          = {10.1007/978-3-031-35355-0\_7},
  timestamp    = {Tue, 20 Jun 2023 14:29:33 +0200},
  biburl       = {https://dblp.org/rec/conf/forte/SaeedloeiK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/VaranasiSSAG22,
  author       = {Sarat Chandra Varanasi and
                  Neda Saeedloei and
                  Elmer Salazar and
                  Joaqu{\'{\i}}n Arias and
                  Gopal Gupta},
  editor       = {Joaqu{\'{\i}}n Arias and
                  Roberta Calegari and
                  Luke Dickens and
                  Wolfgang Faber and
                  Jorge Fandinno and
                  Gopal Gupta and
                  Markus Hecher and
                  Daniela Inclezan and
                  Emily LeBlanc and
                  Michael Morak and
                  Elmer Salazar and
                  Jessica Zangari},
  title        = {{LTL} Model Checking using Coinductive Answer Set Programming},
  booktitle    = {Proceedings of the International Conference on Logic Programming 2022
                  Workshops co-located with the 38th International Conference on Logic
                  Programming {(ICLP} 2022), Haifa, Israel, July 31st - August 1st,
                  2022},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3193},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3193/short7GDE.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:26 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/VaranasiSSAG22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/SaeedloeiK22,
  author       = {Neda Saeedloei and
                  Feliks Kluzniak},
  editor       = {Maurice H. ter Beek and
                  Rosemary Monahan},
  title        = {Untangling the Graphs of Timed Automata to Decrease the Number of
                  Clocks},
  booktitle    = {Integrated Formal Methods - 17th International Conference, {IFM} 2022,
                  Lugano, Switzerland, June 7-10, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13274},
  pages        = {168--187},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-07727-2\_10},
  doi          = {10.1007/978-3-031-07727-2\_10},
  timestamp    = {Fri, 03 Jun 2022 16:42:29 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/SaeedloeiK22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sbmf/SaeedloeiK22,
  author       = {Neda Saeedloei and
                  Feliks Kluzniak},
  editor       = {Lucas Lima and
                  Vince Moln{\'{a}}r},
  title        = {An Efficient Customized Clock Allocation Algorithm for a Class of
                  Timed Automata},
  booktitle    = {Formal Methods: Foundations and Applications - 25th Brazilian Symposium,
                  {SBMF} 2022, Virtual Event, December 6-9, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13768},
  pages        = {3--21},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-22476-8\_1},
  doi          = {10.1007/978-3-031-22476-8\_1},
  timestamp    = {Thu, 08 Dec 2022 15:05:31 +0100},
  biburl       = {https://dblp.org/rec/conf/sbmf/SaeedloeiK22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sbmf/SaeedloeiK21,
  author       = {Neda Saeedloei and
                  Feliks Kluzniak},
  editor       = {S{\'{e}}rgio Campos and
                  Marius Minea},
  title        = {Minimization of the Number of Clocks for Timed Scenarios},
  booktitle    = {Formal Methods: Foundations and Applications - 24th Brazilian Symposium,
                  {SBMF} 2021, Virtual Event, December 6-10, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13130},
  pages        = {122--139},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-92137-8\_8},
  doi          = {10.1007/978-3-030-92137-8\_8},
  timestamp    = {Fri, 03 Dec 2021 17:37:06 +0100},
  biburl       = {https://dblp.org/rec/conf/sbmf/SaeedloeiK21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ifm/SaeedloeiK20,
  author       = {Neda Saeedloei and
                  Feliks Kluzniak},
  editor       = {Brijesh Dongol and
                  Elena Troubitsyna},
  title        = {Synthesizing Clock-Efficient Timed Automata},
  booktitle    = {Integrated Formal Methods - 16th International Conference, {IFM} 2020,
                  Lugano, Switzerland, November 16-20, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12546},
  pages        = {276--294},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-63461-2\_15},
  doi          = {10.1007/978-3-030-63461-2\_15},
  timestamp    = {Tue, 17 Nov 2020 15:21:11 +0100},
  biburl       = {https://dblp.org/rec/conf/ifm/SaeedloeiK20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sbmf/SaeedloeiK20,
  author       = {Neda Saeedloei and
                  Feliks Kluzniak},
  editor       = {Gustavo Carvalho and
                  Volker Stolz},
  title        = {Optimization of Timed Scenarios},
  booktitle    = {Formal Methods: Foundations and Applications - 23rd Brazilian Symposium,
                  {SBMF} 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12475},
  pages        = {119--136},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-63882-5\_8},
  doi          = {10.1007/978-3-030-63882-5\_8},
  timestamp    = {Mon, 23 Nov 2020 16:12:24 +0100},
  biburl       = {https://dblp.org/rec/conf/sbmf/SaeedloeiK20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/hybrid/SaeedloeiK18,
  author       = {Neda Saeedloei and
                  Feliks Kluzniak},
  editor       = {Maria Prandini and
                  Jyotirmoy V. Deshmukh},
  title        = {Clock Allocation in Timed Automata and Graph Colouring},
  booktitle    = {Proceedings of the 21st International Conference on Hybrid Systems:
                  Computation and Control (part of {CPS} Week), {HSCC} 2018, Porto,
                  Portugal, April 11-13, 2018},
  pages        = {71--80},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3178126.3178138},
  doi          = {10.1145/3178126.3178138},
  timestamp    = {Wed, 13 Mar 2019 18:19:09 +0100},
  biburl       = {https://dblp.org/rec/conf/hybrid/SaeedloeiK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sbmf/SaeedloeiK18,
  author       = {Neda Saeedloei and
                  Feliks Kluzniak},
  editor       = {Tiago Massoni and
                  Mohammad Reza Mousavi},
  title        = {Timed Scenarios: Consistency, Equivalence and Optimization},
  booktitle    = {Formal Methods: Foundations and Applications - 21st Brazilian Symposium,
                  {SBMF} 2018, Salvador, Brazil, November 26-30, 2018, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11254},
  pages        = {215--233},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-030-03044-5\_14},
  doi          = {10.1007/978-3-030-03044-5\_14},
  timestamp    = {Sat, 11 Jul 2020 10:44:59 +0200},
  biburl       = {https://dblp.org/rec/conf/sbmf/SaeedloeiK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/iclp/2017,
  editor       = {Ricardo Rocha and
                  Tran Cao Son and
                  Christopher Mears and
                  Neda Saeedloei},
  title        = {Technical Communications of the 33rd International Conference on Logic
                  Programming, {ICLP} 2017, August 28 to September 1, 2017, Melbourne,
                  Australia},
  series       = {OASIcs},
  volume       = {58},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2018},
  url          = {http://www.dagstuhl.de/dagpub/978-3-95977-058-3},
  isbn         = {978-3-95977-058-3},
  timestamp    = {Wed, 21 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/2017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/iclp/2018,
  editor       = {Alessandro Dal Pal{\`{u}} and
                  Paul Tarau and
                  Neda Saeedloei and
                  Paul Fodor},
  title        = {Technical Communications of the 34th International Conference on Logic
                  Programming, {ICLP} 2018, July 14-17, 2018, Oxford, United Kingdom},
  series       = {OASIcs},
  volume       = {64},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2018},
  url          = {http://www.dagstuhl.de/dagpub/978-3-95977-090-3},
  isbn         = {978-3-95977-090-3},
  timestamp    = {Wed, 21 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/2018.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sbmf/SaeedloeiK17,
  author       = {Neda Saeedloei and
                  Feliks Kluzniak},
  editor       = {Simone Andr{\'{e}} da Costa Cavalheiro and
                  Jos{\'{e}} Luiz Fiadeiro},
  title        = {From Scenarios to Timed Automata},
  booktitle    = {Formal Methods: Foundations and Applications - 20th Brazilian Symposium,
                  {SBMF} 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10623},
  pages        = {33--51},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-70848-5\_4},
  doi          = {10.1007/978-3-319-70848-5\_4},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/sbmf/SaeedloeiK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sigbed/SaeedloeiG16,
  author       = {Neda Saeedloei and
                  Gopal Gupta},
  title        = {A methodology for modeling and verification of cyber-physical systems
                  based on logic programming},
  journal      = {{SIGBED} Rev.},
  volume       = {13},
  number       = {2},
  pages        = {34--42},
  year         = {2016},
  url          = {https://doi.org/10.1145/2930957.2930963},
  doi          = {10.1145/2930957.2930963},
  timestamp    = {Wed, 26 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigbed/SaeedloeiG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/iclp/2016,
  editor       = {Manuel Carro and
                  Andy King and
                  Neda Saeedloei and
                  Marina De Vos},
  title        = {Technical Communications of the 32nd International Conference on Logic
                  Programming, {ICLP} 2016 TCs, October 16-21, 2016, New York City,
                  {USA}},
  series       = {OASIcs},
  volume       = {52},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2016},
  url          = {http://www.dagstuhl.de/dagpub/978-3-95977-007-1},
  isbn         = {978-3-95977-007-1},
  timestamp    = {Wed, 21 Aug 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/2016.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/Saeedloei13,
  author       = {Neda Saeedloei},
  editor       = {Gopal Gupta and
                  Ricardo Pe{\~{n}}a},
  title        = {A Logical Encoding of Timed {\textdollar}{\textdollar}{\textbackslash}pi
                  {\textdollar}{\textdollar} -Calculus},
  booktitle    = {Logic-Based Program Synthesis and Transformation, 23rd International
                  Symposium, {LOPSTR} 2013, Madrid, Spain, September 18-19, 2013, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8901},
  pages        = {164--182},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-14125-1\_10},
  doi          = {10.1007/978-3-319-14125-1\_10},
  timestamp    = {Wed, 26 Oct 2022 22:55:46 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/Saeedloei13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/tgc/SaeedloeiG13,
  author       = {Neda Saeedloei and
                  Gopal Gupta},
  editor       = {Mart{\'{\i}}n Abadi and
                  Alberto Lluch{-}Lafuente},
  title        = {Timed {\(\pi\)}-Calculus},
  booktitle    = {Trustworthy Global Computing - 8th International Symposium, {TGC}
                  2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8358},
  pages        = {119--135},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-05119-2\_8},
  doi          = {10.1007/978-3-319-05119-2\_8},
  timestamp    = {Wed, 26 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tgc/SaeedloeiG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/flops/SaeedloeiG12,
  author       = {Neda Saeedloei and
                  Gopal Gupta},
  editor       = {Tom Schrijvers and
                  Peter Thiemann},
  title        = {Coinductive Constraint Logic Programming},
  booktitle    = {Functional and Logic Programming - 11th International Symposium, {FLOPS}
                  2012, Kobe, Japan, May 23-25, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7294},
  pages        = {243--259},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-29822-6\_20},
  doi          = {10.1007/978-3-642-29822-6\_20},
  timestamp    = {Wed, 26 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/flops/SaeedloeiG12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/sigbed/SaeedloeiG11,
  author       = {Neda Saeedloei and
                  Gopal Gupta},
  title        = {A logic-based modeling and verification of {CPS}},
  journal      = {{SIGBED} Rev.},
  volume       = {8},
  number       = {2},
  pages        = {31--34},
  year         = {2011},
  url          = {https://doi.org/10.1145/2000367.2000374},
  doi          = {10.1145/2000367.2000374},
  timestamp    = {Wed, 26 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigbed/SaeedloeiG11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/calco/GuptaSDMMK11,
  author       = {Gopal Gupta and
                  Neda Saeedloei and
                  Brian W. DeVries and
                  Richard Min and
                  Kyle Marple and
                  Feliks Kluzniak},
  editor       = {Andrea Corradini and
                  Bartek Klin and
                  Corina C{\^{\i}}rstea},
  title        = {Infinite Computation, Co-induction and Computational Logic},
  booktitle    = {Algebra and Coalgebra in Computer Science - 4th International Conference,
                  {CALCO} 2011, Winchester, UK, August 30 - September 2, 2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6859},
  pages        = {40--54},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-22944-2\_4},
  doi          = {10.1007/978-3-642-22944-2\_4},
  timestamp    = {Wed, 26 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/calco/GuptaSDMMK11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/flairs/BansalSG10,
  author       = {Ajay Bansal and
                  Neda Saeedloei and
                  Gopal Gupta},
  editor       = {Hans W. Guesgen and
                  R. Charles Murray},
  title        = {Timed Planning},
  booktitle    = {Proceedings of the Twenty-Third International Florida Artificial Intelligence
                  Research Society Conference, May 19-21, 2010, Daytona Beach, Florida,
                  {USA}},
  publisher    = {{AAAI} Press},
  year         = {2010},
  url          = {http://www.aaai.org/ocs/index.php/FLAIRS/2010/paper/view/1328},
  timestamp    = {Wed, 26 Oct 2022 08:35:20 +0200},
  biburl       = {https://dblp.org/rec/conf/flairs/BansalSG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/SaeedloeiG10,
  author       = {Neda Saeedloei and
                  Gopal Gupta},
  editor       = {Manuel V. Hermenegildo and
                  Torsten Schaub},
  title        = {Timed Definite Clause Omega-Grammars},
  booktitle    = {Technical Communications of the 26th International Conference on Logic
                  Programming, {ICLP} 2010, July 16-19, 2010, Edinburgh, Scotland, {UK}},
  series       = {LIPIcs},
  volume       = {7},
  pages        = {212--221},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2010},
  url          = {https://doi.org/10.4230/LIPIcs.ICLP.2010.212},
  doi          = {10.4230/LIPICS.ICLP.2010.212},
  timestamp    = {Wed, 21 Aug 2024 22:46:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/SaeedloeiG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/Saeedloei10,
  author       = {Neda Saeedloei},
  editor       = {Manuel V. Hermenegildo and
                  Torsten Schaub},
  title        = {Logic Programming Foundations of Cyber-Physical Systems},
  booktitle    = {Technical Communications of the 26th International Conference on Logic
                  Programming, {ICLP} 2010, July 16-19, 2010, Edinburgh, Scotland, {UK}},
  series       = {LIPIcs},
  volume       = {7},
  pages        = {289--293},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2010},
  url          = {https://doi.org/10.4230/LIPIcs.ICLP.2010.289},
  doi          = {10.4230/LIPICS.ICLP.2010.289},
  timestamp    = {Thu, 23 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/Saeedloei10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lata/SaeedloeiG10,
  author       = {Neda Saeedloei and
                  Gopal Gupta},
  editor       = {Adrian{-}Horia Dediu and
                  Henning Fernau and
                  Carlos Mart{\'{\i}}n{-}Vide},
  title        = {Verifying Complex Continuous Real-Time Systems with Coinductive {CLP(R)}},
  booktitle    = {Language and Automata Theory and Applications, 4th International Conference,
                  {LATA} 2010, Trier, Germany, May 24-28, 2010. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6031},
  pages        = {536--548},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-13089-2\_45},
  doi          = {10.1007/978-3-642-13089-2\_45},
  timestamp    = {Wed, 26 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/lata/SaeedloeiG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.