Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Saulius Pusinskas
@article{DBLP:journals/fmsd/LiBDLNP10, author = {Shuhao Li and Sandie Balaguer and Alexandre David and Kim G. Larsen and Brian Nielsen and Saulius Pusinskas}, title = {Scenario-based verification of real-time systems using Uppaal}, journal = {Formal Methods Syst. Des.}, volume = {37}, number = {2-3}, pages = {200--264}, year = {2010}, url = {https://doi.org/10.1007/s10703-010-0103-z}, doi = {10.1007/S10703-010-0103-Z}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fmsd/LiBDLNP10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/date/LarsenLNP10, author = {Kim Guldstrand Larsen and Shuhao Li and Brian Nielsen and Saulius Pusinskas}, editor = {Giovanni De Micheli and Bashir M. Al{-}Hashimi and Wolfgang M{\"{u}}ller and Enrico Macii}, title = {Scenario-based analysis and synthesis of real-time systems using uppaal}, booktitle = {Design, Automation and Test in Europe, {DATE} 2010, Dresden, Germany, March 8-12, 2010}, pages = {447--452}, publisher = {{IEEE} Computer Society}, year = {2010}, url = {https://doi.org/10.1109/DATE.2010.5457164}, doi = {10.1109/DATE.2010.5457164}, timestamp = {Wed, 16 Oct 2019 14:14:53 +0200}, biburl = {https://dblp.org/rec/conf/date/LarsenLNP10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/LarsenLNP09, author = {Kim Guldstrand Larsen and Shuhao Li and Brian Nielsen and Saulius Pusinskas}, editor = {Ana Cavalcanti and Dennis Dams}, title = {Verifying Real-Time Systems against Scenario-Based Requirements}, booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5850}, pages = {676--691}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-05089-3\_43}, doi = {10.1007/978-3-642-05089-3\_43}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fm/LarsenLNP09.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.