default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Pritam Roy
@article{DBLP:journals/asc/PalRMMSH25,
author = {Ramen Pal and
Pritam Roy and
Srijon Mallick and
Somnath Mukhopadhyay and
Sunita Sarkar and
Mike Hinchey},
title = {A multi-objective cuckoo search algorithm using generalized L{\`{e}}vy
flight and dissimilar egg identification for multispectral image thresholding},
journal = {Appl. Soft Comput.},
volume = {175},
pages = {113054},
year = {2025},
url = {https://doi.org/10.1016/j.asoc.2025.113054},
doi = {10.1016/J.ASOC.2025.113054},
timestamp = {Fri, 09 May 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/asc/PalRMMSH25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/qip/RoyBGM24,
author = {Pritam Roy and
Subhankar Bera and
Shashank Gupta and
Archan S. Majumdar},
title = {Device-independent quantum secure direct communication under non-Markovian
quantum channels},
journal = {Quantum Inf. Process.},
volume = {23},
number = {5},
pages = {170},
year = {2024},
url = {https://doi.org/10.1007/s11128-024-04397-8},
doi = {10.1007/S11128-024-04397-8},
timestamp = {Sat, 31 May 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/qip/RoyBGM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/RoyC22,
author = {Pritam Roy and
Sagar Chaki},
title = {Achieving high coverage in hardware equivalence checking via concolic
verification},
journal = {Formal Methods Syst. Des.},
volume = {60},
number = {3},
pages = {329--349},
year = {2022},
url = {https://doi.org/10.1007/s10703-023-00414-1},
doi = {10.1007/S10703-023-00414-1},
timestamp = {Mon, 16 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/RoyC22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/RoyCC19,
author = {Pritam Roy and
Sagar Chaki and
Pankaj Chauhan},
editor = {J{\"{u}}rgen Teich and
Franco Fummi},
title = {High Coverage Concolic Equivalence Checking},
booktitle = {Design, Automation {\&} Test in Europe Conference {\&} Exhibition,
{DATE} 2019, Florence, Italy, March 25-29, 2019},
pages = {462--467},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.23919/DATE.2019.8715131},
doi = {10.23919/DATE.2019.8715131},
timestamp = {Mon, 30 Sep 2024 15:20:52 +0200},
biburl = {https://dblp.org/rec/conf/date/RoyCC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/HoCRMB16,
author = {Yen{-}Sheng Ho and
Pankaj Chauhan and
Pritam Roy and
Alan Mishchenko and
Robert K. Brayton},
editor = {Ruzica Piskac and
Muralidhar Talupur},
title = {Efficient uninterpreted function abstraction and refinement for word-level
model checking},
booktitle = {2016 Formal Methods in Computer-Aided Design, {FMCAD} 2016, Mountain
View, CA, USA, October 3-6, 2016},
pages = {65--72},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/FMCAD.2016.7886662},
doi = {10.1109/FMCAD.2016.7886662},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/HoCRMB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/asc/RoyRC13,
author = {Priyanka Roy and
Pritam Roy and
Abhijit Chakrabarti},
title = {Modified shuffled frog leaping algorithm with genetic algorithm crossover
for solving economic load dispatch problem with valve-point effect},
journal = {Appl. Soft Comput.},
volume = {13},
number = {11},
pages = {4244--4252},
year = {2013},
url = {https://doi.org/10.1016/j.asoc.2013.07.006},
doi = {10.1016/J.ASOC.2013.07.006},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/asc/RoyRC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/RoyS11,
author = {Pritam Roy and
Natarajan Shankar},
title = {SimCheck: a contract type system for Simulink},
journal = {Innov. Syst. Softw. Eng.},
volume = {7},
number = {2},
pages = {73--83},
year = {2011},
url = {https://doi.org/10.1007/s11334-011-0145-4},
doi = {10.1007/S11334-011-0145-4},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/RoyS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/RoyTM11,
author = {Pritam Roy and
Paulo Tabuada and
Rupak Majumdar},
editor = {Marco Caccamo and
Emilio Frazzoli and
Radu Grosu},
title = {Pessoa 2.0: a controller synthesis tool for cyber-physical systems},
booktitle = {Proceedings of the 14th {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2011, Chicago, IL, USA, April 12-14,
2011},
pages = {315--316},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1967701.1967748},
doi = {10.1145/1967701.1967748},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/RoyTM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1107-2132,
author = {Krishnendu Chatterjee and
Luca de Alfaro and
Pritam Roy},
title = {Magnifying Lens Abstraction for Stochastic Games with Discounted and
Long-run Average Objectives},
journal = {CoRR},
volume = {abs/1107.2132},
year = {2011},
url = {http://arxiv.org/abs/1107.2132},
eprinttype = {arXiv},
eprint = {1107.2132},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1107-2132.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/AlfaroR10,
author = {Luca de Alfaro and
Pritam Roy},
title = {Solving games via three-valued abstraction refinement},
journal = {Inf. Comput.},
volume = {208},
number = {6},
pages = {666--676},
year = {2010},
url = {https://doi.org/10.1016/j.ic.2009.05.007},
doi = {10.1016/J.IC.2009.05.007},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/AlfaroR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/RoyS10,
author = {Pritam Roy and
Natarajan Shankar},
editor = {C{\'{e}}sar A. Mu{\~{n}}oz},
title = {SimCheck: An Expressive Type System for Simulink},
booktitle = {Second {NASA} Formal Methods Symposium - {NFM} 2010, Washington D.C.,
USA, April 13-15, 2010. Proceedings},
series = {{NASA} Conference Proceedings},
volume = {{NASA/CP-2010-216215}},
pages = {149--160},
year = {2010},
timestamp = {Thu, 23 Jun 2016 15:53:27 +0200},
biburl = {https://dblp.org/rec/conf/nfm/RoyS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Roy10,
author = {Pritam Roy},
title = {Interface Building for Software by Modular Three-Valued Abstraction
Refinement},
journal = {CoRR},
volume = {abs/1004.5382},
year = {2010},
url = {http://arxiv.org/abs/1004.5382},
eprinttype = {arXiv},
eprint = {1004.5382},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Roy10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1010-5665,
author = {Pritam Roy and
Paulo Tabuada and
Rupak Majumdar},
title = {Safety-Guarantee Controller Synthesis for Cyber-Physical Systems},
journal = {CoRR},
volume = {abs/1010.5665},
year = {2010},
url = {http://arxiv.org/abs/1010.5665},
eprinttype = {arXiv},
eprint = {1010.5665},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1010-5665.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qest/RoyPNA08,
author = {Pritam Roy and
David Parker and
Gethin Norman and
Luca de Alfaro},
title = {Symbolic Magnifying Lens Abstraction in Markov Decision Processes},
booktitle = {Fifth International Conference on the Quantitative Evaluaiton of Systems
{(QEST} 2008), 14-17 September 2008, Saint-Malo, France},
pages = {103--112},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/QEST.2008.41},
doi = {10.1109/QEST.2008.41},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/qest/RoyPNA08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AlfaroR07,
author = {Luca de Alfaro and
Pritam Roy},
editor = {Werner Damm and
Holger Hermanns},
title = {Magnifying-Lens Abstraction for Markov Decision Processes},
booktitle = {Computer Aided Verification, 19th International Conference, {CAV}
2007, Berlin, Germany, July 3-7, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4590},
pages = {325--338},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73368-3\_38},
doi = {10.1007/978-3-540-73368-3\_38},
timestamp = {Sat, 30 Sep 2023 09:35:55 +0200},
biburl = {https://dblp.org/rec/conf/cav/AlfaroR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AlfaroR07,
author = {Luca de Alfaro and
Pritam Roy},
editor = {Lu{\'{\i}}s Caires and
Vasco Thudichum Vasconcelos},
title = {Solving Games Via Three-Valued Abstraction Refinement},
booktitle = {{CONCUR} 2007 - Concurrency Theory, 18th International Conference,
{CONCUR} 2007, Lisbon, Portugal, September 3-8, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4703},
pages = {74--89},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74407-8\_6},
doi = {10.1007/978-3-540-74407-8\_6},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/AlfaroR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/HelanderSVR07,
author = {Johannes Helander and
Risto Serg and
Margus Veanes and
Pritam Roy},
title = {Adapting Futures: Scalability for Real-World Computing},
booktitle = {Proceedings of the 28th {IEEE} Real-Time Systems Symposium {(RTSS}
2007), 3-6 December 2007, Tucson, Arizona, {USA}},
pages = {105--118},
publisher = {{IEEE} Computer Society},
year = {2007},
url = {https://doi.org/10.1109/RTSS.2007.41},
doi = {10.1109/RTSS.2007.41},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtss/HelanderSVR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/AdlerASFLRR06,
author = {B. Thomas Adler and
Luca de Alfaro and
Leandro Dias da Silva and
Marco Faella and
Axel Legay and
Vishwanath Raman and
Pritam Roy},
editor = {Thomas Ball and
Robert B. Jones},
title = {Ticc: {A} Tool for Interface Compatibility and Composition},
booktitle = {Computer Aided Verification, 18th International Conference, {CAV}
2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4144},
pages = {59--62},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11817963\_8},
doi = {10.1007/11817963\_8},
timestamp = {Tue, 09 Jul 2024 07:54:49 +0200},
biburl = {https://dblp.org/rec/conf/cav/AdlerASFLRR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fates/VeanesRC06,
author = {Margus Veanes and
Pritam Roy and
Colin Campbell},
editor = {Klaus Havelund and
Manuel N{\'{u}}{\~{n}}ez and
Grigore Rosu and
Burkhart Wolff},
title = {Online Testing with Reinforcement Learning},
booktitle = {Formal Approaches to Software Testing and Runtime Verification, First
Combined International Workshops, {FATES} 2006 and {RV} 2006, Seattle,
WA, USA, August 15-16, 2006, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4262},
pages = {240--253},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11940197\_16},
doi = {10.1007/11940197\_16},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/fates/VeanesRC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/AlfaroSFLRS05,
author = {Luca de Alfaro and
Leandro Dias da Silva and
Marco Faella and
Axel Legay and
Pritam Roy and
Maria Sorea},
editor = {Bernhard Gramlich},
title = {Sociable Interfaces},
booktitle = {Frontiers of Combining Systems, 5th International Workshop, FroCoS
2005, Vienna, Austria, September 19-21, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3717},
pages = {81--105},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11559306\_5},
doi = {10.1007/11559306\_5},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/AlfaroSFLRS05.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.
last updated on 2025-06-02 01:30 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
