default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Scott A. Smolka
@article{DBLP:journals/eswa/KarimoddiniSK24,
author = {Ali Karimoddini and
Scott A. Smolka and
Mohammad Karimadini},
title = {Fault diagnosis of Discrete Event Systems under uncertain initial
conditions},
journal = {Expert Syst. Appl.},
volume = {255},
pages = {124549},
year = {2024},
url = {https://doi.org/10.1016/j.eswa.2024.124549},
doi = {10.1016/J.ESWA.2024.124549},
timestamp = {Thu, 22 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eswa/KarimoddiniSK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fast/LiuAHKLSSZ24,
author = {Yifei Liu and
Manish Adkar and
Gerard J. Holzmann and
Geoff Kuenning and
Pei Liu and
Scott A. Smolka and
Wei Su and
Erez Zadok},
editor = {Xiaosong Ma and
Youjip Won},
title = {Metis: File System Model Checking via Versatile Input and State Exploration},
booktitle = {22nd {USENIX} Conference on File and Storage Technologies, {FAST}
2024, Santa Clara, CA, USA, February 27-29, 2024},
pages = {123--140},
publisher = {{USENIX} Association},
year = {2024},
url = {https://www.usenix.org/conference/fast24/presentation/liu-yifei},
timestamp = {Tue, 05 Mar 2024 15:23:16 +0100},
biburl = {https://dblp.org/rec/conf/fast/LiuAHKLSSZ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/BrandstatterSS024,
author = {Andreas Brandst{\"{a}}tter and
Scott A. Smolka and
Scott D. Stoller and
Ashish Tiwari and
Radu Grosu},
title = {Flock-Formation Control of Multi-Agent Systems using Imperfect Relative
Distance Measurements},
booktitle = {{IEEE} International Conference on Robotics and Automation, {ICRA}
2024, Yokohama, Japan, May 13-17, 2024},
pages = {12193--12200},
publisher = {{IEEE}},
year = {2024},
url = {https://doi.org/10.1109/ICRA57147.2024.10610147},
doi = {10.1109/ICRA57147.2024.10610147},
timestamp = {Mon, 19 Aug 2024 15:58:53 +0200},
biburl = {https://dblp.org/rec/conf/icra/BrandstatterSS024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/uss/KrishPKSR24,
author = {Veena Krish and
Nicola Paoletti and
Milad Kazemi and
Scott A. Smolka and
Amir Rahmati},
editor = {Davide Balzarotti and
Wenyuan Xu},
title = {Biosignal Authentication Considered Harmful Today},
booktitle = {33rd {USENIX} Security Symposium, {USENIX} Security 2024, Philadelphia,
PA, USA, August 14-16, 2024},
publisher = {{USENIX} Association},
year = {2024},
url = {https://www.usenix.org/conference/usenixsecurity24/presentation/krish},
timestamp = {Mon, 22 Jul 2024 17:10:49 +0200},
biburl = {https://dblp.org/rec/conf/uss/KrishPKSR24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/KrishPSR23,
author = {Veena Krish and
Nicola Paoletti and
Scott A. Smolka and
Amir Rahmati},
title = {Synthesizing Pareto-Optimal Signal-Injection Attacks on ICDs},
journal = {{IEEE} Access},
volume = {11},
pages = {4992--5003},
year = {2023},
url = {https://doi.org/10.1109/ACCESS.2022.3233010},
doi = {10.1109/ACCESS.2022.3233010},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/KrishPSR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/MehmoodRDGSS23,
author = {Usama Mehmood and
Shouvik Roy and
Amol Damare and
Radu Grosu and
Scott A. Smolka and
Scott D. Stoller},
title = {A distributed simplex architecture for multi-agent systems},
journal = {J. Syst. Archit.},
volume = {134},
pages = {102784},
year = {2023},
url = {https://doi.org/10.1016/j.sysarc.2022.102784},
doi = {10.1016/J.SYSARC.2022.102784},
timestamp = {Sat, 14 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsa/MehmoodRDGSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotstorage/LiuAKSZ23,
author = {Yifei Liu and
Gautam Ahuja and
Geoff Kuenning and
Scott A. Smolka and
Erez Zadok},
editor = {Ali Anwar and
Ningfang Mi and
Vasily Tarasov and
Yiying Zhang},
title = {Input and Output Coverage Needed in File System Testing},
booktitle = {Proceedings of the 15th {ACM/USENIX} Workshop on Hot Topics in Storage
and File Systems, HotStorage 2023, Boston, MA, USA, 9 July 2023},
pages = {93--101},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3599691.3603405},
doi = {10.1145/3599691.3603405},
timestamp = {Fri, 21 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hotstorage/LiuAKSZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/ChenSP023,
author = {Hongkai Chen and
Scott A. Smolka and
Nicola Paoletti and
Shan Lin},
title = {An STL-based Approach to Resilient Control for Cyber-Physical Systems},
booktitle = {Proceedings of the 26th {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2023, San Antonio, TX, USA, May 9-12,
2023},
pages = {2:1--2:12},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3575870.3587119},
doi = {10.1145/3575870.3587119},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/ChenSP023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/BrandstatterSSTG23,
author = {Andreas Brandst{\"{a}}tter and
Scott A. Smolka and
Scott D. Stoller and
Ashish Tiwari and
Radu Grosu},
title = {Multi-Agent Spatial Predictive Control with Application to Drone Flocking},
booktitle = {{IEEE} International Conference on Robotics and Automation, {ICRA}
2023, London, UK, May 29 - June 2, 2023},
pages = {1221--1227},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICRA48891.2023.10160617},
doi = {10.1109/ICRA48891.2023.10160617},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icra/BrandstatterSSTG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GruenbacherLHRH22,
author = {Sophie A. Gruenbacher and
Mathias Lechner and
Ramin M. Hasani and
Daniela Rus and
Thomas A. Henzinger and
Scott A. Smolka and
Radu Grosu},
title = {GoTube: Scalable Statistical Verification of Continuous-Depth Models},
booktitle = {Thirty-Sixth {AAAI} Conference on Artificial Intelligence, {AAAI}
2022, Thirty-Fourth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2022, The Twelveth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2022 Virtual Event, February 22
- March 1, 2022},
pages = {6755--6764},
publisher = {{AAAI} Press},
year = {2022},
url = {https://doi.org/10.1609/aaai.v36i6.20631},
doi = {10.1609/AAAI.V36I6.20631},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/GruenbacherLHRH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/ChenLSP22,
author = {Hongkai Chen and
Shan Lin and
Scott A. Smolka and
Nicola Paoletti},
editor = {Sergiy Bogomolov and
David Parker},
title = {An STL-Based Formulation of Resilience in Cyber-Physical Systems},
booktitle = {Formal Modeling and Analysis of Timed Systems - 20th International
Conference, {FORMATS} 2022, Warsaw, Poland, September 13-15, 2022,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13465},
pages = {117--135},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15839-1\_7},
doi = {10.1007/978-3-031-15839-1\_7},
timestamp = {Mon, 24 Oct 2022 20:51:03 +0200},
biburl = {https://dblp.org/rec/conf/formats/ChenLSP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BrandstatterSST22,
author = {Andreas Brandst{\"{a}}tter and
Scott A. Smolka and
Scott D. Stoller and
Ashish Tiwari and
Radu Grosu},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Towards Drone Flocking Using Relative Distance Measurements},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Adaptation and Learning - 11th International Symposium, ISoLA 2022,
Rhodes, Greece, October 22-30, 2022, Proceedings, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {13703},
pages = {97--109},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-19759-8\_7},
doi = {10.1007/978-3-031-19759-8\_7},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/BrandstatterSST22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lrec/GhoshSMSSZB22,
author = {Sayontan Ghosh and
Amanpreet Singh and
Alex Merenstein and
Wei Su and
Scott A. Smolka and
Erez Zadok and
Niranjan Balasubramanian},
editor = {Nicoletta Calzolari and
Fr{\'{e}}d{\'{e}}ric B{\'{e}}chet and
Philippe Blache and
Khalid Choukri and
Christopher Cieri and
Thierry Declerck and
Sara Goggi and
Hitoshi Isahara and
Bente Maegaard and
Joseph Mariani and
H{\'{e}}l{\`{e}}ne Mazo and
Jan Odijk and
Stelios Piperidis},
title = {SpecNFS: {A} Challenge Dataset Towards Extracting Formal Models from
Natural Language Specifications},
booktitle = {Proceedings of the Thirteenth Language Resources and Evaluation Conference,
{LREC} 2022, Marseille, France, 20-25 June 2022},
pages = {2166--2176},
publisher = {European Language Resources Association},
year = {2022},
url = {https://aclanthology.org/2022.lrec-1.233},
timestamp = {Mon, 10 Oct 2022 16:57:52 +0200},
biburl = {https://dblp.org/rec/conf/lrec/GhoshSMSSZB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/MehmoodSBSS22,
author = {Usama Mehmood and
Sanaz Sheikhi and
Stanley Bak and
Scott A. Smolka and
Scott D. Stoller},
editor = {Jyotirmoy V. Deshmukh and
Klaus Havelund and
Ivan Perez},
title = {The Black-Box Simplex Architecture for Runtime Assurance of Autonomous
{CPS}},
booktitle = {{NASA} Formal Methods - 14th International Symposium, {NFM} 2022,
Pasadena, CA, USA, May 24-27, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13260},
pages = {231--250},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-06773-0\_12},
doi = {10.1007/978-3-031-06773-0\_12},
timestamp = {Mon, 23 May 2022 16:36:23 +0200},
biburl = {https://dblp.org/rec/conf/nfm/MehmoodSBSS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/DamareRSS22,
author = {Amol Damare and
Shouvik Roy and
Scott A. Smolka and
Scott D. Stoller},
editor = {Thao Dang and
Volker Stolz},
title = {A Barrier Certificate-Based Simplex Architecture with Application
to Microgrids},
booktitle = {Runtime Verification - 22nd International Conference, {RV} 2022, Tbilisi,
Georgia, September 28-30, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13498},
pages = {105--123},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-17196-3\_6},
doi = {10.1007/978-3-031-17196-3\_6},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rv/DamareRSS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-09710,
author = {Amol Damare and
Shouvik Roy and
Scott A. Smolka and
Scott D. Stoller},
title = {Runtime-Assured, Real-Time Neural Control of Microgrids},
journal = {CoRR},
volume = {abs/2202.09710},
year = {2022},
url = {https://arxiv.org/abs/2202.09710},
eprinttype = {arXiv},
eprint = {2202.09710},
timestamp = {Tue, 01 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2202-09710.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-16960,
author = {Andreas Brandst{\"{a}}tter and
Scott A. Smolka and
Scott D. Stoller and
Ashish Tiwari and
Radu Grosu},
title = {Multi-Agent Spatial Predictive Control with Application to Drone Flocking
(Extended Version)},
journal = {CoRR},
volume = {abs/2203.16960},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.16960},
doi = {10.48550/ARXIV.2203.16960},
eprinttype = {arXiv},
eprint = {2203.16960},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-16960.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-03961,
author = {Hongkai Chen and
Shan Lin and
Scott A. Smolka and
Nicola Paoletti},
title = {An STL-based Formulation of Resilience in Cyber-Physical Systems},
journal = {CoRR},
volume = {abs/2205.03961},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.03961},
doi = {10.48550/ARXIV.2205.03961},
eprinttype = {arXiv},
eprint = {2205.03961},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-03961.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-02794,
author = {Hongkai Chen and
Scott A. Smolka and
Nicola Paoletti and
Shan Lin},
title = {An STL-based Approach to Resilient Control for Cyber-Physical Systems},
journal = {CoRR},
volume = {abs/2211.02794},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.02794},
doi = {10.48550/ARXIV.2211.02794},
eprinttype = {arXiv},
eprint = {2211.02794},
timestamp = {Wed, 09 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-02794.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigact/Smolka21,
author = {Scott A. Smolka},
title = {Kanellakis-Smolka 1983: {A} Convolution of Circumstances},
journal = {{SIGACT} News},
volume = {52},
number = {4},
pages = {78--79},
year = {2021},
url = {https://doi.org/10.1145/3510382.3510395},
doi = {10.1145/3510382.3510395},
timestamp = {Thu, 20 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sigact/Smolka21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BortolussiCPSS21,
author = {Luca Bortolussi and
Francesca Cairoli and
Nicola Paoletti and
Scott A. Smolka and
Scott D. Stoller},
title = {Neural predictive monitoring and a comparison of frequentist and Bayesian
approaches},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {23},
number = {4},
pages = {615--640},
year = {2021},
url = {https://doi.org/10.1007/s10009-021-00623-1},
doi = {10.1007/S10009-021-00623-1},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BortolussiCPSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GruenbacherHLCS21,
author = {Sophie Gruenbacher and
Ramin M. Hasani and
Mathias Lechner and
Jacek Cyranka and
Scott A. Smolka and
Radu Grosu},
title = {On the Verification of Neural ODEs with Stochastic Guarantees},
booktitle = {Thirty-Fifth {AAAI} Conference on Artificial Intelligence, {AAAI}
2021, Thirty-Third Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2021, The Eleventh Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2021, Virtual Event, February 2-9,
2021},
pages = {11525--11535},
publisher = {{AAAI} Press},
year = {2021},
url = {https://doi.org/10.1609/aaai.v35i13.17372},
doi = {10.1609/AAAI.V35I13.17372},
timestamp = {Mon, 04 Sep 2023 12:29:24 +0200},
biburl = {https://dblp.org/rec/conf/aaai/GruenbacherHLCS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/RoyMGSS021,
author = {Shouvik Roy and
Usama Mehmood and
Radu Grosu and
Scott A. Smolka and
Scott D. Stoller and
Ashish Tiwari},
title = {Distributed Control for Flocking Maneuvers via Acceleration-Weighted
Neighborhooding},
booktitle = {2021 American Control Conference, {ACC} 2021, New Orleans, LA, USA,
May 25-28, 2021},
pages = {2745--2750},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.23919/ACC50511.2021.9483155},
doi = {10.23919/ACC50511.2021.9483155},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/amcc/RoyMGSS021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/MehmoodSGS21,
author = {Usama Mehmood and
Scott D. Stoller and
Radu Grosu and
Scott A. Smolka},
editor = {Ezio Bartocci and
Yli{\`{e}}s Falcone and
Martin Leucker},
title = {Collision-Free 3D Flocking Using the Distributed Simplex Architecture},
booktitle = {Formal Methods in Outer Space - Essays Dedicated to Klaus Havelund
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {13065},
pages = {147--156},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-87348-6\_9},
doi = {10.1007/978-3-030-87348-6\_9},
timestamp = {Thu, 18 Nov 2021 08:40:03 +0100},
biburl = {https://dblp.org/rec/conf/birthday/MehmoodSGS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/ChenPS021,
author = {Hongkai Chen and
Nicola Paoletti and
Scott A. Smolka and
Shan Lin},
title = {MPC-guided Imitation Learning of Bayesian Neural Network Policies
for the Artificial Pancreas},
booktitle = {2021 60th {IEEE} Conference on Decision and Control (CDC), Austin,
TX, USA, December 14-17, 2021},
pages = {2525--2532},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/CDC45484.2021.9683240},
doi = {10.1109/CDC45484.2021.9683240},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cdc/ChenPS021.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cinc/BermanKUIIILSGC21,
author = {John P. Berman and
Abouzar Kaboudian and
Ilija Uzelac and
Shahriar Iravanian and
Tinen L. Iles and
Paul A. Iaizzo and
Hyun{-}Kyung Lim and
Scott A. Smolka and
James Glimm and
Elizabeth M. Cherry and
Flavio H. Fenton},
title = {Interactive 3D Human Heart Simulations on Segmented Human {MRI} Hearts},
booktitle = {Computing in Cardiology, CinC 2021, Brno, Czech Republic, September
13-15, 2021},
pages = {1--4},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.23919/CinC53138.2021.9662948},
doi = {10.23919/CINC53138.2021.9662948},
timestamp = {Tue, 18 Jan 2022 09:45:52 +0100},
biburl = {https://dblp.org/rec/conf/cinc/BermanKUIIILSGC21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/MehmoodBSS21,
author = {Usama Mehmood and
Stanley Bak and
Scott A. Smolka and
Scott D. Stoller},
title = {Safe {CPS} from unsafe controllers},
booktitle = {{CAADCPS} '21: Proceedings of the Workshop on Computation-Aware Algorithmic
Design for Cyber-Physical Systems, Nashville, TN, USA, May 19-21,
2021},
pages = {26--28},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3457335.3461712},
doi = {10.1145/3457335.3461712},
timestamp = {Wed, 04 Aug 2021 15:12:03 +0200},
biburl = {https://dblp.org/rec/conf/cpsweek/MehmoodBSS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotstorage/SuLGHSZK21,
author = {Wei Su and
Yifei Liu and
Gomathi Ganesan and
Gerard J. Holzmann and
Scott A. Smolka and
Erez Zadok and
Geoff Kuenning},
editor = {Philip Shilane and
Youjip Won},
title = {Model-Checking Support for File System Development},
booktitle = {HotStorage '21: 13th {ACM} Workshop on Hot Topics in Storage and File
Systems, Virtual Event, USA, July 27-28, 2021},
pages = {103--110},
publisher = {{ACM} / {USENIX} Association},
year = {2021},
url = {https://doi.org/10.1145/3465332.3470878},
doi = {10.1145/3465332.3470878},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hotstorage/SuLGHSZK21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/MehmoodSGRDS21,
author = {Usama Mehmood and
Scott D. Stoller and
Radu Grosu and
Shouvik Roy and
Amol Damare and
Scott A. Smolka},
editor = {Shengchao Qin and
Jim Woodcock and
Wenhui Zhang},
title = {A Distributed Simplex Architecture for Multi-agent Systems},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- 7th International Symposium, {SETTA} 2021, Beijing, China, November
25-27, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13071},
pages = {239--257},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91265-9\_13},
doi = {10.1007/978-3-030-91265-9\_13},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/setta/MehmoodSGRDS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-12981,
author = {Usama Mehmood and
Stanley Bak and
Scott A. Smolka and
Scott D. Stoller},
title = {Safe {CPS} from Unsafe Controllers},
journal = {CoRR},
volume = {abs/2102.12981},
year = {2021},
url = {https://arxiv.org/abs/2102.12981},
eprinttype = {arXiv},
eprint = {2102.12981},
timestamp = {Tue, 02 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-12981.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-08467,
author = {Sophie Gruenbacher and
Mathias Lechner and
Ramin M. Hasani and
Daniela Rus and
Thomas A. Henzinger and
Scott A. Smolka and
Radu Grosu},
title = {GoTube: Scalable Stochastic Verification of Continuous-Depth Models},
journal = {CoRR},
volume = {abs/2107.08467},
year = {2021},
url = {https://arxiv.org/abs/2107.08467},
eprinttype = {arXiv},
eprint = {2107.08467},
timestamp = {Thu, 22 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-08467.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/ShmarovSPBLSZ20,
author = {Fedor Shmarov and
Sadegh Soudjani and
Nicola Paoletti and
Ezio Bartocci and
Shan Lin and
Scott A. Smolka and
Paolo Zuliani},
title = {Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic
Nonlinear Systems},
journal = {{IEEE} Access},
volume = {8},
pages = {180825--180843},
year = {2020},
url = {https://doi.org/10.1109/ACCESS.2020.3028476},
doi = {10.1109/ACCESS.2020.3028476},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/access/ShmarovSPBLSZ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/DeFranciscoCFS20,
author = {Richard DeFrancisco and
Shenghsun Cho and
Michael Ferdman and
Scott A. Smolka},
title = {Swarm model checking on the {GPU}},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {22},
number = {5},
pages = {583--599},
year = {2020},
url = {https://doi.org/10.1007/s10009-020-00576-x},
doi = {10.1007/S10009-020-00576-X},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/DeFranciscoCFS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcbb/PaolettiLCSL20,
author = {Nicola Paoletti and
Kin Sum Liu and
Hongkai Chen and
Scott A. Smolka and
Shan Lin},
title = {Data-Driven Robust Control for a Closed-Loop Artificial Pancreas},
journal = {{IEEE} {ACM} Trans. Comput. Biol. Bioinform.},
volume = {17},
number = {6},
pages = {1981--1993},
year = {2020},
url = {https://doi.org/10.1109/TCBB.2019.2912609},
doi = {10.1109/TCBB.2019.2912609},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcbb/PaolettiLCSL20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsos/RoyMGSS020,
author = {Shouvik Roy and
Usama Mehmood and
Radu Grosu and
Scott A. Smolka and
Scott D. Stoller and
Ashish Tiwari},
title = {Learning Distributed Controllers for V-Formation},
booktitle = {{IEEE} International Conference on Autonomic Computing and Self-Organizing
Systems, {ACSOS} 2020, Washington, DC, USA, August 17-21, 2020},
pages = {119--128},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ACSOS49614.2020.00033},
doi = {10.1109/ACSOS49614.2020.00033},
timestamp = {Fri, 23 Oct 2020 15:33:10 +0200},
biburl = {https://dblp.org/rec/conf/acsos/RoyMGSS020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/GruenbacherCLIS20,
author = {Sophie Gruenbacher and
Jacek Cyranka and
Mathias Lechner and
Md. Ariful Islam and
Scott A. Smolka and
Radu Grosu},
title = {Lagrangian Reachtubes: The Next Generation},
booktitle = {59th {IEEE} Conference on Decision and Control, {CDC} 2020, Jeju Island,
South Korea, December 14-18, 2020},
pages = {1556--1563},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/CDC42340.2020.9304042},
doi = {10.1109/CDC42340.2020.9304042},
timestamp = {Fri, 04 Mar 2022 13:31:02 +0100},
biburl = {https://dblp.org/rec/conf/cdc/GruenbacherCLIS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/MehmoodRGSS020,
author = {Usama Mehmood and
Shouvik Roy and
Radu Grosu and
Scott A. Smolka and
Scott D. Stoller and
Ashish Tiwari},
editor = {Jean Goubault{-}Larrecq and
Barbara K{\"{o}}nig},
title = {Neural Flocking: MPC-Based Supervised Learning of Flocking Controllers},
booktitle = {Foundations of Software Science and Computation Structures - 23rd
International Conference, {FOSSACS} 2020, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2020,
Dublin, Ireland, April 25-30, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12077},
pages = {1--16},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-45231-5\_1},
doi = {10.1007/978-3-030-45231-5\_1},
timestamp = {Fri, 14 May 2021 08:34:11 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/MehmoodRGSS020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/PhanG0PSS20,
author = {Dung T. Phan and
Radu Grosu and
Nils Jansen and
Nicola Paoletti and
Scott A. Smolka and
Scott D. Stoller},
editor = {Ritchie Lee and
Susmit Jha and
Anastasia Mavridou},
title = {Neural Simplex Architecture},
booktitle = {{NASA} Formal Methods - 12th International Symposium, {NFM} 2020,
Moffett Field, CA, USA, May 11-15, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12229},
pages = {97--114},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-55754-6\_6},
doi = {10.1007/978-3-030-55754-6\_6},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/PhanG0PSS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/overlay/BortolussiCPSS20,
author = {Luca Bortolussi and
Francesca Cairoli and
Nicola Paoletti and
Scott A. Smolka and
Scott D. Stoller},
editor = {Riccardo De Benedictis and
Luca Geretti and
Andrea Micheli},
title = {Bayesian Neural Predictive Monitoring},
booktitle = {Proceedings of the 2nd Workshop on Artificial Intelligence and Formal
Verification, Logic, Automata, and Synthesis hosted by the Bolzano
Summer of Knowledge 2020 {(BOSK} 2020), September 25, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2785},
pages = {95--100},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2785/paper16.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:17 +0100},
biburl = {https://dblp.org/rec/conf/overlay/BortolussiCPSS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-08955,
author = {Radu Grosu and
Anna Lukina and
Scott A. Smolka and
Ashish Tiwari and
Vasudha Varadarajan and
Xingfang Wang},
title = {V-Formation via Model Predictive Control},
journal = {CoRR},
volume = {abs/2002.08955},
year = {2020},
url = {https://arxiv.org/abs/2002.08955},
eprinttype = {arXiv},
eprint = {2002.08955},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-08955.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-01283,
author = {Hongkai Chen and
Nicola Paoletti and
Scott A. Smolka and
Shan Lin},
title = {MPC-guided Imitation Learning of Neural Network Policies for the Artificial
Pancreas},
journal = {CoRR},
volume = {abs/2003.01283},
year = {2020},
url = {https://arxiv.org/abs/2003.01283},
eprinttype = {arXiv},
eprint = {2003.01283},
timestamp = {Wed, 10 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-01283.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-00680,
author = {Shouvik Roy and
Usama Mehmood and
Radu Grosu and
Scott A. Smolka and
Scott D. Stoller and
Ashish Tiwari},
title = {Learning Distributed Controllers for V-Formation},
journal = {CoRR},
volume = {abs/2006.00680},
year = {2020},
url = {https://arxiv.org/abs/2006.00680},
eprinttype = {arXiv},
eprint = {2006.00680},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-00680.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-07458,
author = {Sophie Gruenbacher and
Jacek Cyranka and
Mathias Lechner and
Md. Ariful Islam and
Scott A. Smolka and
Radu Grosu},
title = {Lagrangian Reachtubes: The Next Generation},
journal = {CoRR},
volume = {abs/2012.07458},
year = {2020},
url = {https://arxiv.org/abs/2012.07458},
eprinttype = {arXiv},
eprint = {2012.07458},
timestamp = {Sat, 02 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-07458.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-08863,
author = {Sophie Gruenbacher and
Ramin M. Hasani and
Mathias Lechner and
Jacek Cyranka and
Scott A. Smolka and
Radu Grosu},
title = {On The Verification of Neural ODEs with Stochastic Guarantees},
journal = {CoRR},
volume = {abs/2012.08863},
year = {2020},
url = {https://arxiv.org/abs/2012.08863},
eprinttype = {arXiv},
eprint = {2012.08863},
timestamp = {Sat, 02 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-08863.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-10153,
author = {Usama Mehmood and
Scott D. Stoller and
Radu Grosu and
Shouvik Roy and
Amol Damare and
Scott A. Smolka},
title = {A Distributed Simplex Architecture for Multi-Agent Systems},
journal = {CoRR},
volume = {abs/2012.10153},
year = {2020},
url = {https://arxiv.org/abs/2012.10153},
eprinttype = {arXiv},
eprint = {2012.10153},
timestamp = {Mon, 04 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-10153.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcbb/AbbasRMBSG19,
author = {Houssam Abbas and
Al{\"{e}}na Rodionova and
Konstantinos Mamouras and
Ezio Bartocci and
Scott A. Smolka and
Radu Grosu},
title = {Quantitative Regular Expressions for Arrhythmia Detection},
journal = {{IEEE} {ACM} Trans. Comput. Biol. Bioinform.},
volume = {16},
number = {5},
pages = {1586--1597},
year = {2019},
url = {https://doi.org/10.1109/TCBB.2018.2885274},
doi = {10.1109/TCBB.2018.2885274},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcbb/AbbasRMBSG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/IslamCFGJS19,
author = {Md. Ariful Islam and
Rance Cleaveland and
Flavio H. Fenton and
Radu Grosu and
Paul L. Jones and
Scott A. Smolka},
title = {Probabilistic reachability for multi-parameter bifurcation analysis
of cardiac alternans},
journal = {Theor. Comput. Sci.},
volume = {765},
pages = {158--169},
year = {2019},
url = {https://doi.org/10.1016/j.tcs.2018.02.005},
doi = {10.1016/J.TCS.2018.02.005},
timestamp = {Wed, 03 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/IslamCFGJS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/ChenPSL19,
author = {Hongkai Chen and
Nicola Paoletti and
Scott A. Smolka and
Shan Lin},
title = {Committed Moving Horizon Estimation for Meal Detection and Estimation
in Type 1 Diabetes},
booktitle = {2019 American Control Conference, {ACC} 2019, Philadelphia, PA, USA,
July 10-12, 2019},
pages = {4765--4772},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.23919/ACC.2019.8814868},
doi = {10.23919/ACC.2019.8814868},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amcc/ChenPSL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/GruenbacherCITS19,
author = {Sophie Gruenbacher and
Jacek Cyranka and
Md. Ariful Islam and
Max Tschaikowski and
Scott A. Smolka and
Radu Grosu},
editor = {Goran Frehse and
Matthias Althoff},
title = {Under the Hood of a Stand-Alone Lagrangian Reachability Tool},
booktitle = {{ARCH19.} 6th International Workshop on Applied Verification of Continuous
and Hybrid Systemsi, part of CPS-IoT Week 2019, Montreal, QC, Canada,
April 15, 2019},
series = {EPiC Series in Computing},
volume = {61},
pages = {211--219},
publisher = {EasyChair},
year = {2019},
url = {https://doi.org/10.29007/ns8p},
doi = {10.29007/NS8P},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpsweek/GruenbacherCITS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccps/PaolettiJIAMLGS19,
author = {Nicola Paoletti and
Zhihao Jiang and
Md. Ariful Islam and
Houssam Abbas and
Rahul Mangharam and
Shan Lin and
Zachary Gruber and
Scott A. Smolka},
editor = {Xue Liu and
Paulo Tabuada and
Miroslav Pajic and
Linda Bushnell},
title = {Synthesizing stealthy reprogramming attacks on cardiac devices},
booktitle = {Proceedings of the 10th {ACM/IEEE} International Conference on Cyber-Physical
Systems, {ICCPS} 2019, Montreal, QC, Canada, April 16-18, 2019},
pages = {13--22},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3302509.3311044},
doi = {10.1145/3302509.3311044},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccps/PaolettiJIAMLGS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/BortolussiCPSS19,
author = {Luca Bortolussi and
Francesca Cairoli and
Nicola Paoletti and
Scott A. Smolka and
Scott D. Stoller},
editor = {Bernd Finkbeiner and
Leonardo Mariani},
title = {Neural Predictive Monitoring},
booktitle = {Runtime Verification - 19th International Conference, {RV} 2019, Porto,
Portugal, October 8-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11757},
pages = {129--147},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-32079-9\_8},
doi = {10.1007/978-3-030-32079-9\_8},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/BortolussiCPSS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/LukinaTSG19,
author = {Anna Lukina and
Ashish Tiwari and
Scott A. Smolka and
Radu Grosu},
editor = {Chih{-}Cheng Hung and
George A. Papadopoulos},
title = {Distributed adaptive-neighborhood control for stochastic reachability
in multi-agent systems},
booktitle = {Proceedings of the 34th {ACM/SIGAPP} Symposium on Applied Computing,
{SAC} 2019, Limassol, Cyprus, April 8-12, 2019},
pages = {914--921},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3297280.3297370},
doi = {10.1145/3297280.3297370},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/LukinaTSG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snr/PhanPZGSS19,
author = {Dung T. Phan and
Nicola Paoletti and
Timothy Zhang and
Radu Grosu and
Scott A. Smolka and
Scott D. Stoller},
editor = {Sriram Sankaranarayanan and
Sadegh Soudjani},
title = {Neural state classification for hybrid systems},
booktitle = {Proceedings of the Fifth International Workshop on Symbolic-Numeric
methods for Reasoning about {CPS} and IoT, {SNR} '19, Montreal, Quebec,
Canada, April 15, 2019},
pages = {24--27},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3313149.3313372},
doi = {10.1145/3313149.3313372},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/snr/PhanPZGSS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/DeFranciscoCFS19,
author = {Richard DeFrancisco and
Shenghsun Cho and
Michael Ferdman and
Scott A. Smolka},
editor = {Fabrizio Biondi and
Thomas Given{-}Wilson and
Axel Legay},
title = {Swarm Model Checking on the {GPU}},
booktitle = {Model Checking Software - 26th International Symposium, {SPIN} 2019,
Beijing, China, July 15-16, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11636},
pages = {94--113},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-30923-7\_6},
doi = {10.1007/978-3-030-30923-7\_6},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/DeFranciscoCFS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/LegayLTYSG19,
author = {Axel Legay and
Anna Lukina and
Louis{-}Marie Traonouez and
Junxing Yang and
Scott A. Smolka and
Radu Grosu},
editor = {Bernhard Steffen and
Gerhard J. Woeginger},
title = {Statistical Model Checking},
booktitle = {Computing and Software Science - State of the Art and Perspectives},
series = {Lecture Notes in Computer Science},
volume = {10000},
pages = {478--504},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-319-91908-9\_23},
doi = {10.1007/978-3-319-91908-9\_23},
timestamp = {Tue, 12 Sep 2023 07:58:41 +0200},
biburl = {https://dblp.org/rec/series/lncs/LegayLTYSG19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1901-03315,
author = {Fedor Shmarov and
Sadegh Soudjani and
Nicola Paoletti and
Ezio Bartocci and
Shan Lin and
Scott A. Smolka and
Paolo Zuliani},
title = {Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic
Nonlinear Systems},
journal = {CoRR},
volume = {abs/1901.03315},
year = {2019},
url = {http://arxiv.org/abs/1901.03315},
eprinttype = {arXiv},
eprint = {1901.03315},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1901-03315.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-00528,
author = {Dung T. Phan and
Nicola Paoletti and
Radu Grosu and
Nils Jansen and
Scott A. Smolka and
Scott D. Stoller},
title = {Neural Simplex Architecture},
journal = {CoRR},
volume = {abs/1908.00528},
year = {2019},
url = {http://arxiv.org/abs/1908.00528},
eprinttype = {arXiv},
eprint = {1908.00528},
timestamp = {Mon, 10 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-00528.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-09813,
author = {Shouvik Roy and
Usama Mehmood and
Radu Grosu and
Scott A. Smolka and
Scott D. Stoller and
Ashish Tiwari},
title = {Neural Flocking: MPC-based Supervised Learning of Flocking Controllers},
journal = {CoRR},
volume = {abs/1908.09813},
year = {2019},
url = {http://arxiv.org/abs/1908.09813},
eprinttype = {arXiv},
eprint = {1908.09813},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-09813.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/PhanPZGSS18,
author = {Dung T. Phan and
Nicola Paoletti and
Timothy Zhang and
Radu Grosu and
Scott A. Smolka and
Scott D. Stoller},
editor = {Shuvendu K. Lahiri and
Chao Wang},
title = {Neural State Classification for Hybrid Systems},
booktitle = {Automated Technology for Verification and Analysis - 16th International
Symposium, {ATVA} 2018, Los Angeles, CA, USA, October 7-10, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11138},
pages = {422--440},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-01090-4\_25},
doi = {10.1007/978-3-030-01090-4\_25},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/PhanPZGSS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/CyrankaISGG18,
author = {Jacek Cyranka and
Md. Ariful Islam and
Scott A. Smolka and
Sicun Gao and
Radu Grosu},
title = {Tight Continuous-Time Reachtubes for Lagrangian Reachability},
booktitle = {57th {IEEE} Conference on Decision and Control, {CDC} 2018, Miami,
FL, USA, December 17-19, 2018},
pages = {6854--6861},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/CDC.2018.8619647},
doi = {10.1109/CDC.2018.8619647},
timestamp = {Fri, 04 Mar 2022 13:30:11 +0100},
biburl = {https://dblp.org/rec/conf/cdc/CyrankaISGG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/LukinaTSEYG18,
author = {Anna Lukina and
Ashish Tiwari and
Scott A. Smolka and
Lukas Esterle and
Junxing Yang and
Radu Grosu},
title = {Resilient Control and Safety for Cyber-Physical Systems},
booktitle = {3rd Workshop on Monitoring and Testing of Cyber-Physical Systems,
MT@CPSWeek 2018, Porto, Portugal, April 10, 2018},
pages = {16--17},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/MT-CPS.2018.00015},
doi = {10.1109/MT-CPS.2018.00015},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpsweek/LukinaTSEYG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/MehmoodPPGLSTYS18,
author = {Usama Mehmood and
Nicola Paoletti and
Dung T. Phan and
Radu Grosu and
Shan Lin and
Scott D. Stoller and
Ashish Tiwari and
Junxing Yang and
Scott A. Smolka},
editor = {Hisham M. Haddad and
Roger L. Wainwright and
Richard Chbeir},
title = {Declarative vs rule-based control for flocking dynamics},
booktitle = {Proceedings of the 33rd Annual {ACM} Symposium on Applied Computing,
{SAC} 2018, Pau, France, April 09-13, 2018},
pages = {816--823},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3167132.3167222},
doi = {10.1145/3167132.3167222},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/MehmoodPPGLSTYS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/mc/CleavelandRS18,
author = {Rance Cleaveland and
A. W. Roscoe and
Scott A. Smolka},
editor = {Edmund M. Clarke and
Thomas A. Henzinger and
Helmut Veith and
Roderick Bloem},
title = {Process Algebra and Model Checking},
booktitle = {Handbook of Model Checking},
pages = {1149--1195},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-10575-8\_32},
doi = {10.1007/978-3-319-10575-8\_32},
timestamp = {Mon, 03 Jan 2022 22:13:30 +0100},
biburl = {https://dblp.org/rec/reference/mc/CleavelandRS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-07929,
author = {Anna Lukina and
Ashish Tiwari and
Scott A. Smolka and
Radu Grosu},
title = {Adaptive Neighborhood Resizing for Stochastic Reachability in Multi-Agent
Systems},
journal = {CoRR},
volume = {abs/1805.07929},
year = {2018},
url = {http://arxiv.org/abs/1805.07929},
eprinttype = {arXiv},
eprint = {1805.07929},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-07929.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-09901,
author = {Dung T. Phan and
Nicola Paoletti and
Timothy Zhang and
Radu Grosu and
Scott A. Smolka and
Scott D. Stoller},
title = {Neural State Classification for Hybrid Systems},
journal = {CoRR},
volume = {abs/1807.09901},
year = {2018},
url = {http://arxiv.org/abs/1807.09901},
eprinttype = {arXiv},
eprint = {1807.09901},
timestamp = {Mon, 10 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1807-09901.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1809-07450,
author = {Jacek Cyranka and
Md. Ariful Islam and
Scott A. Smolka and
Sicun Gao and
Radu Grosu},
title = {Tight Continuous-Time Reachtubes for Lagrangian Reachability},
journal = {CoRR},
volume = {abs/1809.07450},
year = {2018},
url = {http://arxiv.org/abs/1809.07450},
eprinttype = {arXiv},
eprint = {1809.07450},
timestamp = {Fri, 05 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-07450.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1810-03808,
author = {Nicola Paoletti and
Zhihao Jiang and
Md. Ariful Islam and
Houssam Abbas and
Rahul Mangharam and
Shan Lin and
Zachary Gruber and
Scott A. Smolka},
title = {Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices},
journal = {CoRR},
volume = {abs/1810.03808},
year = {2018},
url = {http://arxiv.org/abs/1810.03808},
eprinttype = {arXiv},
eprint = {1810.03808},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-03808.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/PhanYGSS17,
author = {Dung T. Phan and
Junxing Yang and
Radu Grosu and
Scott A. Smolka and
Scott D. Stoller},
title = {Collision avoidance for mobile robots with limited sensing and limited
information about moving obstacles},
journal = {Formal Methods Syst. Des.},
volume = {51},
number = {1},
pages = {62--86},
year = {2017},
url = {https://doi.org/10.1007/s10703-016-0265-4},
doi = {10.1007/S10703-016-0265-4},
timestamp = {Mon, 10 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fmsd/PhanYGSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/PhanYCGSSS17,
author = {Dung T. Phan and
Junxing Yang and
Matthew Clark and
Radu Grosu and
John D. Schierman and
Scott A. Smolka and
Scott D. Stoller},
title = {A Component-Based Simplex Architecture for High-Assurance Cyber-Physical
Systems},
booktitle = {17th International Conference on Application of Concurrency to System
Design, {ACSD} 2017, Zaragoza, Spain, June 25-30, 2017},
pages = {49--58},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ACSD.2017.23},
doi = {10.1109/ACSD.2017.23},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/PhanYCGSSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/TiwariSELYG17,
author = {Ashish Tiwari and
Scott A. Smolka and
Lukas Esterle and
Anna Lukina and
Junxing Yang and
Radu Grosu},
editor = {Deepak D'Souza and
K. Narayan Kumar},
title = {Attacking the {V:} On the Resiliency of Adaptive-Horizon {MPC}},
booktitle = {Automated Technology for Verification and Analysis - 15th International
Symposium, {ATVA} 2017, Pune, India, October 3-6, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10482},
pages = {446--462},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68167-2\_29},
doi = {10.1007/978-3-319-68167-2\_29},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/TiwariSELYG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CyrankaIBJSG17,
author = {Jacek Cyranka and
Md. Ariful Islam and
Greg Byrne and
Paul L. Jones and
Scott A. Smolka and
Radu Grosu},
editor = {Rupak Majumdar and
Viktor Kuncak},
title = {Lagrangian Reachabililty},
booktitle = {Computer Aided Verification - 29th International Conference, {CAV}
2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {10426},
pages = {379--400},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63387-9\_19},
doi = {10.1007/978-3-319-63387-9\_19},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/CyrankaIBJSG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/AbbasRBSG17,
author = {Houssam Abbas and
Al{\"{e}}na Rodionova and
Ezio Bartocci and
Scott A. Smolka and
Radu Grosu},
editor = {J{\'{e}}r{\^{o}}me Feret and
Heinz Koeppl},
title = {Quantitative Regular Expressions for Arrhythmia Detection Algorithms},
booktitle = {Computational Methods in Systems Biology - 15th International Conference,
{CMSB} 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10545},
pages = {23--39},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67471-1\_2},
doi = {10.1007/978-3-319-67471-1\_2},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/AbbasRBSG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/PaolettiLSL17,
author = {Nicola Paoletti and
Kin Sum Liu and
Scott A. Smolka and
Shan Lin},
editor = {J{\'{e}}r{\^{o}}me Feret and
Heinz Koeppl},
title = {Data-Driven Robust Control for Type 1 Diabetes Under Meal and Exercise
Uncertainties},
booktitle = {Computational Methods in Systems Biology - 15th International Conference,
{CMSB} 2017, Darmstadt, Germany, September 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10545},
pages = {214--232},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-67471-1\_13},
doi = {10.1007/978-3-319-67471-1\_13},
timestamp = {Wed, 10 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cmsb/PaolettiLSL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hvc/ShmarovPBLSZ17,
author = {Fedor Shmarov and
Nicola Paoletti and
Ezio Bartocci and
Shan Lin and
Scott A. Smolka and
Paolo Zuliani},
editor = {Ofer Strichman and
Rachel Tzoref{-}Brill},
title = {SMT-based Synthesis of Safe and Robust {PID} Controllers for Stochastic
Hybrid Systems},
booktitle = {Hardware and Software: Verification and Testing - 13th International
Haifa Verification Conference, {HVC} 2017, Haifa, Israel, November
13-15, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10629},
pages = {131--146},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70389-3\_9},
doi = {10.1007/978-3-319-70389-3\_9},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hvc/ShmarovPBLSZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/YangIMSS17,
author = {Junxing Yang and
Md. Ariful Islam and
Abhishek Murthy and
Scott A. Smolka and
Scott D. Stoller},
editor = {Stefano Tonetta and
Erwin Schoitsch and
Friedemann Bitsch},
title = {A Simplex Architecture for Hybrid Systems Using Barrier Certificates},
booktitle = {Computer Safety, Reliability, and Security - 36th International Conference,
{SAFECOMP} 2017, Trento, Italy, September 13-15, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10488},
pages = {117--131},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66266-4\_8},
doi = {10.1007/978-3-319-66266-4\_8},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/YangIMSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/LukinaEHBYTSG17,
author = {Anna Lukina and
Lukas Esterle and
Christian Hirsch and
Ezio Bartocci and
Junxing Yang and
Ashish Tiwari and
Scott A. Smolka and
Radu Grosu},
editor = {Axel Legay and
Tiziana Margaria},
title = {{ARES:} Adaptive Receding-Horizon Synthesis of Optimal Plans},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 23rd International Conference, {TACAS} 2017, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10206},
pages = {286--302},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54580-5\_17},
doi = {10.1007/978-3-662-54580-5\_17},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/LukinaEHBYTSG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SmolkaTELYG17,
author = {Scott A. Smolka and
Ashish Tiwari and
Lukas Esterle and
Anna Lukina and
Junxing Yang and
Radu Grosu},
title = {Attacking the {V:} On the Resiliency of Adaptive-Horizon {MPC}},
journal = {CoRR},
volume = {abs/1702.00290},
year = {2017},
url = {http://arxiv.org/abs/1702.00290},
eprinttype = {arXiv},
eprint = {1702.00290},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/SmolkaTELYG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/PhanSGMSY17,
author = {Dung T. Phan and
Scott A. Smolka and
Radu Grosu and
Usama Mehmood and
Scott D. Stoller and
Junxing Yang},
title = {Model Checking Cyber-Physical Systems using Particle Swarm Optimization},
journal = {CoRR},
volume = {abs/1703.01257},
year = {2017},
url = {http://arxiv.org/abs/1703.01257},
eprinttype = {arXiv},
eprint = {1703.01257},
timestamp = {Mon, 10 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/PhanSGMSY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/PhanYCGSSS17,
author = {Dung T. Phan and
Junxing Yang and
Matthew Clark and
Radu Grosu and
John D. Schierman and
Scott A. Smolka and
Scott D. Stoller},
title = {A Component-Based Simplex Architecture for High-Assurance Cyber-Physical
Systems},
journal = {CoRR},
volume = {abs/1704.04759},
year = {2017},
url = {http://arxiv.org/abs/1704.04759},
eprinttype = {arXiv},
eprint = {1704.04759},
timestamp = {Mon, 10 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/PhanYCGSSS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CyrankaIBJSG17,
author = {Jacek Cyranka and
Md. Ariful Islam and
Greg Byrne and
Paul L. Jones and
Scott A. Smolka and
Radu Grosu},
title = {Lagrangian Reachabililty},
journal = {CoRR},
volume = {abs/1705.05927},
year = {2017},
url = {http://arxiv.org/abs/1705.05927},
eprinttype = {arXiv},
eprint = {1705.05927},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CyrankaIBJSG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/PaolettiLSL17,
author = {Nicola Paoletti and
Kin Sum Liu and
Scott A. Smolka and
Shan Lin},
title = {Data-Driven Robust Control for Type 1 Diabetes Under Meal and Exercise
Uncertainties},
journal = {CoRR},
volume = {abs/1707.02246},
year = {2017},
url = {http://arxiv.org/abs/1707.02246},
eprinttype = {arXiv},
eprint = {1707.02246},
timestamp = {Wed, 10 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/PaolettiLSL17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ShmarovPBLSZ17,
author = {Fedor Shmarov and
Nicola Paoletti and
Ezio Bartocci and
Shan Lin and
Scott A. Smolka and
Paolo Zuliani},
title = {Automated Synthesis of Safe and Robust {PID} Controllers for Stochastic
Hybrid Systems},
journal = {CoRR},
volume = {abs/1707.05229},
year = {2017},
url = {http://arxiv.org/abs/1707.05229},
eprinttype = {arXiv},
eprint = {1707.05229},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/ShmarovPBLSZ17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-10013,
author = {Usama Mehmood and
Nicola Paoletti and
Dung T. Phan and
Radu Grosu and
Shan Lin and
Scott D. Stoller and
Ashish Tiwari and
Junxing Yang and
Scott A. Smolka},
title = {Declarative vs Rule-based Control for Flocking Dynamics},
journal = {CoRR},
volume = {abs/1710.10013},
year = {2017},
url = {http://arxiv.org/abs/1710.10013},
eprinttype = {arXiv},
eprint = {1710.10013},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1710-10013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1712-01935,
author = {Dung T. Phan and
Radu Grosu and
Nicola Paoletti and
Scott A. Smolka and
Scott D. Stoller},
title = {How to Learn a Model Checker},
journal = {CoRR},
volume = {abs/1712.01935},
year = {2017},
url = {http://arxiv.org/abs/1712.01935},
eprinttype = {arXiv},
eprint = {1712.01935},
timestamp = {Mon, 10 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1712-01935.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/AcetoDGHHISST16,
author = {Luca Aceto and
Mariangiola Dezani{-}Ciancaglini and
Yuri Gurevich and
David Harel and
Monika Henzinger and
Giuseppe F. Italiano and
Scott A. Smolka and
Paul G. Spirakis and
Wolfgang Thomas},
title = {{EATCS} Fellows' Advice to the Young Theoretical Computer Scientist},
journal = {Bull. {EATCS}},
volume = {119},
year = {2016},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/419},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/AcetoDGHHISST16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bibm/IslamLPAJCCGCGM16,
author = {Md. Ariful Islam and
Hyun{-}Kyung Lim and
Nicola Paoletti and
Houssam Abbas and
Zhihao Jiang and
Jacek Cyranka and
Rance Cleaveland and
Sicun Gao and
Edmund M. Clarke and
Radu Grosu and
Rahul Mangharam and
Elizabeth Cherry and
Flavio H. Fenton and
Richard A. Gray and
James Glimm and
Shan Lin and
Qinsi Wang and
Scott A. Smolka},
editor = {Tianhai Tian and
Qinghua Jiang and
Yunlong Liu and
Kevin Burrage and
Jiangning Song and
Yadong Wang and
Xiaohua Hu and
Shinichi Morishita and
Qian Zhu and
Guohua Wang},
title = {CyberCardia project: Modeling, verification and validation of implantable
cardiac devices},
booktitle = {{IEEE} International Conference on Bioinformatics and Biomedicine,
{BIBM} 2016, Shenzhen, China, December 15-18, 2016},
pages = {1445--1452},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/BIBM.2016.7822737},
doi = {10.1109/BIBM.2016.7822737},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/bibm/IslamLPAJCCGCGM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/IslamBKCCFGJS16,
author = {Md. Ariful Islam and
Greg Byrne and
Soonho Kong and
Edmund M. Clarke and
Rance Cleaveland and
Flavio H. Fenton and
Radu Grosu and
Paul L. Jones and
Scott A. Smolka},
editor = {Ezio Bartocci and
Pietro Li{\`{o}} and
Nicola Paoletti},
title = {Bifurcation Analysis of Cardiac Alternans Using {\textbackslash}delta
-Decidability},
booktitle = {Computational Methods in Systems Biology - 14th International Conference,
{CMSB} 2016, Cambridge, UK, September 21-23, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9859},
pages = {132--146},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-45177-0\_9},
doi = {10.1007/978-3-319-45177-0\_9},
timestamp = {Sun, 02 Jun 2019 21:13:15 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/IslamBKCCFGJS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/YangGST16,
author = {Junxing Yang and
Radu Grosu and
Scott A. Smolka and
Ashish Tiwari},
editor = {Jos{\'{e}}e Desharnais and
Radha Jagadeesan},
title = {Love Thy Neighbor: V-Formation as a Problem of Model Predictive Control},
booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
August 23-26, 2016, Qu{\'{e}}bec City, Canada},
series = {LIPIcs},
volume = {59},
pages = {4:1--4:5},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.4},
doi = {10.4230/LIPICS.CONCUR.2016.4},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/concur/YangGST16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hldvt/IslamWHBCGS16,
author = {Md. Ariful Islam and
Qinsi Wang and
Ramin M. Hasani and
Ondrej Balun and
Edmund M. Clarke and
Radu Grosu and
Scott A. Smolka},
title = {Probabilistic reachability analysis of the tap withdrawal circuit
in caenorhabditis elegans},
booktitle = {{IEEE} International High Level Design Validation and Test Workshop,
{HLDVT} 2016, Santa Cruz, CA, USA, October 7-8, 2016},
pages = {170--177},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/HLDVT.2016.7748272},
doi = {10.1109/HLDVT.2016.7748272},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hldvt/IslamWHBCGS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/KalajdzicJLBLSG16,
author = {Kenan Kalajdzic and
Cyrille J{\'{e}}gourel and
Anna Lukina and
Ezio Bartocci and
Axel Legay and
Scott A. Smolka and
Radu Grosu},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Feedback Control for Statistical Model Checking of Cyber-Physical
Systems},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Foundational Techniques - 7th International Symposium, ISoLA 2016,
Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9952},
pages = {46--61},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47166-2\_4},
doi = {10.1007/978-3-319-47166-2\_4},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/KalajdzicJLBLSG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LukinaEHBYTSG16,
author = {Anna Lukina and
Lukas Esterle and
Christian Hirsch and
Ezio Bartocci and
Junxing Yang and
Ashish Tiwari and
Scott A. Smolka and
Radu Grosu},
title = {{ARES:} Adaptive Receding-Horizon Synthesis of Optimal Plans},
journal = {CoRR},
volume = {abs/1612.07059},
year = {2016},
url = {http://arxiv.org/abs/1612.07059},
eprinttype = {arXiv},
eprint = {1612.07059},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/LukinaEHBYTSG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AbbasRBSG16,
author = {Houssam Abbas and
Al{\"{e}}na Rodionova and
Ezio Bartocci and
Scott A. Smolka and
Radu Grosu},
title = {Regular Expressions for Irregular Rhythms},
journal = {CoRR},
volume = {abs/1612.07770},
year = {2016},
url = {http://arxiv.org/abs/1612.07770},
eprinttype = {arXiv},
eprint = {1612.07770},
timestamp = {Mon, 18 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AbbasRBSG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Chatzieleftheriou15,
author = {George Chatzieleftheriou and
Borzoo Bonakdarpour and
Panagiotis Katsaros and
Scott A. Smolka},
title = {Abstract Model Repair},
journal = {Log. Methods Comput. Sci.},
volume = {11},
number = {3},
year = {2015},
url = {https://doi.org/10.2168/LMCS-11(3:11)2015},
doi = {10.2168/LMCS-11(3:11)2015},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Chatzieleftheriou15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/IslamMBCFGSG15,
author = {Md. Ariful Islam and
Abhishek Murthy and
Ezio Bartocci and
Elizabeth Cherry and
Flavio H. Fenton and
James Glimm and
Scott A. Smolka and
Radu Grosu},
title = {Model-order reduction of ion channel dynamics using approximate bisimulation},
journal = {Theor. Comput. Sci.},
volume = {599},
pages = {34--46},
year = {2015},
url = {https://doi.org/10.1016/j.tcs.2014.03.018},
doi = {10.1016/J.TCS.2014.03.018},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/IslamMBCFGSG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cdc/SelyuninRBISG15,
author = {Konstantin Selyunin and
Denise Ratasich and
Ezio Bartocci and
Md. Ariful Islam and
Scott A. Smolka and
Radu Grosu},
title = {Neural Programming: Towards adaptive control in Cyber-Physical Systems},
booktitle = {54th {IEEE} Conference on Decision and Control, {CDC} 2015, Osaka,
Japan, December 15-18, 2015},
pages = {6978--6985},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/CDC.2015.7403319},
doi = {10.1109/CDC.2015.7403319},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/cdc/SelyuninRBISG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hsb/IslamDFGMS15,
author = {Md. Ariful Islam and
Richard DeFrancisco and
Chuchu Fan and
Radu Grosu and
Sayan Mitra and
Scott A. Smolka},
editor = {Alessandro Abate and
David Safr{\'{a}}nek},
title = {Model Checking Tap Withdrawal in C. Elegans},
booktitle = {Hybrid Systems Biology - Fourth International Workshop, {HSB} 2015,
Madrid, Spain, September 4-5, 2015. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {9271},
pages = {195--210},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26916-0\_11},
doi = {10.1007/978-3-319-26916-0\_11},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hsb/IslamDFGMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/MurthyISG15,
author = {Abhishek Murthy and
Md. Ariful Islam and
Scott A. Smolka and
Radu Grosu},
editor = {Antoine Girard and
Sriram Sankaranarayanan},
title = {Computing bisimulation functions using {SOS} optimization and \emph{{\(\delta\)}}-decidability
over the reals},
booktitle = {Proceedings of the 18th International Conference on Hybrid Systems:
Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015},
pages = {78--87},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2728606.2728609},
doi = {10.1145/2728606.2728609},
timestamp = {Fri, 06 Sep 2019 10:57:13 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/MurthyISG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/PhanYRGSS15,
author = {Dung T. Phan and
Junxing Yang and
Denise Ratasich and
Radu Grosu and
Scott A. Smolka and
Scott D. Stoller},
editor = {Ezio Bartocci and
Rupak Majumdar},
title = {Collision Avoidance for Mobile Robots with Limited Sensing and Limited
Information About the Environment},
booktitle = {Runtime Verification - 6th International Conference, {RV} 2015 Vienna,
Austria, September 22-25, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9333},
pages = {201--215},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23820-3\_13},
doi = {10.1007/978-3-319-23820-3\_13},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/PhanYRGSS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/IslamDFGMS15,
author = {Md. Ariful Islam and
Richard DeFrancisco and
Chuchu Fan and
Radu Grosu and
Sayan Mitra and
Scott A. Smolka},
title = {Model Checking Tap Withdrawal in C. Elegans},
journal = {CoRR},
volume = {abs/1503.06480},
year = {2015},
url = {http://arxiv.org/abs/1503.06480},
eprinttype = {arXiv},
eprint = {1503.06480},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/IslamDFGMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/PhamSSPY15,
author = {Hung Pham and
Scott A. Smolka and
Scott D. Stoller and
Dung T. Phan and
Junxing Yang},
title = {A survey on unmanned aerial vehicle collision avoidance systems},
journal = {CoRR},
volume = {abs/1508.07723},
year = {2015},
url = {http://arxiv.org/abs/1508.07723},
eprinttype = {arXiv},
eprint = {1508.07723},
timestamp = {Fri, 20 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/PhamSSPY15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BartocciBS14,
author = {Ezio Bartocci and
Luca Bortolussi and
Scott A. Smolka},
title = {Hybrid Systems and Biology},
journal = {Inf. Comput.},
volume = {236},
pages = {1--2},
year = {2014},
url = {https://doi.org/10.1016/j.ic.2014.01.008},
doi = {10.1016/J.IC.2014.01.008},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BartocciBS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edcc/DeshpandeKSS14,
author = {Tushar Deshpande and
Panagiotis Katsaros and
Scott A. Smolka and
Scott D. Stoller},
title = {Stochastic Game-Based Analysis of the {DNS} Bandwidth Amplification
Attack Using Probabilistic Model Checking},
booktitle = {2014 Tenth European Dependable Computing Conference, Newcastle, United
Kingdom, May 13-16, 2014},
pages = {226--237},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/EDCC.2014.37},
doi = {10.1109/EDCC.2014.37},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/edcc/DeshpandeKSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etaps/GrosuPRSSY14,
author = {Radu Grosu and
Doron A. Peled and
C. R. Ramakrishnan and
Scott A. Smolka and
Scott D. Stoller and
Junxing Yang},
editor = {Saddek Bensalem and
Yassine Lakhnech and
Axel Legay},
title = {Compositional Branching-Time Measurements},
booktitle = {From Programs to Systems. The Systems perspective in Computing - {ETAPS}
Workshop, {FPS} 2014, in Honor of Joseph Sifakis, Grenoble, France,
April 6, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8415},
pages = {118--128},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54848-2\_8},
doi = {10.1007/978-3-642-54848-2\_8},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/etaps/GrosuPRSSY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/IslamMGSG14,
author = {Md. Ariful Islam and
Abhishek Murthy and
Antoine Girard and
Scott A. Smolka and
Radu Grosu},
editor = {Martin Fr{\"{a}}nzle and
John Lygeros},
title = {Compositionality results for cardiac cell dynamics},
booktitle = {17th International Conference on Hybrid Systems: Computation and Control
(part of {CPS} Week), HSCC'14, Berlin, Germany, April 15-17, 2014},
pages = {243--252},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2562059.2562138},
doi = {10.1145/2562059.2562138},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/IslamMGSG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/GrosuPRSSY14,
author = {Radu Grosu and
Doron A. Peled and
C. R. Ramakrishnan and
Scott A. Smolka and
Scott D. Stoller and
Junxing Yang},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Using Statistical Model Checking for Measuring Systems},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {223--238},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_16},
doi = {10.1007/978-3-662-45231-8\_16},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/GrosuPRSSY14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/BartocciGS14,
author = {Ezio Bartocci and
Sicun Gao and
Scott A. Smolka},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Medical Cyber-Physical Systems - (Track Introduction)},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {353--355},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_25},
doi = {10.1007/978-3-662-45231-8\_25},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/BartocciGS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/GrosuCCCDFGGGMRS14,
author = {Radu Grosu and
Elizabeth Cherry and
Edmund M. Clarke and
Rance Cleaveland and
Sanjay Dixit and
Flavio H. Fenton and
Sicun Gao and
James Glimm and
Richard A. Gray and
Rahul Mangharam and
Arnab Ray and
Scott A. Smolka},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Compositional, Approximate, and Quantitative Reasoning for Medical
Cyber-Physical Systems with Application to Patient-Specific Cardiac
Dynamics and Devices},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Specialized Techniques and Applications - 6th International Symposium,
ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {8803},
pages = {356--364},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45231-8\_26},
doi = {10.1007/978-3-662-45231-8\_26},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isola/GrosuCCCDFGGGMRS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/BartocciDS14,
author = {Ezio Bartocci and
Richard DeFrancisco and
Scott A. Smolka},
editor = {Neha Rungta and
Oksana Tkachuk},
title = {Towards a GPGPU-parallel {SPIN} model checker},
booktitle = {2014 International Symposium on Model Checking of Software, {SPIN}
2014, Proceedings, San Jose, CA, USA, July 21-23, 2014},
pages = {87--96},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2632362.2632379},
doi = {10.1145/2632362.2632379},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spin/BartocciDS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rv/2014,
editor = {Borzoo Bonakdarpour and
Scott A. Smolka},
title = {Runtime Verification - 5th International Conference, {RV} 2014, Toronto,
ON, Canada, September 22-25, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8734},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11164-3},
doi = {10.1007/978-3-319-11164-3},
isbn = {978-3-319-11163-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rv/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcbb/MurthyBFGGCSG13,
author = {Abhishek Murthy and
Ezio Bartocci and
Flavio H. Fenton and
James Glimm and
Richard A. Gray and
Elizabeth Cherry and
Scott A. Smolka and
Radu Grosu},
title = {Curvature Analysis of Cardiac Excitation Wavefronts},
journal = {{IEEE} {ACM} Trans. Comput. Biol. Bioinform.},
volume = {10},
number = {2},
pages = {323--336},
year = {2013},
url = {https://doi.org/10.1109/TCBB.2012.125},
doi = {10.1109/TCBB.2012.125},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcbb/MurthyBFGGCSG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/KalajdzicBSSG13,
author = {Kenan Kalajdzic and
Ezio Bartocci and
Scott A. Smolka and
Scott D. Stoller and
Radu Grosu},
editor = {Axel Legay and
Saddek Bensalem},
title = {Runtime Verification with Particle Filtering},
booktitle = {Runtime Verification - 4th International Conference, {RV} 2013, Rennes,
France, September 24-27, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8174},
pages = {149--166},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40787-1\_9},
doi = {10.1007/978-3-642-40787-1\_9},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rv/KalajdzicBSSG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tacas/2013,
editor = {Nir Piterman and
Scott A. Smolka},
title = {Tools and Algorithms for the Construction and Analysis of Systems
- 19th International Conference, {TACAS} 2013, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2013, Rome, Italy, March 16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7795},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-36742-7},
doi = {10.1007/978-3-642-36742-7},
isbn = {978-3-642-36741-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/2013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/SeysterDHGHSSZ12,
author = {Justin Seyster and
Ketan Dixit and
Xiaowan Huang and
Radu Grosu and
Klaus Havelund and
Scott A. Smolka and
Scott D. Stoller and
Erez Zadok},
title = {InterAspect: aspect-oriented instrumentation with {GCC}},
journal = {Formal Methods Syst. Des.},
volume = {41},
number = {3},
pages = {295--320},
year = {2012},
url = {https://doi.org/10.1007/s10703-012-0171-3},
doi = {10.1007/S10703-012-0171-3},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/SeysterDHGHSSZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/HuangSCDGSSZ12,
author = {Xiaowan Huang and
Justin Seyster and
Sean Callanan and
Ketan Dixit and
Radu Grosu and
Scott A. Smolka and
Scott D. Stoller and
Erez Zadok},
title = {Software monitoring with controllable overhead},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {14},
number = {3},
pages = {327--347},
year = {2012},
url = {https://doi.org/10.1007/s10009-010-0184-4},
doi = {10.1007/S10009-010-0184-4},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/HuangSCDGSSZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/GorlinRS12,
author = {Andrey Gorlin and
C. R. Ramakrishnan and
Scott A. Smolka},
title = {Model checking with probabilistic tabled logic programming},
journal = {Theory Pract. Log. Program.},
volume = {12},
number = {4-5},
pages = {681--700},
year = {2012},
url = {https://doi.org/10.1017/S1471068412000245},
doi = {10.1017/S1471068412000245},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/GorlinRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/DonzeMBNGS12,
author = {Alexandre Donz{\'{e}} and
Oded Maler and
Ezio Bartocci and
Dejan Nickovic and
Radu Grosu and
Scott A. Smolka},
editor = {Supratik Chakraborty and
Madhavan Mukund},
title = {On Temporal Logic and Signal Processing},
booktitle = {Automated Technology for Verification and Analysis - 10th International
Symposium, {ATVA} 2012, Thiruvananthapuram, India, October 3-6, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7561},
pages = {92--106},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33386-6\_9},
doi = {10.1007/978-3-642-33386-6\_9},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/DonzeMBNGS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/MurthyIBCFGSG12,
author = {Abhishek Murthy and
Md. Ariful Islam and
Ezio Bartocci and
Elizabeth Cherry and
Flavio H. Fenton and
James Glimm and
Scott A. Smolka and
Radu Grosu},
editor = {David R. Gilbert and
Monika Heiner},
title = {Approximate Bisimulations for Sodium Channel Dynamics},
booktitle = {Computational Methods in Systems Biology - 10th International Conference,
{CMSB} 2012, London, UK, October 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7605},
pages = {267--287},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33636-2\_16},
doi = {10.1007/978-3-642-33636-2\_16},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/MurthyIBCFGSG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/ChatzieleftheriouBSK12,
author = {George Chatzieleftheriou and
Borzoo Bonakdarpour and
Scott A. Smolka and
Panagiotis Katsaros},
editor = {Alwyn Goodloe and
Suzette Person},
title = {Abstract Model Repair},
booktitle = {{NASA} Formal Methods - 4th International Symposium, {NFM} 2012, Norfolk,
VA, USA, April 3-5, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7226},
pages = {341--355},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28891-3\_32},
doi = {10.1007/978-3-642-28891-3\_32},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/nfm/ChatzieleftheriouBSK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/BartocciGKSSZS12,
author = {Ezio Bartocci and
Radu Grosu and
Atul Karmarkar and
Scott A. Smolka and
Scott D. Stoller and
Erez Zadok and
Justin Seyster},
editor = {Shaz Qadeer and
Serdar Tasiran},
title = {Adaptive Runtime Verification},
booktitle = {Runtime Verification, Third International Conference, {RV} 2012, Istanbul,
Turkey, September 25-28, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7687},
pages = {168--182},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35632-2\_18},
doi = {10.1007/978-3-642-35632-2\_18},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rv/BartocciGKSSZS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1204-4736,
author = {Andrey Gorlin and
C. R. Ramakrishnan and
Scott A. Smolka},
title = {Model Checking with Probabilistic Tabled Logic Programming},
journal = {CoRR},
volume = {abs/1204.4736},
year = {2012},
url = {http://arxiv.org/abs/1204.4736},
eprinttype = {arXiv},
eprint = {1204.4736},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1204-4736.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/HuangSS11,
author = {Xiaowan Huang and
Anu Singh and
Scott A. Smolka},
title = {Using integer clocks to verify clock-synchronization protocols},
journal = {Innov. Syst. Softw. Eng.},
volume = {7},
number = {2},
pages = {119--130},
year = {2011},
url = {https://doi.org/10.1007/s11334-011-0152-5},
doi = {10.1007/S11334-011-0152-5},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isse/HuangSS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GrosuBFGGSB11,
author = {Radu Grosu and
Gr{\'{e}}gory Batt and
Flavio H. Fenton and
James Glimm and
Colas Le Guernic and
Scott A. Smolka and
Ezio Bartocci},
editor = {Ganesh Gopalakrishnan and
Shaz Qadeer},
title = {From Cardiac Cells to Genetic Regulatory Networks},
booktitle = {Computer Aided Verification - 23rd International Conference, {CAV}
2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6806},
pages = {396--411},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22110-1\_31},
doi = {10.1007/978-3-642-22110-1\_31},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/GrosuBFGGSB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/BartocciCGGSF11,
author = {Ezio Bartocci and
Elizabeth Cherry and
James Glimm and
Radu Grosu and
Scott A. Smolka and
Flavio H. Fenton},
editor = {Fran{\c{c}}ois Fages},
title = {Toward real-time simulation of cardiac dynamics},
booktitle = {Computational Methods in Systems Biology, 9th International Conference,
{CMSB} 2011, Paris, France, September 21-23, 2011. Proceedings},
pages = {103--112},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2037509.2037525},
doi = {10.1145/2037509.2037525},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/BartocciCGGSF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/MurthyBFGGSG11,
author = {Abhishek Murthy and
Ezio Bartocci and
Flavio H. Fenton and
James Glimm and
Richard A. Gray and
Scott A. Smolka and
Radu Grosu},
editor = {Fran{\c{c}}ois Fages},
title = {Curvature analysis of cardiac excitation wavefronts},
booktitle = {Computational Methods in Systems Biology, 9th International Conference,
{CMSB} 2011, Paris, France, September 21-23, 2011. Proceedings},
pages = {151--160},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2037509.2037532},
doi = {10.1145/2037509.2037532},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cmsb/MurthyBFGGSG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/green/LiGMSSZ11,
author = {Zhichao Li and
Radu Grosu and
Koundinya Muppalla and
Scott A. Smolka and
Scott D. Stoller and
Erez Zadok},
title = {Model discovery for energy-aware computing systems: An experimental
evaluation},
booktitle = {2011 International Green Computing Conference and Workshops, {IGCC}
2012, Orlando, FL, USA, July 25-28, 2011},
pages = {1--6},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/IGCC.2011.6008572},
doi = {10.1109/IGCC.2011.6008572},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/green/LiGMSSZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/DeshpandeKBS11,
author = {Tushar Deshpande and
Panagiotis Katsaros and
Stylianos Basagiannis and
Scott A. Smolka},
editor = {Taghi M. Khoshgoftaar},
title = {Formal Analysis of the {DNS} Bandwidth Amplification Attack and Its
Countermeasures Using Probabilistic Model Checking},
booktitle = {13th {IEEE} International Symposium on High-Assurance Systems Engineering,
{HASE} 2011, Boca Raton, FL, USA, November 10-12, 2011},
pages = {360--367},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/HASE.2011.57},
doi = {10.1109/HASE.2011.57},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/DeshpandeKBS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/StollerBSGHSZ11,
author = {Scott D. Stoller and
Ezio Bartocci and
Justin Seyster and
Radu Grosu and
Klaus Havelund and
Scott A. Smolka and
Erez Zadok},
editor = {Sarfraz Khurshid and
Koushik Sen},
title = {Runtime Verification with State Estimation},
booktitle = {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},
pages = {193--207},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29860-8\_15},
doi = {10.1007/978-3-642-29860-8\_15},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/rv/StollerBSGHSZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sew/GrosuFSB11,
author = {Radu Grosu and
Flavio H. Fenton and
Scott A. Smolka and
Ezio Bartocci},
editor = {James L. Rash and
Christopher A. Rouff},
title = {A Change of Perspective Yields Formal Analysis},
booktitle = {34th Annual {IEEE} Software Engineering Workshop, {SEW} 2011, Limerick,
Ireland, June 20-21, 2011},
pages = {69--76},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/SEW.2011.16},
doi = {10.1109/SEW.2011.16},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sew/GrosuFSB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/systor/LiGSSSZ11,
author = {Zhichao Li and
Radu Grosu and
Priya Sehgal and
Scott A. Smolka and
Scott D. Stoller and
Erez Zadok},
editor = {Paula Ta{-}Shma and
Jos{\'{e}} Moreira and
Liuba Shrira},
title = {On the energy consumption and performance of systems software},
booktitle = {Proceedings of of {SYSTOR} 2011: The 4th Annual Haifa Experimental
Systems Conference, Haifa, Israel, May 30 - June 1, 2011},
pages = {8},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1987816.1987827},
doi = {10.1145/1987816.1987827},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/systor/LiGSSSZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BartocciGKRS11,
author = {Ezio Bartocci and
Radu Grosu and
Panagiotis Katsaros and
C. R. Ramakrishnan and
Scott A. Smolka},
editor = {Parosh Aziz Abdulla and
K. Rustan M. Leino},
title = {Model Repair for Probabilistic Systems},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 17th International Conference, {TACAS} 2011, Held as Part of the
Joint European Conferences on Theory and Practice of Software, {ETAPS}
2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6605},
pages = {326--340},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-19835-9\_30},
doi = {10.1007/978-3-642-19835-9\_30},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BartocciGKRS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/SinghRS10,
author = {Anu Singh and
C. R. Ramakrishnan and
Scott A. Smolka},
title = {A process calculus for Mobile Ad Hoc Networks},
journal = {Sci. Comput. Program.},
volume = {75},
number = {6},
pages = {440--469},
year = {2010},
url = {https://doi.org/10.1016/j.scico.2009.07.008},
doi = {10.1016/J.SCICO.2009.07.008},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/SinghRS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/AlexiouBKDS10,
author = {Nikolaos Alexiou and
Stylianos Basagiannis and
Panagiotis Katsaros and
Tushar Deshpande and
Scott A. Smolka},
title = {Formal Analysis of the Kaminsky {DNS} Cache-Poisoning Attack Using
Probabilistic Model Checking},
booktitle = {12th {IEEE} High Assurance Systems Engineering Symposium, {HASE} 2010,
San Jose, CA, USA, November 3-4, 2010},
pages = {94--103},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/HASE.2010.25},
doi = {10.1109/HASE.2010.25},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/AlexiouBKDS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/HuangSS10,
author = {Xiaowan Huang and
Anu Singh and
Scott A. Smolka},
editor = {C{\'{e}}sar A. Mu{\~{n}}oz},
title = {Using Integer Clocks to Verify the Timing-Sync Sensor Network Protocol},
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 = {77--86},
year = {2010},
timestamp = {Thu, 23 Jun 2016 15:53:27 +0200},
biburl = {https://dblp.org/rec/conf/nfm/HuangSS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/SeysterDHGHSSZ10,
author = {Justin Seyster and
Ketan Dixit and
Xiaowan Huang and
Radu Grosu and
Klaus Havelund and
Scott A. Smolka and
Scott D. Stoller and
Erez Zadok},
editor = {Howard Barringer and
Yli{\`{e}}s Falcone and
Bernd Finkbeiner and
Klaus Havelund and
Insup Lee and
Gordon J. Pace and
Grigore Rosu and
Oleg Sokolsky and
Nikolai Tillmann},
title = {Aspect-Oriented Instrumentation with {GCC}},
booktitle = {Runtime Verification - First International Conference, {RV} 2010,
St. Julians, Malta, November 1-4, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6418},
pages = {405--420},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16612-9\_31},
doi = {10.1007/978-3-642-16612-9\_31},
timestamp = {Thu, 26 Jan 2023 14:05:55 +0100},
biburl = {https://dblp.org/rec/conf/rv/SeysterDHGHSSZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/GrosuSCWEB09,
author = {Radu Grosu and
Scott A. Smolka and
Flavio Corradini and
Anita Wasilewska and
Emilia Entcheva and
Ezio Bartocci},
title = {Learning and detecting emergent behavior in networks of cardiac myocytes},
journal = {Commun. {ACM}},
volume = {52},
number = {3},
pages = {97--105},
year = {2009},
url = {https://doi.org/10.1145/1467247.1467271},
doi = {10.1145/1467247.1467271},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/GrosuSCWEB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BartocciCBESG09,
author = {Ezio Bartocci and
Flavio Corradini and
Maria Rita Di Berardini and
Emilia Entcheva and
Scott A. Smolka and
Radu Grosu},
title = {Modeling and simulation of cardiac tissue using hybrid {I/O} automata},
journal = {Theor. Comput. Sci.},
volume = {410},
number = {33-34},
pages = {3149--3165},
year = {2009},
url = {https://doi.org/10.1016/j.tcs.2009.02.042},
doi = {10.1016/J.TCS.2009.02.042},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BartocciCBESG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/SinghRS09,
author = {Anu Singh and
C. R. Ramakrishnan and
Scott A. Smolka},
editor = {Mario Bravetti and
Gianluigi Zavattaro},
title = {Query-Based Model Checking of Ad Hoc Network Protocols},
booktitle = {{CONCUR} 2009 - Concurrency Theory, 20th International Conference,
{CONCUR} 2009, Bologna, Italy, September 1-4, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5710},
pages = {603--619},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04081-8\_40},
doi = {10.1007/978-3-642-04081-8\_40},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/SinghRS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/YangASHSG09,
author = {Zijiang Yang and
Bashar Al{-}Rawi and
Karem A. Sakallah and
Xiaowan Huang and
Scott A. Smolka and
Radu Grosu},
editor = {Michael Leuschel and
Heike Wehrheim},
title = {Dynamic Path Reduction for Software Model Checking},
booktitle = {Integrated Formal Methods, 7th International Conference, {IFM} 2009,
D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5423},
pages = {322--336},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00255-7\_22},
doi = {10.1007/978-3-642-00255-7\_22},
timestamp = {Thu, 11 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/YangASHSG09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bmcbi/BartocciCEGS08,
author = {Ezio Bartocci and
Flavio Corradini and
Emilia Entcheva and
Radu Grosu and
Scott A. Smolka},
title = {CellExcite: an efficient simulation environment for excitable cells},
journal = {{BMC} Bioinform.},
volume = {9},
number = {{S-2}},
year = {2008},
url = {https://doi.org/10.1186/1471-2105-9-S2-S3},
doi = {10.1186/1471-2105-9-S2-S3},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bmcbi/BartocciCEGS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BartocciCGMRS08,
author = {Ezio Bartocci and
Flavio Corradini and
Radu Grosu and
Emanuela Merelli and
Oliviero Riganelli and
Scott A. Smolka},
editor = {Pierpaolo Degano and
Rocco De Nicola and
Jos{\'{e}} Meseguer},
title = {StonyCam: {A} Formal Framework for Modeling, Analyzing and Regulating
Cardiac Myocytes},
booktitle = {Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {5065},
pages = {493--502},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68679-8\_30},
doi = {10.1007/978-3-540-68679-8\_30},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BartocciCGMRS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/YeGSE08,
author = {Pei Ye and
Radu Grosu and
Scott A. Smolka and
Emilia Entcheva},
editor = {Monika Heiner and
Adelinde M. Uhrmacher},
title = {Formal Analysis of Abnormal Excitation in Cardiac Tissue},
booktitle = {Computational Methods in Systems Biology, 6th International Conference,
{CMSB} 2008, Rostock, Germany, October 12-15, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5307},
pages = {141--155},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-88562-7\_13},
doi = {10.1007/978-3-540-88562-7\_13},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/YeGSE08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/SinghRS08,
author = {Anu Singh and
C. R. Ramakrishnan and
Scott A. Smolka},
editor = {Doug Lea and
Gianluigi Zavattaro},
title = {A Process Calculus for Mobile Ad Hoc Networks},
booktitle = {Coordination Models and Languages, 10th International Conference,
{COORDINATION} 2008, Oslo, Norway, June 4-6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5052},
pages = {296--314},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68265-3\_19},
doi = {10.1007/978-3-540-68265-3\_19},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/SinghRS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/RiganelliGDRS08,
author = {Oliviero Riganelli and
Radu Grosu and
Samir R. Das and
C. R. Ramakrishnan and
Scott A. Smolka},
title = {Power Optimization in Fault-Tolerant Mobile Ad Hoc Networks},
booktitle = {11th {IEEE} High Assurance Systems Engineering Symposium, {HASE} 2008,
Nanjing, China, December 3 - 5, 2008},
pages = {362--370},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/HASE.2008.12},
doi = {10.1109/HASE.2008.12},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hase/RiganelliGDRS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/GrosuBCESW08,
author = {Radu Grosu and
Ezio Bartocci and
Flavio Corradini and
Emilia Entcheva and
Scott A. Smolka and
Anita Wasilewska},
editor = {Magnus Egerstedt and
Bud Mishra},
title = {Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes},
booktitle = {Hybrid Systems: Computation and Control, 11th International Workshop,
{HSCC} 2008, St. Louis, MO, USA, April 22-24, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4981},
pages = {229--243},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78929-1\_17},
doi = {10.1007/978-3-540-78929-1\_17},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/GrosuBCESW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/CallananDGGSSSZ08,
author = {Sean Callanan and
David J. Dean and
Michael Gorbovitski and
Radu Grosu and
Justin Seyster and
Scott A. Smolka and
Scott D. Stoller and
Erez Zadok},
title = {Software monitoring with bounded overhead},
booktitle = {22nd {IEEE} International Symposium on Parallel and Distributed Processing,
{IPDPS} 2008, Miami, Florida USA, April 14-18, 2008},
pages = {1--8},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/IPDPS.2008.4536433},
doi = {10.1109/IPDPS.2008.4536433},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/CallananDGGSSSZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mascots/RiganelliGS08,
author = {Oliviero Riganelli and
Radu Grosu and
Scott A. Smolka},
editor = {Ethan L. Miller and
Carey L. Williamson},
title = {Power Optimization in Fault-Tolerant MANETs},
booktitle = {16th International Symposium on Modeling, Analysis, and Simulation
of Computer and Telecommunication Systems {(MASCOTS} 2008), Baltimore,
Maryland, USA, September 8-10, 2008},
pages = {379--380},
publisher = {{IEEE} Computer Society},
year = {2008},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/mascots/RiganelliGS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/utcs/KiferS07,
author = {Michael Kifer and
Scott A. Smolka},
title = {Introduction to Operating System Design and Implementation - The {OSP}
2 Approach},
series = {Undergraduate Topics in Computer Science},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/1-84628-843-6},
doi = {10.1007/1-84628-843-6},
isbn = {978-1-84628-842-5},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/utcs/KiferS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/BasuS07,
author = {Samik Basu and
Scott A. Smolka},
title = {Model checking the Java metalocking algorithm},
journal = {{ACM} Trans. Softw. Eng. Methodol.},
volume = {16},
number = {3},
pages = {12},
year = {2007},
url = {https://doi.org/10.1145/1243987.1243990},
doi = {10.1145/1243987.1243990},
timestamp = {Wed, 27 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tosem/BasuS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/GrosuMYERS07,
author = {Radu Grosu and
Sayan Mitra and
Pei Ye and
Emilia Entcheva and
I. V. Ramakrishnan and
Scott A. Smolka},
editor = {Alberto Bemporad and
Antonio Bicchi and
Giorgio C. Buttazzo},
title = {Learning Cycle-Linear Hybrid Automata for Excitable Cells},
booktitle = {Hybrid Systems: Computation and Control, 10th International Workshop,
{HSCC} 2007, Pisa, Italy, April 3-5, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4416},
pages = {245--258},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71493-4\_21},
doi = {10.1007/978-3-540-71493-4\_21},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/GrosuMYERS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/CallananGSSZ07,
author = {Sean Callanan and
Radu Grosu and
Justin Seyster and
Scott A. Smolka and
Erez Zadok},
title = {Model Predictive Control for Memory Profiling},
booktitle = {21th International Parallel and Distributed Processing Symposium {(IPDPS}
2007), Proceedings, 26-30 March 2007, Long Beach, California, {USA}},
pages = {1--7},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/IPDPS.2007.370514},
doi = {10.1109/IPDPS.2007.370514},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/CallananGSSZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BartocciCBEGS08,
author = {Ezio Bartocci and
Flavio Corradini and
Maria Rita Di Berardini and
Emilia Entcheva and
Radu Grosu and
Scott A. Smolka},
editor = {Nicola Cannata and
Emanuela Merelli},
title = {Spatial Networks of Hybrid {I/O} Automata for Modeling Excitable Tissue},
booktitle = {Proceedings of the First Workshop "From Biology To Concurrency and
back", FBTC@CONCUR 2007, Lisbon, Portugal, September 8, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {194},
number = {3},
pages = {51--67},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.12.005},
doi = {10.1016/J.ENTCS.2007.12.005},
timestamp = {Thu, 09 Feb 2023 10:12:34 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BartocciCBEGS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aswsd/CleavelandSS06,
author = {Rance Cleaveland and
Scott A. Smolka and
Steve Sims},
editor = {Manfred Broy and
Ingolf H. Kr{\"{u}}ger and
Michael Meisinger},
title = {An Instrumentation-Based Approach to Controller Model Validation},
booktitle = {Model-Driven Development of Reliable Automotive Services, Second Automotive
Software Workshop, {ASWSD} 2006, San Diego, CA, USA, March 15-17,
2006, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4922},
pages = {84--97},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-70930-5\_6},
doi = {10.1007/978-3-540-70930-5\_6},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/aswsd/CleavelandSS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/StarkCS06,
author = {Eugene W. Stark and
Rance Cleaveland and
Scott A. Smolka},
editor = {Christel Baier and
Holger Hermanns},
title = {Probabilistic {I/O} Automata: Theories of Two Equivalences},
booktitle = {{CONCUR} 2006 - Concurrency Theory, 17th International Conference,
{CONCUR} 2006, Bonn, Germany, August 27-30, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4137},
pages = {343--357},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11817949\_23},
doi = {10.1007/11817949\_23},
timestamp = {Sat, 30 Sep 2023 09:37:42 +0200},
biburl = {https://dblp.org/rec/conf/concur/StarkCS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/embc/TrueESYG06,
author = {Mike R. True and
Emilia Entcheva and
Scott A. Smolka and
Pei Ye and
Radu Grosu},
title = {Efficient Event-Driven Simulation of Excitable Hybrid Automata},
booktitle = {28th International Conference of the {IEEE} Engineering in Medicine
and Biology Society, {EMBC} 2006, New York City, NY, USA, August 30
- September 3, 2006, Main Volume},
pages = {3150--3153},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/IEMBS.2006.260402},
doi = {10.1109/IEMBS.2006.260402},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/embc/TrueESYG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/embc/YeESTG06,
author = {Pei Ye and
Emilia Entcheva and
Scott A. Smolka and
Mike R. True and
Radu Grosu},
title = {A Cycle-Linear Approach to Modeling Action Potentials},
booktitle = {28th International Conference of the {IEEE} Engineering in Medicine
and Biology Society, {EMBC} 2006, New York City, NY, USA, August 30
- September 3, 2006, Main Volume},
pages = {3931--3934},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/IEMBS.2006.259874},
doi = {10.1109/IEMBS.2006.259874},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/embc/YeESTG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/embc/YeESTG06a,
author = {Pei Ye and
Emilia Entcheva and
Scott A. Smolka and
Mike R. True and
Radu Grosu},
title = {Hybrid Automata as a Unifying Framework for Modeling Excitable Cells},
booktitle = {28th International Conference of the {IEEE} Engineering in Medicine
and Biology Society, {EMBC} 2006, New York City, NY, USA, August 30
- September 3, 2006, Main Volume},
pages = {4151--4154},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/IEMBS.2006.259294},
doi = {10.1109/IEMBS.2006.259294},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/embc/YeESTG06a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/CallananGHSZ06,
author = {Sean Callanan and
Radu Grosu and
Xiaowan Huang and
Scott A. Smolka and
Erez Zadok},
title = {Compiler-assisted software verification using plug-ins},
booktitle = {20th International Parallel and Distributed Processing Symposium {(IPDPS}
2006), Proceedings, 25-29 April 2006, Rhodes Island, Greece},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/IPDPS.2006.1639579},
doi = {10.1109/IPDPS.2006.1639579},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/CallananGHSZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/monterey/GrosuHSTT06,
author = {Radu Grosu and
Xiaowan Huang and
Scott A. Smolka and
Wenkai Tan and
Stavros Tripakis},
editor = {Fabrice Kordon and
Oleg Sokolsky},
title = {Deep Random Search for Efficient Model Checking of Timed Automata},
booktitle = {Composition of Embedded Systems. Scientific and Industrial Issues,
13th Monterey Workshop 2006, Paris, France, October 16-18, 2006, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4888},
pages = {111--124},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-77419-8\_7},
doi = {10.1007/978-3-540-77419-8\_7},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/monterey/GrosuHSTT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CallananGRSTZ06,
author = {Sean Callanan and
Radu Grosu and
Abhishek Rai and
Scott A. Smolka and
Mike R. True and
Erez Zadok},
editor = {Bernd Finkbeiner and
Yuri Gurevich and
Alexander K. Petrenko},
title = {Runtime Verification for High-Confidence Systems: {A} Monte Carlo
Approach},
booktitle = {Proceedings of the Second Workshop on Model Based Testing, {MBT} 2006,
Vienna, Austria, March 25-26, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {164},
number = {4},
pages = {41--52},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2006.09.005},
doi = {10.1016/J.ENTCS.2006.09.005},
timestamp = {Fri, 20 Jan 2023 13:14:20 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CallananGRSTZ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/infinity/2005,
editor = {Jir{\'{\i}} Srba and
Scott A. Smolka},
title = {Proceedings of the 7th International Workshop on Verification of Infinite-State
Systems, {INFINITY} 2005, San Francisco, CA, USA, August 27, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {149},
number = {1},
publisher = {Elsevier},
year = {2006},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/149/issue/1},
timestamp = {Tue, 14 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/infinity/2005.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/GrosuS05,
author = {Radu Grosu and
Scott A. Smolka},
title = {Safety-Liveness Semantics for {UML} 2.0 Sequence Diagrams},
booktitle = {Fifth International Conference on Application of Concurrency to System
Design {(ACSD} 2005), 6-9 June 2005, St. Malo, France},
pages = {6--14},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/ACSD.2005.31},
doi = {10.1109/ACSD.2005.31},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/GrosuS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/YangDRS05,
author = {Ping Yang and
Yifei Dong and
C. R. Ramakrishnan and
Scott A. Smolka},
editor = {Manuel V. Hermenegildo and
Daniel Cabeza},
title = {A Provably Correct Compiler for Efficient Model Checking of Mobile
Processes},
booktitle = {Practical Aspects of Declarative Languages, 7th International Symposium,
{PADL} 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3350},
pages = {113--127},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-30557-6\_10},
doi = {10.1007/978-3-540-30557-6\_10},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/YangDRS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/GrosuS05,
author = {Radu Grosu and
Scott A. Smolka},
editor = {Nicolas Halbwachs and
Lenore D. Zuck},
title = {Monte Carlo Model Checking},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
11th International Conference, {TACAS} 2005, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2005,
Edinburgh, UK, April 4-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3440},
pages = {271--286},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31980-1\_18},
doi = {10.1007/978-3-540-31980-1\_18},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/tacas/GrosuS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/KellerSBS05,
author = {Curtis W. Keller and
Diptikalyan Saha and
Samik Basu and
Scott A. Smolka},
editor = {Nicolas Halbwachs and
Lenore D. Zuck},
title = {FocusCheck: {A} Tool for Model Checking and Debugging Sequential {C}
Programs},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems,
11th International Conference, {TACAS} 2005, Held as Part of the Joint
European Conferences on Theory and Practice of Software, {ETAPS} 2005,
Edinburgh, UK, April 4-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3440},
pages = {563--569},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31980-1\_39},
doi = {10.1007/978-3-540-31980-1\_39},
timestamp = {Wed, 27 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/KellerSBS05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/SrbaS06,
author = {Jir{\'{\i}} Srba and
Scott A. Smolka},
editor = {Jir{\'{\i}} Srba and
Scott A. Smolka},
title = {Preface},
booktitle = {Proceedings of the 7th International Workshop on Verification of Infinite-State
Systems, {INFINITY} 2005, San Francisco, CA, USA, August 27, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {149},
number = {1},
pages = {1--2},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.11.012},
doi = {10.1016/J.ENTCS.2005.11.012},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/SrbaS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GrosuHJS06,
author = {Radu Grosu and
Xiaowan Huang and
Sumit Jain and
Scott A. Smolka},
editor = {Byron Cook and
Scott D. Stoller and
Willem Visser},
title = {Open-Source Model Checking},
booktitle = {Proceedings of the 3rd Workshop on Software Model Checking, SoftMC@CAV
2005, Edinburgh, UK, July 11, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {144},
number = {3},
pages = {27--44},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2006.01.003},
doi = {10.1016/J.ENTCS.2006.01.003},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/GrosuHJS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GrosuS06,
author = {Radu Grosu and
Scott A. Smolka},
editor = {Luca Aceto and
Andrew D. Gordon},
title = {Monte Carlo Methods for Process Algebra},
booktitle = {Proceedings of the Workshop "Essays on Algebraic Process Calculi",
{APC} 25, Bertinoro, Italy, August 1-5, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {162},
pages = {203--207},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2006.04.033},
doi = {10.1016/J.ENTCS.2006.04.033},
timestamp = {Fri, 20 Jan 2023 12:38:53 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GrosuS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/GoldinSAS04,
author = {Dina Q. Goldin and
Scott A. Smolka and
Paul C. Attie and
Elaine L. Sonderegger},
title = {Turing machines, transition systems, and interaction},
journal = {Inf. Comput.},
volume = {194},
number = {2},
pages = {101--128},
year = {2004},
url = {https://doi.org/10.1016/j.ic.2004.07.002},
doi = {10.1016/J.IC.2004.07.002},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/GoldinSAS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/MollerSS04,
author = {Faron Moller and
Scott A. Smolka and
Jir{\'{\i}} Srba},
title = {On the computational complexity of bisimulation, redux},
journal = {Inf. Comput.},
volume = {194},
number = {2},
pages = {129--143},
year = {2004},
url = {https://doi.org/10.1016/j.ic.2004.06.003},
doi = {10.1016/J.IC.2004.06.003},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/MollerSS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/HanselCS04,
author = {David Hansel and
Rance Cleaveland and
Scott A. Smolka},
title = {Distributed prototyping from validated specifications},
journal = {J. Syst. Softw.},
volume = {70},
number = {3},
pages = {275--298},
year = {2004},
url = {https://doi.org/10.1016/S0164-1212(03)00074-8},
doi = {10.1016/S0164-1212(03)00074-8},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jss/HanselCS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/YangRS04,
author = {Ping Yang and
C. R. Ramakrishnan and
Scott A. Smolka},
title = {A logical encoding of the pi-calculus: model checking mobile processes
using tabled resolution},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {6},
number = {1},
pages = {38--66},
year = {2004},
url = {https://doi.org/10.1007/s10009-003-0136-3},
doi = {10.1007/S10009-003-0136-3},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/YangRS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BasuSS04,
author = {Samik Basu and
Diptikalyan Saha and
Scott A. Smolka},
editor = {David de Frutos{-}Escrig and
Manuel N{\'{u}}{\~{n}}ez},
title = {Localizing Program Errors for Cimple Debugging},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2004, 24th {IFIP} {WG} 6.1 International Conference, Madrid Spain,
September 27-30, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3235},
pages = {79--96},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30232-2\_6},
doi = {10.1007/978-3-540-30232-2\_6},
timestamp = {Mon, 03 Jan 2022 22:19:32 +0100},
biburl = {https://dblp.org/rec/conf/forte/BasuSS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/GrosuS04,
author = {Radu Grosu and
Scott A. Smolka},
editor = {Tiziana Margaria and
Bernhard Steffen and
Anna Philippou and
Manfred Reitenspie{\ss}},
title = {Quantitative Model checking},
booktitle = {International Symposium on Leveraging Applications of Formal Methods,
ISoLA 2004, October 30 - November 2, 2004, Paphos, Cyprus. Preliminary
proceedings},
series = {Technical Report},
volume = {{TR-2004-6}},
pages = {165--174},
publisher = {Department of Computer Science, University of Cyprus},
year = {2004},
timestamp = {Thu, 11 Sep 2008 12:07:39 +0200},
biburl = {https://dblp.org/rec/conf/isola/GrosuS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/DongDHS03,
author = {Yifei Dong and
Xiaoqun Du and
Gerard J. Holzmann and
Scott A. Smolka},
title = {Fighting livelock in the {GNU} i-protocol: a case study in explicit-state
model checking},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {4},
number = {4},
pages = {505--528},
year = {2003},
url = {https://doi.org/10.1007/s10009-002-0092-3},
doi = {10.1007/S10009-002-0092-3},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/DongDHS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/MollerS03,
author = {Faron Moller and
Scott A. Smolka},
editor = {Dina Q. Goldin and
Alexander A. Shvartsman and
Scott A. Smolka and
Jeffrey Scott Vitter and
Stanley B. Zdonik},
title = {On the Computational Complexity of Bisimulation, Redux},
booktitle = {{PCK50} - Principles of Computing {\&} Knowledge, Paris C. Kanellakis
Memorial Workshop, San Diego, California, USA, June 8th, 2003},
pages = {55--59},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/778348.778357},
doi = {10.1145/778348.778357},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/MollerS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/DongRS03,
author = {Yifei Dong and
C. R. Ramakrishnan and
Scott A. Smolka},
editor = {Warren A. Hunt Jr. and
Fabio Somenzi},
title = {Evidence Explorer: {A} Tool for Exploring Model-Checking Proofs},
booktitle = {Computer Aided Verification, 15th International Conference, {CAV}
2003, Boulder, CO, USA, July 8-12, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2725},
pages = {215--218},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45069-6\_22},
doi = {10.1007/978-3-540-45069-6\_22},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/DongRS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/StarkCS03,
author = {Eugene W. Stark and
Rance Cleaveland and
Scott A. Smolka},
editor = {Roberto M. Amadio and
Denis Lugiez},
title = {A Process-Algebraic Language for Probabilistic {I/O} Automata},
booktitle = {{CONCUR} 2003 - Concurrency Theory, 14th International Conference,
Marseille, France, September 3-5, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2761},
pages = {189--203},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45187-7\_13},
doi = {10.1007/978-3-540-45187-7\_13},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/StarkCS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/DongRS03,
author = {Yifei Dong and
C. R. Ramakrishnan and
Scott A. Smolka},
title = {Model Checking and Evidence Exploration},
booktitle = {10th {IEEE} International Conference on Engineering of Computer-Based
Systems {(ECBS} 2003), 7-10 April 2003, Huntsville, AL, {USA}},
pages = {214--223},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ECBS.2003.1194802},
doi = {10.1109/ECBS.2003.1194802},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecbs/DongRS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BasuSLS03,
author = {Samik Basu and
Diptikalyan Saha and
Yow{-}Jian Lin and
Scott A. Smolka},
editor = {Hartmut K{\"{o}}nig and
Monika Heiner and
Adam Wolisz},
title = {Generation of All Counter-Examples for Push-Down Systems},
booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE}
2003, 23rd {IFIP} {WG} 6.1 International Conference, Berlin, Germany,
September 29 - October 2, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2767},
pages = {79--94},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39979-7\_6},
doi = {10.1007/978-3-540-39979-7\_6},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/forte/BasuSLS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/YangRS03,
author = {Ping Yang and
C. R. Ramakrishnan and
Scott A. Smolka},
editor = {Lenore D. Zuck and
Paul C. Attie and
Agostino Cortesi and
Supratik Mukhopadhyay},
title = {A Logical Encoding of the pi-Calculus: Model Checking Mobile Processes
Using Tabled Resolution},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 4th International
Conference, {VMCAI} 2003, New York, NY, USA, January 9-11, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2575},
pages = {116--131},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-36384-X\_12},
doi = {10.1007/3-540-36384-X\_12},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/YangRS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2003pkc,
editor = {Dina Q. Goldin and
Alexander A. Shvartsman and
Scott A. Smolka and
Jeffrey Scott Vitter and
Stanley B. Zdonik},
title = {{PCK50} - Principles of Computing {\&} Knowledge, Paris C. Kanellakis
Memorial Workshop, San Diego, California, USA, June 8th, 2003},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/778348},
doi = {10.1145/778348},
isbn = {1-58113-604-8},
timestamp = {Thu, 17 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/2003pkc.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/DongSRS02,
author = {Yifei Dong and
Beata Sarna{-}Starosta and
C. R. Ramakrishnan and
Scott A. Smolka},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {Vacuity Checking in the Modal Mu-Calculus},
booktitle = {Algebraic Methodology and Software Technology, 9th International Conference,
{AMAST} 2002, Saint-Gilles-les-Bains, Reunion Island, France, September
9-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2422},
pages = {147--162},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45719-4\_11},
doi = {10.1007/3-540-45719-4\_11},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/DongSRS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigopsE/GrosuZSCL02,
author = {Radu Grosu and
Erez Zadok and
Scott A. Smolka and
Rance Cleaveland and
Yanhong A. Liu},
editor = {Gilles Muller and
Eric Jul},
title = {High-confidence operating systems},
booktitle = {Proceedings of the 10th {ACM} {SIGOPS} European Workshop, Saint-Emilion,
France, July 1, 2002},
pages = {205--208},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/1133373.1133415},
doi = {10.1145/1133373.1133415},
timestamp = {Thu, 07 Nov 2019 10:24:25 +0100},
biburl = {https://dblp.org/rec/conf/sigopsE/GrosuZSCL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/PhilippouSLCS01,
author = {Anna Philippou and
Oleg Sokolsky and
Insup Lee and
Rance Cleaveland and
Scott A. Smolka},
title = {Hiding resources that can fail: An axiomatic perspective},
journal = {Inf. Process. Lett.},
volume = {80},
number = {1},
pages = {3--13},
year = {2001},
url = {https://doi.org/10.1016/S0020-0190(01)00212-5},
doi = {10.1016/S0020-0190(01)00212-5},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/PhilippouSLCS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hase/OschS01,
author = {Michiel van Osch and
Scott A. Smolka},
title = {Finite-State Analysis of the {CAN} Bus Protocol},
booktitle = {6th {IEEE} International Symposium on High-Assurance Systems Engineering
{(HASE} 2001), Special Topic: Impact of Networking, 24-26 October
2001, Albuquerque, NM, USA, Proceedings},
pages = {42--54},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/HASE.2001.966806},
doi = {10.1109/HASE.2001.966806},
timestamp = {Wed, 31 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hase/OschS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/KumarRS01,
author = {K. Narayan Kumar and
C. R. Ramakrishnan and
Scott A. Smolka},
editor = {Philippe Codognet},
title = {Alternating Fixed Points in Boolean Equation Systems as Preferred
Stable Models},
booktitle = {Logic Programming, 17th International Conference, {ICLP} 2001, Paphos,
Cyprus, November 26 - December 1, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2237},
pages = {227--241},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45635-X\_23},
doi = {10.1007/3-540-45635-X\_23},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/KumarRS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/GrosuLSSY01,
author = {Radu Grosu and
Yanhong A. Liu and
Scott A. Smolka and
Scott D. Stoller and
Jingyu Yan},
title = {Automated Software Engineering Using Concurrent Class Machines},
booktitle = {16th {IEEE} International Conference on Automated Software Engineering
{(ASE} 2001), 26-29 November 2001, Coronado Island, San Diego, CA,
{USA}},
pages = {297},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ASE.2001.989816},
doi = {10.1109/ASE.2001.989816},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/GrosuLSSY01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nspw/SekarRRS01,
author = {R. Sekar and
C. R. Ramakrishnan and
I. V. Ramakrishnan and
Scott A. Smolka},
editor = {Victor Raskin and
Steven J. Greenwald and
Brenda Timmerman and
Darrell M. Kienzle},
title = {Model-Carrying Code {(MCC):} a new paradigm for mobile-code security},
booktitle = {Proceedings of the New Security Paradigms Workshop 2001, Cloudcroft,
New Mexico, USA, September 10-13, 2001},
pages = {23--30},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/508171.508175},
doi = {10.1145/508171.508175},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nspw/SekarRRS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rsp/HanselCS01,
author = {David Hansel and
Rance Cleaveland and
Scott A. Smolka},
title = {Distributed Prototyping from Validated Specifications},
booktitle = {12th {IEEE} International Workshop on Rapid System Prototyping {(RSP}
2001), 25-27 June 2001, Monterey, CA, {USA}},
pages = {97--102},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/IWRSP.2001.933845},
doi = {10.1109/IWRSP.2001.933845},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rsp/HanselCS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GoldinSW01,
author = {Dina Q. Goldin and
Scott A. Smolka and
Peter Wegner},
editor = {Luca Aceto and
Prakash Panangaden},
title = {Turing Machines, Transition Systems, and Interaction},
booktitle = {8th International Workshop on Expressiveness in Concurrency, {EXPRESS}
2001, Satellite Workshop from {CONCUR} 2001, Aalborg, Denmark, August
20, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {52},
number = {1},
pages = {120--136},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)00220-8},
doi = {10.1016/S1571-0661(04)00220-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GoldinSW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/el/01/BPS2001,
editor = {Jan A. Bergstra and
Alban Ponse and
Scott A. Smolka},
title = {Handbook of Process Algebra},
publisher = {North-Holland / Elsevier},
year = {2001},
url = {https://doi.org/10.1016/b978-0-444-82830-9.x5017-6},
doi = {10.1016/B978-0-444-82830-9.X5017-6},
isbn = {978-0-444-82830-9},
timestamp = {Fri, 28 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/el/01/BPS2001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/CleavelandLS00,
author = {Rance Cleaveland and
Philip M. Lewis and
Scott A. Smolka},
title = {Practical techniques for the design, specification, verification,
and implementation of concurrent systems},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {25},
number = {1},
pages = {43--44},
year = {2000},
url = {https://doi.org/10.1145/340855.340878},
doi = {10.1145/340855.340878},
timestamp = {Thu, 17 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/CleavelandLS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigsoft/RamakrishnanRSW00,
author = {C. R. Ramakrishnan and
I. V. Ramakrishnan and
Scott A. Smolka and
David Scott Warren},
title = {Specification and evaluation of logic-based model checking},
journal = {{ACM} {SIGSOFT} Softw. Eng. Notes},
volume = {25},
number = {1},
pages = {73--74},
year = {2000},
url = {https://doi.org/10.1145/340855.340997},
doi = {10.1145/340855.340997},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigsoft/RamakrishnanRSW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/StarkS00,
author = {Eugene W. Stark and
Scott A. Smolka},
editor = {Gordon D. Plotkin and
Colin Stirling and
Mads Tofte},
title = {A complete axiom system for finite-state probabilistic processes},
booktitle = {Proof, Language, and Interaction, Essays in Honour of Robin Milner},
pages = {571--596},
publisher = {The {MIT} Press},
year = {2000},
timestamp = {Mon, 23 Jun 2008 08:50:50 +0200},
biburl = {https://dblp.org/rec/conf/birthday/StarkS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/RamakrishnanRSDDRV00,
author = {C. R. Ramakrishnan and
I. V. Ramakrishnan and
Scott A. Smolka and
Yifei Dong and
Xiaoqun Du and
Abhik Roychoudhury and
V. N. Venkatakrishnan},
editor = {E. Allen Emerson and
A. Prasad Sistla},
title = {{XMC:} {A} Logic-Programming-Based Verification Toolset},
booktitle = {Computer Aided Verification, 12th International Conference, {CAV}
2000, Chicago, IL, USA, July 15-19, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1855},
pages = {576--580},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722167\_48},
doi = {10.1007/10722167\_48},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/RamakrishnanRSDDRV00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/CleavelandDS00,
author = {Rance Cleaveland and
Xiaoqun Du and
Scott A. Smolka},
editor = {Ant{\'{o}}nio Porto and
Gruia{-}Catalin Roman},
title = {{GCCS:} {A} Graphical Coordination Language for System Specification},
booktitle = {Coordination Languages and Models, 4th International Conference, {COORDINATION}
2000, Limassol, Cyprus, September 11-13, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1906},
pages = {284--298},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45263-X\_18},
doi = {10.1007/3-540-45263-X\_18},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/coordination/CleavelandDS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/BasuSW00,
author = {Samik Basu and
Scott A. Smolka and
Orson R. Ward},
title = {Model Checking the Java Meta-Locking Algorithm},
booktitle = {7th {IEEE} International Symposium on Engineering of Computer-Based
Systems {(ECBS} 2000), 3-7 April 2000, Edinburgh, Scotland, {UK}},
pages = {342--350},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ECBS.2000.839894},
doi = {10.1109/ECBS.2000.839894},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ecbs/BasuSW00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtss/DuRS00,
author = {Xiaoqun Du and
C. R. Ramakrishnan and
Scott A. Smolka},
title = {Tabled Resolution + Constraints: {A} Recipe for Model Checking Real-Time
Systems},
booktitle = {Proceedings of the 21st {IEEE} Real-Time Systems Symposium {(RTSS}
2000), Orlando, Florida, USA, 27-30 November 2000},
pages = {175--184},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/REAL.2000.896007},
doi = {10.1109/REAL.2000.896007},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rtss/DuRS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/RoychoudhuryKRRS00,
author = {Abhik Roychoudhury and
K. Narayan Kumar and
C. R. Ramakrishnan and
I. V. Ramakrishnan and
Scott A. Smolka},
editor = {Susanne Graf and
Michael I. Schwartzbach},
title = {Verification of Parameterized Systems Using Logic Program Transformations},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 6th
International Conference, {TACAS} 2000, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, {ETAPS}
2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1785},
pages = {172--187},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-46419-0\_13},
doi = {10.1007/3-540-46419-0\_13},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/RoychoudhuryKRRS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DuRS02,
author = {Xiaoqun Du and
C. R. Ramakrishnan and
Scott A. Smolka},
editor = {Flavio Corradini and
Paola Inverardi},
title = {Real-Time Verification Techniques for Untimed Systems},
booktitle = {Proceedings of the International Workshop on Models for Time-Critical
Systems, {MTCS} 2000, Satellite Workshop of {CONCUR} 2000, State College,
PA, USA, August 26, 2000},
series = {Electronic Notes in Theoretical Computer Science},
volume = {39},
number = {3},
pages = {258--272},
publisher = {Elsevier},
year = {2000},
url = {https://doi.org/10.1016/S1571-0661(05)80751-0},
doi = {10.1016/S1571-0661(05)80751-0},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/DuRS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/CleavelandDSY99,
author = {Rance Cleaveland and
Zeynep Dayar and
Scott A. Smolka and
Shoji Yuen},
title = {Testing Preorders for Probabilistic Processes},
journal = {Inf. Comput.},
volume = {154},
number = {2},
pages = {93--148},
year = {1999},
url = {https://doi.org/10.1006/inco.1999.2808},
doi = {10.1006/INCO.1999.2808},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/CleavelandDSY99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/DuSC99,
author = {Xiaoqun Du and
Scott A. Smolka and
Rance Cleaveland},
title = {Local Model Checking and Protocol Analysis},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {2},
number = {3},
pages = {219--241},
year = {1999},
url = {https://doi.org/10.1007/s100090050031},
doi = {10.1007/S100090050031},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/DuSC99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/MukundKS99,
author = {Madhavan Mukund and
K. Narayan Kumar and
Scott A. Smolka},
editor = {P. S. Thiagarajan and
Roland H. C. Yap},
title = {Faster Model Checking for Open Systems},
booktitle = {Advances in Computing Science - ASIAN'99, 5th Asian Computing Science
Conference, Phuket, Thailand, December 10-12, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1742},
pages = {227--238},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46674-6\_20},
doi = {10.1007/3-540-46674-6\_20},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/asian/MukundKS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/DongSSW99,
author = {Yifei Dong and
Scott A. Smolka and
Eugene W. Stark and
Stephanie M. White},
title = {Practical Considerations in Protocol Verification: The {E-2C} Case
Study},
booktitle = {5th International Conference on Engineering of Complex Computer Systems
{(ICECCS} '99), October 18-22, 1999, Las Vegas, NV, {USA}},
pages = {153},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/ICECCS.1999.802859},
doi = {10.1109/ICECCS.1999.802859},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/DongSSW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mascots/LuS99,
author = {Shiyong Lu and
Scott A. Smolka},
title = {Model Checking the Secure Electronic Transaction {(SET)} Protocol},
booktitle = {{MASCOTS} 1999, Proceedings of the 7th International Symposium on
Modeling, Analysis and Simulation of Computer and Telecommunication
Systems, 24-28 October, 1999, College Park, Maryland, {USA}},
pages = {358--364},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/MASCOT.1999.805074},
doi = {10.1109/MASCOT.1999.805074},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mascots/LuS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/DongDRRRSSSW99,
author = {Yifei Dong and
Xiaoqun Du and
Y. S. Ramakrishna and
C. R. Ramakrishnan and
I. V. Ramakrishnan and
Scott A. Smolka and
Oleg Sokolsky and
Eugene W. Stark and
David Scott Warren},
editor = {Rance Cleaveland},
title = {Fighting Livelock in the i-Protocol: {A} Comparative Study of Verification
Tools},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 5th
International Conference, {TACAS} '99, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, ETAPS'99,
Amsterdam, The Netherlands, March 22-28, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1579},
pages = {74--88},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-49059-0\_6},
doi = {10.1007/3-540-49059-0\_6},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/DongDRRRSSSW99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/JoungS98,
author = {Yuh{-}Jzer Joung and
Scott A. Smolka},
title = {Strong Interaction Fairness Via Randomization},
journal = {{IEEE} Trans. Parallel Distributed Syst.},
volume = {9},
number = {2},
pages = {137--149},
year = {1998},
url = {https://doi.org/10.1109/71.663873},
doi = {10.1109/71.663873},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tpds/JoungS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/PhilippouCLSS98,
author = {Anna Philippou and
Rance Cleaveland and
Insup Lee and
Scott A. Smolka and
Oleg Sokolsky},
editor = {Davide Sangiorgi and
Robert de Simone},
title = {Praobabilistic Resource Failure in Real-Time Process Algebra},
booktitle = {{CONCUR} '98: Concurrency Theory, 9th International Conference, Nice,
France, September 8-11, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1466},
pages = {389--404},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055637},
doi = {10.1007/BFB0055637},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/PhilippouCLSS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/KumarCS98,
author = {K. Narayan Kumar and
Rance Cleaveland and
Scott A. Smolka},
editor = {Vikraman Arvind and
Ramaswamy Ramanujam},
title = {Infinite Probabilistic and Nonprobabilistic Testing},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
18th Conference, Chennai, India, December 17-19, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1530},
pages = {209--220},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/978-3-540-49382-2\_19},
doi = {10.1007/978-3-540-49382-2\_19},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/KumarCS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/LiuS98,
author = {Xinxin Liu and
Scott A. Smolka},
editor = {Kim Guldstrand Larsen and
Sven Skyum and
Glynn Winskel},
title = {Simple Linear-Time Algorithms for Minimal Fixed Points (Extended Abstract)},
booktitle = {Automata, Languages and Programming, 25th International Colloquium,
ICALP'98, Aalborg, Denmark, July 13-17, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1443},
pages = {53--66},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055040},
doi = {10.1007/BFB0055040},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/LiuS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/StarkS98,
author = {Eugene W. Stark and
Scott A. Smolka},
title = {Compositional Analysis of Expected Delays in Networks of Probabilistic
{I/O} Automata},
booktitle = {Thirteenth Annual {IEEE} Symposium on Logic in Computer Science, Indianapolis,
Indiana, USA, June 21-24, 1998},
pages = {466--477},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/LICS.1998.705680},
doi = {10.1109/LICS.1998.705680},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/StarkS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/CuiDDKRRRSW98,
author = {Baoqiu Cui and
Yifei Dong and
Xiaoqun Du and
K. Narayan Kumar and
C. R. Ramakrishnan and
I. V. Ramakrishnan and
Abhik Roychoudhury and
Scott A. Smolka and
David Scott Warren},
editor = {Catuscia Palamidessi and
Hugh Glaser and
Karl Meinke},
title = {Logic Programming and Model Checking},
booktitle = {Principles of Declarative Programming, 10th International Symposium,
PLILP'98 Held Jointly with the 7th International Conference, ALP'98,
Pisa, Italy, September 16-18, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1490},
pages = {1--20},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0056604},
doi = {10.1007/BFB0056604},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plilp/CuiDDKRRRSW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/LiuRS98,
author = {Xinxin Liu and
C. R. Ramakrishnan and
Scott A. Smolka},
editor = {Bernhard Steffen},
title = {Fully Local and Efficient Evaluation of Alternating Fixed Points (Extended
Abstract)},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, 4th
International Conference, {TACAS} '98, Held as Part of the European
Joint Conferences on the Theory and Practice of Software, ETAPS'98,
Lisbon, Portugal, March 28 - April 4, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1384},
pages = {5--19},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0054161},
doi = {10.1007/BFB0054161},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/LiuRS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapd/RoychoudhuryRRS98,
author = {Abhik Roychoudhury and
C. R. Ramakrishnan and
I. V. Ramakrishnan and
Scott A. Smolka},
title = {Tabulation-based Induction Proofs with Application to Automated Verification},
booktitle = {Proceedings of the 1st Workshop on Tabulation in Parsing and Deduction,
TAPD'98, Paris, France, April 2-3, 1998},
pages = {83--88},
publisher = {{INRIA}},
year = {1998},
url = {ftp://ftp.inria.fr/INRIA/Projects/Atoll/TAPD98/ramakrishnan.ps.gz},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tapd/RoychoudhuryRRS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/WuSS97,
author = {Sue{-}Hwey Wu and
Scott A. Smolka and
Eugene W. Stark},
title = {Composition and Behaviors of Probabilistic {I/O} Automata},
journal = {Theor. Comput. Sci.},
volume = {176},
number = {1-2},
pages = {1--38},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(97)00056-X},
doi = {10.1016/S0304-3975(97)00056-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/WuSS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/DuMNRS97,
author = {Xiaoqun Du and
Kevin T. McDonnell and
Evangelos Nanos and
Y. S. Ramakrishna and
Scott A. Smolka},
editor = {Michael Johnson},
title = {Software Design, Specification, and Verification: Lessons Learned
from the Rether Case Study},
booktitle = {Algebraic Methodology and Software Technology, 6th International Conference,
{AMAST} '97, Sydney, Australia, December 13-17, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1349},
pages = {185--198},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0000471},
doi = {10.1007/BFB0000471},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/DuMNRS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/RamakrishnanRRSSW97,
author = {Y. S. Ramakrishna and
C. R. Ramakrishnan and
I. V. Ramakrishnan and
Scott A. Smolka and
Terrance Swift and
David Scott Warren},
editor = {Orna Grumberg},
title = {Efficient Model Checking Using Tabled Resolution},
booktitle = {Computer Aided Verification, 9th International Conference, {CAV} '97,
Haifa, Israel, June 22-25, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1254},
pages = {143--154},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63166-6\_16},
doi = {10.1007/3-540-63166-6\_16},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/RamakrishnanRRSSW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/RamakrishnaS97,
author = {Y. S. Ramakrishna and
Scott A. Smolka},
editor = {Antoni W. Mazurkiewicz and
J{\'{o}}zef Winkowski},
title = {Partial-Order Reduction in the Weak Modal Mu-Calculus},
booktitle = {{CONCUR} '97: Concurrency Theory, 8th International Conference, Warsaw,
Poland, July 1-4, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1243},
pages = {5--24},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63141-0\_2},
doi = {10.1007/3-540-63141-0\_2},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/RamakrishnaS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/NicolaS96,
author = {Rocco De Nicola and
Scott A. Smolka},
title = {Concurrency: Theory and Practice},
journal = {{ACM} Comput. Surv.},
volume = {28},
number = {4es},
pages = {52},
year = {1996},
url = {https://doi.org/10.1145/242224.242290},
doi = {10.1145/242224.242290},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/NicolaS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/CleavelandS96,
author = {Rance Cleaveland and
Scott A. Smolka},
title = {Strategic Directions in Concurrency Research},
journal = {{ACM} Comput. Surv.},
volume = {28},
number = {4},
pages = {607--625},
year = {1996},
url = {https://doi.org/10.1145/242223.242252},
doi = {10.1145/242223.242252},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/CleavelandS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/CleavelandS96,
author = {Rance Cleaveland and
Scott A. Smolka},
title = {Strategic Directions in Computing Research-Concurrency Working Group
Report},
journal = {Bull. {EATCS}},
volume = {60},
pages = {97--122},
year = {1996},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/CleavelandS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/SmolkaS96,
author = {Scott A. Smolka and
Bernhard Steffen},
title = {Priority as Extremal Probability},
journal = {Formal Aspects Comput.},
volume = {8},
number = {5},
pages = {585--606},
year = {1996},
url = {https://doi.org/10.1007/BF01211910},
doi = {10.1007/BF01211910},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/SmolkaS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/JoungS96,
author = {Yuh{-}Jzer Joung and
Scott A. Smolka},
title = {A Comprehensive Study of the Complexity of Multiparty Interaction},
journal = {J. {ACM}},
volume = {43},
number = {1},
pages = {75--115},
year = {1996},
url = {https://doi.org/10.1145/227595.227601},
doi = {10.1145/227595.227601},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/JoungS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CleavelandLSS96,
author = {Rance Cleaveland and
Philip M. Lewis and
Scott A. Smolka and
Oleg Sokolsky},
editor = {Rajeev Alur and
Thomas A. Henzinger},
title = {The Concurrency Factory: {A} Development Environment for Concurrent
Systems},
booktitle = {Computer Aided Verification, 8th International Conference, {CAV} '96,
New Brunswick, NJ, USA, July 31 - August 3, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1102},
pages = {398--401},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61474-5\_88},
doi = {10.1007/3-540-61474-5\_88},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/CleavelandLSS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/JoungS96,
author = {Yuh{-}Jzer Joung and
Scott A. Smolka},
title = {Strong Interaction Fairness via Randomization},
booktitle = {Proceedings of the 16th International Conference on Distributed Computing
Systems, Hong Kong, May 27-30, 1996},
pages = {475--483},
publisher = {{IEEE} Computer Society},
year = {1996},
url = {https://doi.org/10.1109/ICDCS.1996.507996},
doi = {10.1109/ICDCS.1996.507996},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icdcs/JoungS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/seke/CleavelandLLS96,
author = {Rance Cleaveland and
Insup Lee and
Philip M. Lewis and
Scott A. Smolka},
title = {A Theory of Testing for Soft Real-Time Processes},
booktitle = {The 8th International Conference on Software Engineering and Knowledge
Engineering, {SEKE} '96, Lake Tahoe, Nevada, USA, June 10-12, 1996},
pages = {474--479},
publisher = {Knowledge Systems Institute},
year = {1996},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/seke/CleavelandLLS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/CleavelandLSS96,
author = {Rance Cleaveland and
Philip M. Lewis and
Scott A. Smolka and
Oleg Sokolsky},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {The Concurrency Factory Software Development Environment},
booktitle = {Tools and Algorithms for Construction and Analysis of Systems, Second
International Workshop, {TACAS} '96, Passau, Germany, March 27-29,
1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1055},
pages = {391--395},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61042-1\_56},
doi = {10.1007/3-540-61042-1\_56},
timestamp = {Sun, 02 Jun 2019 21:19:27 +0200},
biburl = {https://dblp.org/rec/conf/tacas/CleavelandLSS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/MollerS95,
author = {Faron Moller and
Scott A. Smolka},
title = {On the Computational Complexity of Bisimulation},
journal = {{ACM} Comput. Surv.},
volume = {27},
number = {2},
pages = {287--289},
year = {1995},
url = {https://doi.org/10.1145/210376.210406},
doi = {10.1145/210376.210406},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csur/MollerS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/GlabbeekSS95,
author = {Rob J. van Glabbeek and
Scott A. Smolka and
Bernhard Steffen},
title = {Reactive, Generative and Stratified Models of Probabilistic Processes},
journal = {Inf. Comput.},
volume = {121},
number = {1},
pages = {59--80},
year = {1995},
url = {https://doi.org/10.1006/inco.1995.1123},
doi = {10.1006/INCO.1995.1123},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/GlabbeekSS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BaetenBS95,
author = {Jos C. M. Baeten and
Jan A. Bergstra and
Scott A. Smolka},
title = {Axiomatizing Probabilistic Processes: {ACP} with Generative Probabilities},
journal = {Inf. Comput.},
volume = {121},
number = {2},
pages = {234--255},
year = {1995},
url = {https://doi.org/10.1006/inco.1995.1135},
doi = {10.1006/INCO.1995.1135},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BaetenBS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/SokolskyS95,
author = {Oleg Sokolsky and
Scott A. Smolka},
editor = {Pierre Wolper},
title = {Local Model Checking for Real-Time Systems (Extended Abstract)},
booktitle = {Computer Aided Verification, 7th International Conference, Li{\`{e}}ge,
Belgium, July, 3-5, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {939},
pages = {211--224},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60045-0\_52},
doi = {10.1007/3-540-60045-0\_52},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/SokolskyS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/1995,
editor = {Insup Lee and
Scott A. Smolka},
title = {{CONCUR} '95: Concurrency Theory, 6th International Conference, Philadelphia,
PA, USA, August 21-24, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {962},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60218-6},
doi = {10.1007/3-540-60218-6},
isbn = {3-540-60218-6},
timestamp = {Thu, 26 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/1995.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/GuptaSB94,
author = {Rajiv Gupta and
Scott A. Smolka and
Shaji Bhaskar},
title = {On Randomization in Sequential and Distributed Algorithms},
journal = {{ACM} Comput. Surv.},
volume = {26},
number = {1},
pages = {7--86},
year = {1994},
url = {https://doi.org/10.1145/174666.174667},
doi = {10.1145/174666.174667},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/GuptaSB94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/JoungS94,
author = {Yuh{-}Jzer Joung and
Scott A. Smolka},
title = {Coordinating First-Order Multiparty Interactions},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {16},
number = {3},
pages = {954--985},
year = {1994},
url = {https://doi.org/10.1145/177492.177739},
doi = {10.1145/177492.177739},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/JoungS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/SokolskyS94,
author = {Oleg Sokolsky and
Scott A. Smolka},
editor = {David L. Dill},
title = {Incremental Model Checking in the Modal Mu-Calculus},
booktitle = {Computer Aided Verification, 6th International Conference, {CAV} '94,
Stanford, California, USA, June 21-23, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {818},
pages = {351--363},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58179-0\_67},
doi = {10.1007/3-540-58179-0\_67},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/SokolskyS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/UseltonS94,
author = {Andrew C. Uselton and
Scott A. Smolka},
editor = {Bengt Jonsson and
Joachim Parrow},
title = {A Compositional Semantics for Statecharts using Labeled Transition
Systems},
booktitle = {{CONCUR} '94, Concurrency Theory, 5th International Conference, Uppsala,
Sweden, August 22-25, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {836},
pages = {2--17},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-3-540-48654-1\_2},
doi = {10.1007/978-3-540-48654-1\_2},
timestamp = {Tue, 31 Aug 2021 12:07:11 +0200},
biburl = {https://dblp.org/rec/conf/concur/UseltonS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/YuenCDS94,
author = {Shoji Yuen and
Rance Cleaveland and
Zeynep Dayar and
Scott A. Smolka},
editor = {Bengt Jonsson and
Joachim Parrow},
title = {Fully Abstract Characterizations of Testing Preorders for Probabilistic
Processes},
booktitle = {{CONCUR} '94, Concurrency Theory, 5th International Conference, Uppsala,
Sweden, August 22-25, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {836},
pages = {497--512},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-3-540-48654-1\_36},
doi = {10.1007/978-3-540-48654-1\_36},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/YuenCDS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/WuSS94,
author = {Sue{-}Hwey Wu and
Scott A. Smolka and
Eugene W. Stark},
editor = {Bengt Jonsson and
Joachim Parrow},
title = {Composition and Behaviors of Probabilistic {I/O} Automata},
booktitle = {{CONCUR} '94, Concurrency Theory, 5th International Conference, Uppsala,
Sweden, August 22-25, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {836},
pages = {513--528},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-3-540-48654-1\_37},
doi = {10.1007/978-3-540-48654-1\_37},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/WuSS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dimacs/CleavelandGLSSZ94,
author = {Rance Cleaveland and
Jayesh N. Gada and
Philip M. Lewis and
Scott A. Smolka and
Oleg Sokolsky and
Shipei Zhang},
editor = {Guy E. Blelloch and
K. Mani Chandy and
Suresh Jagannathan},
title = {The Concurrency Factory - Practical Tools for Specification, Stimulation,
Verification, and Implementation of Concurrent Systems},
booktitle = {Specification of Parallel Algorithms, Proceedings of a {DIMACS} Workshop,
Princeton, New Jersey, USA, May 9-11, 1994},
series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science},
volume = {18},
pages = {75--89},
publisher = {{DIMACS/AMS}},
year = {1994},
url = {https://doi.org/10.1090/dimacs/018/06},
doi = {10.1090/DIMACS/018/06},
timestamp = {Mon, 22 May 2023 16:07:35 +0200},
biburl = {https://dblp.org/rec/conf/dimacs/CleavelandGLSSZ94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/ZhangSS94,
author = {Shipei Zhang and
Oleg Sokolsky and
Scott A. Smolka},
title = {On the Parallel Complexity of Model Checking in the Modal Mu-Calculus},
booktitle = {Proceedings of the Ninth Annual Symposium on Logic in Computer Science
{(LICS} '94), Paris, France, July 4-7, 1994},
pages = {154--163},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/LICS.1994.316075},
doi = {10.1109/LICS.1994.316075},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/ZhangSS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/UseltonS94,
author = {Andrew C. Uselton and
Scott A. Smolka},
editor = {Ernst{-}R{\"{u}}diger Olderog},
title = {A Process Algebraic Semantics for Statecharts via State Refinement},
booktitle = {Programming Concepts, Methods and Calculi, Proceedings of the {IFIP}
{TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts,
Methods and Calculi {(PROCOMET} '94) San Miniato, Italy, 6-10 June,
1994},
series = {{IFIP} Transactions},
volume = {{A-56}},
pages = {267--286},
publisher = {North-Holland},
year = {1994},
timestamp = {Thu, 03 Jan 2002 12:07:43 +0100},
biburl = {https://dblp.org/rec/conf/procomet/UseltonS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigops/KiferS92,
author = {Michael Kifer and
Scott A. Smolka},
title = {{OSP:} An Environment for Operating System Projects},
journal = {{ACM} {SIGOPS} Oper. Syst. Rev.},
volume = {26},
number = {4},
pages = {98--100},
year = {1992},
url = {https://doi.org/10.1145/142854.142879},
doi = {10.1145/142854.142879},
timestamp = {Tue, 14 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigops/KiferS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BaetenBS92,
author = {Jos C. M. Baeten and
Jan A. Bergstra and
Scott A. Smolka},
editor = {Rance Cleaveland},
title = {Axiomization Probabilistic Processes: {ACP} with Generative Probabililties
(Extended Abstract)},
booktitle = {{CONCUR} '92, Third International Conference on Concurrency Theory,
Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {630},
pages = {472--485},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0084810},
doi = {10.1007/BFB0084810},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/BaetenBS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/ZhangS92,
author = {Shipei Zhang and
Scott A. Smolka},
editor = {Michel Diaz and
Roland Groz},
title = {Towards efficient parallelization of equivalence checking algorithms},
booktitle = {Formal Description Techniques, V, Proceedings of the {IFIP} {TC6/WG6.1}
Fifth International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols, {FORTE} '92, Perros-Guirec,
France, 13-16 October 1992},
series = {{IFIP} Transactions},
volume = {{C-10}},
pages = {121--135},
publisher = {North-Holland},
year = {1992},
timestamp = {Thu, 04 Nov 2004 11:08:03 +0100},
biburl = {https://dblp.org/rec/conf/forte/ZhangS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/CleavelandSZ92,
author = {Rance Cleaveland and
Scott A. Smolka and
Amy E. Zwarico},
editor = {Werner Kuich},
title = {Testing Preorders for Probabilistic Processes},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {708--719},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_116},
doi = {10.1007/3-540-55719-9\_116},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/CleavelandSZ92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/JoungS92,
author = {Yuh{-}Jzer Joung and
Scott A. Smolka},
editor = {Ravi Sethi},
title = {A Comprehensive Study of the Complexity of Multiparty Interaction},
booktitle = {Conference Record of the Nineteenth Annual {ACM} {SIGPLAN-SIGACT}
Symposium on Principles of Programming Languages, Albuquerque, New
Mexico, USA, January 19-22, 1992},
pages = {142--153},
publisher = {{ACM} Press},
year = {1992},
url = {https://doi.org/10.1145/143165.143197},
doi = {10.1145/143165.143197},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/JoungS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/JoungS91,
author = {Yuh{-}Jzer Joung and
Scott A. Smolka},
editor = {David S. Wise},
title = {Coordinating First-Order Multiparty Interactions},
booktitle = {Conference Record of the Eighteenth Annual {ACM} Symposium on Principles
of Programming Languages, Orlando, Florida, USA, January 21-23, 1991},
pages = {209--220},
publisher = {{ACM} Press},
year = {1991},
url = {https://doi.org/10.1145/99583.99614},
doi = {10.1145/99583.99614},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/JoungS91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/KanellakisS90,
author = {Paris C. Kanellakis and
Scott A. Smolka},
title = {{CCS} Expressions, Finite State Processes, and Three Problems of Equivalence},
journal = {Inf. Comput.},
volume = {86},
number = {1},
pages = {43--68},
year = {1990},
url = {https://doi.org/10.1016/0890-5401(90)90025-D},
doi = {10.1016/0890-5401(90)90025-D},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/KanellakisS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpp/ReifS90,
author = {John H. Reif and
Scott A. Smolka},
title = {Data flow analysis of distributed communicating processes},
journal = {Int. J. Parallel Program.},
volume = {19},
number = {1},
pages = {1--30},
year = {1990},
url = {https://doi.org/10.1007/BF01407862},
doi = {10.1007/BF01407862},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijpp/ReifS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/JouS90,
author = {Chi{-}Chang Jou and
Scott A. Smolka},
editor = {Jos C. M. Baeten and
Jan Willem Klop},
title = {Equivalences, Congruences, and Complete Axiomatizations for Probabilistic
Processes},
booktitle = {{CONCUR} '90, Theories of Concurrency: Unification and Extension,
Amsterdam, The Netherlands, August 27-30, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {458},
pages = {367--383},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0039071},
doi = {10.1007/BFB0039071},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/JouS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/SmolkaS90,
author = {Scott A. Smolka and
Bernhard Steffen},
editor = {Jos C. M. Baeten and
Jan Willem Klop},
title = {Priority as Extremal Probability},
booktitle = {{CONCUR} '90, Theories of Concurrency: Unification and Extension,
Amsterdam, The Netherlands, August 27-30, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {458},
pages = {456--466},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0039077},
doi = {10.1007/BFB0039077},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/SmolkaS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpp/JoungS90,
author = {Yuh{-}Jzer Joung and
Scott A. Smolka},
editor = {Pen{-}Chung Yew},
title = {A Completely Distributed and Message-Efficient Implementation of Synchronous
Multiprocess Communication},
booktitle = {Proceedings of the 1990 International Conference on Parallel Processing,
Urbana-Champaign, IL, USA, August 1990. Volume 3: Algorithms and Applications},
pages = {311--318},
publisher = {Pennsylvania State University Press},
year = {1990},
timestamp = {Mon, 15 Jun 2015 19:00:07 +0200},
biburl = {https://dblp.org/rec/conf/icpp/JoungS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip2/GiacaloneJS90,
author = {Alessandro Giacalone and
Chi{-}Chang Jou and
Scott A. Smolka},
editor = {Manfred Broy and
Cliff B. Jones},
title = {Algebraic Reasoning for Probabilistic Concurrent Systems},
booktitle = {Programming concepts and methods: Proceedings of the {IFIP} Working
Group 2.2, 2.3 Working Conference on Programming Concepts and Methods,
Sea of Galilee, Israel, 2-5 April, 1990},
pages = {443--458},
publisher = {North-Holland},
year = {1990},
timestamp = {Sat, 26 Dec 2020 18:17:05 +0100},
biburl = {https://dblp.org/rec/conf/ifip2/GiacaloneJS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/GlabbeekSST90,
author = {Rob J. van Glabbeek and
Scott A. Smolka and
Bernhard Steffen and
Chris M. N. Tofts},
title = {Reactive, Generative, and Stratified Models of Probabilistic Processes},
booktitle = {Proceedings of the Fifth Annual Symposium on Logic in Computer Science
{(LICS} '90), Philadelphia, Pennsylvania, USA, June 4-7, 1990},
pages = {130--141},
publisher = {{IEEE} Computer Society},
year = {1990},
url = {https://doi.org/10.1109/LICS.1990.113740},
doi = {10.1109/LICS.1990.113740},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/GlabbeekSST90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/ReifS88,
author = {John H. Reif and
Scott A. Smolka},
title = {The Complexity of Reachability in Distributed Communicating Processes},
journal = {Acta Informatica},
volume = {25},
number = {3},
pages = {333--354},
year = {1988},
url = {https://doi.org/10.1007/BF00283332},
doi = {10.1007/BF00283332},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/ReifS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithmica/KanellakisS88,
author = {Paris C. Kanellakis and
Scott A. Smolka},
title = {On the Analysis of Cooperation and Antagonism in Networks of Communicating
Processes},
journal = {Algorithmica},
volume = {3},
pages = {421--450},
year = {1988},
url = {https://doi.org/10.1007/BF01762125},
doi = {10.1007/BF01762125},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/algorithmica/KanellakisS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/GiacaloneS88,
author = {Alessandro Giacalone and
Scott A. Smolka},
title = {Integrated Environments for Formally Well-Founded Design and Simulation
of Concurrent Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {14},
number = {6},
pages = {787--802},
year = {1988},
url = {https://doi.org/10.1109/32.6158},
doi = {10.1109/32.6158},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/GiacaloneS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs/MalhotraSSGS88,
author = {Jawahar Malhotra and
Robert M. Shapiro and
Scott A. Smolka and
Alessandro Giacalone},
editor = {Charles Rattray},
title = {Winston: {A} Tool for Hierarchical Design and Simulation of Concurrent
Systems},
booktitle = {Specification and Verification of Concurrent Systems {[BCS-FACS} Workshop,
6-8 July 1988, University of Stirling, Scotland, {UK]}},
series = {Workshops in Computing},
pages = {140--152},
publisher = {Springer},
year = {1988},
timestamp = {Fri, 03 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/facs/MalhotraSSGS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip2/SmolkaS87,
author = {Scott A. Smolka and
Robert E. Strom},
editor = {Martin Wirsing},
title = {A {CCS} semantics for {NIL}},
booktitle = {Formal Description of Programming Concepts - {III:} Proceedings of
the {IFIP} {TC} 2/WG 2.2 Working Conference on Formal Description
of Programming Concepts - III, Ebberup, Denmark, 25-28 August 1986},
pages = {347--376},
publisher = {North-Holland},
year = {1987},
timestamp = {Thu, 10 Jan 2019 14:37:08 +0100},
biburl = {https://dblp.org/rec/conf/ifip2/SmolkaS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/BolognesiS87,
author = {Tommaso Bolognesi and
Scott A. Smolka},
editor = {Harry Rudin and
Colin H. West},
title = {Fundamental Results for the Verification of Observational Equivalence:
{A} Survey},
booktitle = {Protocol Specification, Testing and Verification VII, Proceedings
of the {IFIP} {WG6.1} Seventh International Conference on Protocol
Specification, Testing and Verification, Zurich, Switzerland, 5-8
May, 1987},
pages = {165--179},
publisher = {North-Holland},
year = {1987},
timestamp = {Thu, 03 Jan 2002 12:07:46 +0100},
biburl = {https://dblp.org/rec/conf/pstv/BolognesiS87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/SinghSR87,
author = {Gurdip Singh and
Scott A. Smolka and
I. V. Ramakrishnan},
editor = {Jan van Leeuwen},
title = {Distributed Algorithms for Tree Pattern Matching},
booktitle = {Distributed Algorithms, 2nd International Workshop, Amsterdam, The
Netherlands, July 8-10, 1987, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {312},
pages = {92--107},
publisher = {Springer},
year = {1987},
url = {https://doi.org/10.1007/BFb0019797},
doi = {10.1007/BFB0019797},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/wdag/SinghSR87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/KanellakisS85,
author = {Paris C. Kanellakis and
Scott A. Smolka},
editor = {Michael A. Malcolm and
H. Raymond Strong},
title = {On the Analysis of Cooperation and Antagonism in Networks of Communicating
Processes},
booktitle = {Proceedings of the Fourth Annual {ACM} Symposium on Principles of
Distributed Computing, Minaki, Ontario, Canada, August 5-7, 1985},
pages = {23--38},
publisher = {{ACM}},
year = {1985},
url = {https://doi.org/10.1145/323596.323599},
doi = {10.1145/323596.323599},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/KanellakisS85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Smolka84,
author = {Scott A. Smolka},
title = {Report on the 6th international symposium on programming},
journal = {{ACM} {SIGPLAN} Notices},
volume = {19},
number = {8},
pages = {104--105},
year = {1984},
url = {https://doi.org/10.1145/988241.988251},
doi = {10.1145/988241.988251},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/Smolka84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/DebrayFS84,
author = {Saumya K. Debray and
Ariel J. Frank and
Scott A. Smolka},
editor = {Mathai Joseph and
R. K. Shyamasundar},
title = {On the Existence and Construction of Robust Communication Protocals
for Unreliable Channels},
booktitle = {Foundations of Software Technology and Theoretical Computer Science,
Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {181},
pages = {136--151},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-13883-8\_69},
doi = {10.1007/3-540-13883-8\_69},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/DebrayFS84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/programm/Smolka84,
author = {Scott A. Smolka},
editor = {Manfred Paul and
Bernard J. Robinet},
title = {Polynomial-Time Analysis for a Class of Communicating processes},
booktitle = {International Symposium on Programming, 6th Colloquium, Toulouse,
France, April 17-19, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {167},
pages = {250--262},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/3-540-12925-1\_44},
doi = {10.1007/3-540-12925-1\_44},
timestamp = {Thu, 24 Feb 2022 13:41:39 +0100},
biburl = {https://dblp.org/rec/conf/programm/Smolka84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pstv/SmolkaFD84,
author = {Scott A. Smolka and
Ariel J. Frank and
Saumya K. Debray},
editor = {Yechiam Yemini and
Robert E. Strom and
Shaula Yemini},
title = {Testing Protocol Robustness the {CCS} Way},
booktitle = {Protocol Specification, Testing and Verification IV, Proceedings of
the {IFIP} {WG6.1} Fourth International Workshop on Protocol Specification,
Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984},
pages = {93--108},
publisher = {North-Holland},
year = {1984},
timestamp = {Tue, 25 Feb 2003 15:13:25 +0100},
biburl = {https://dblp.org/rec/conf/pstv/SmolkaFD84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/WegnerS83,
author = {Peter Wegner and
Scott A. Smolka},
title = {Processes, Tasks, and Monitors: {A} Comparative Study of Concurrent
Programming Primitives},
journal = {{IEEE} Trans. Software Eng.},
volume = {9},
number = {4},
pages = {446--462},
year = {1983},
url = {https://doi.org/10.1109/TSE.1983.234781},
doi = {10.1109/TSE.1983.234781},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/WegnerS83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/KanellakisS83,
author = {Paris C. Kanellakis and
Scott A. Smolka},
editor = {Robert L. Probert and
Nancy A. Lynch and
Nicola Santoro},
title = {{CCS} Expressions, Finite State Processes, and THree Problems of Equivalence},
booktitle = {Proceedings of the Second Annual {ACM} Symposium on Principles of
Distributed Computing, Montreal, Quebec, Canada, August 17-19, 1983},
pages = {228--240},
publisher = {{ACM}},
year = {1983},
url = {https://doi.org/10.1145/800221.806724},
doi = {10.1145/800221.806724},
timestamp = {Thu, 02 Feb 2023 12:03:21 +0100},
biburl = {https://dblp.org/rec/conf/podc/KanellakisS83.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 2024-08-23 18:36 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:
