Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "rigorous model"
download as .bib file
@article{DBLP:journals/cce/KudvaTP24,
author = {Akshay Kudva and
Wei{-}Ting Tang and
Joel A. Paulson},
title = {Robust Bayesian optimization for flexibility analysis of expensive
simulation-based models with rigorous uncertainty bounds},
journal = {Comput. Chem. Eng.},
volume = {181},
pages = {108515},
year = {2024},
url = {https://doi.org/10.1016/j.compchemeng.2023.108515},
doi = {10.1016/J.COMPCHEMENG.2023.108515},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cce/KudvaTP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcisd/FraczkiewiczW23,
author = {Robert Fraczkiewicz and
Marvin Waldman},
title = {p\emph{K}\({}_{\mbox{50}}\){\unicode{9472}}A Rigorous Indicator of
Individual Functional Group Acidity/Basicity in Multiprotic Compounds},
journal = {J. Chem. Inf. Model.},
volume = {63},
number = {10},
pages = {3198--3208},
year = {2023},
url = {https://doi.org/10.1021/acs.jcim.3c00187},
doi = {10.1021/ACS.JCIM.3C00187},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcisd/FraczkiewiczW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcisd/KurniawanI23,
author = {Jason Kurniawan and
Takashi Ishida},
title = {Comparing Supervised Learning and Rigorous Approach for Predicting
Protein Stability upon Point Mutations in Difficult Targets},
journal = {J. Chem. Inf. Model.},
volume = {63},
number = {21},
pages = {6778--6788},
year = {2023},
url = {https://doi.org/10.1021/acs.jcim.3c00750},
doi = {10.1021/ACS.JCIM.3C00750},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcisd/KurniawanI23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/staeors/LiZF23,
author = {Shaoning Li and
Guo Zhang and
Xiufang Fan},
title = {Rigorous Sensor Model of Gaofen-7 Satellite Laser Altimeter Based
on Coupled Footprint Camera},
journal = {{IEEE} J. Sel. Top. Appl. Earth Obs. Remote. Sens.},
volume = {16},
pages = {1815--1826},
year = {2023},
url = {https://doi.org/10.1109/JSTARS.2023.3242736},
doi = {10.1109/JSTARS.2023.3242736},
timestamp = {Sat, 11 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/staeors/LiZF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tgrs/LiuTTYZW23,
author = {Shuai Liu and
Kai Tan and
Pengjie Tao and
Jianru Yang and
Weiguo Zhang and
Yanjun Wang},
title = {Rigorous Density Correction Model for Single-Scan {TLS} Point Clouds},
journal = {{IEEE} Trans. Geosci. Remote. Sens.},
volume = {61},
pages = {1--18},
year = {2023},
url = {https://doi.org/10.1109/TGRS.2023.3254545},
doi = {10.1109/TGRS.2023.3254545},
timestamp = {Sun, 16 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tgrs/LiuTTYZW23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsmc/LiuF23,
author = {Yanhui Liu and
Jun Fu},
title = {Dynamic Event-Triggered Model Predictive Control With Guaranteed Rigorous
Satisfaction of Probabilistic Path Constraints},
journal = {{IEEE} Trans. Syst. Man Cybern. Syst.},
volume = {53},
number = {12},
pages = {7681--7692},
year = {2023},
url = {https://doi.org/10.1109/TSMC.2023.3298511},
doi = {10.1109/TSMC.2023.3298511},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tsmc/LiuF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/micro/MazurekT0PS23,
author = {Filip Mazurek and
Arya Tschand and
Yu Wang and
Miroslav Pajic and
Daniel J. Sorin},
title = {Rigorous Evaluation of Computer Processors with Statistical Model
Checking},
booktitle = {Proceedings of the 56th Annual {IEEE/ACM} International Symposium
on Microarchitecture, {MICRO} 2023, Toronto, ON, Canada, 28 October
2023 - 1 November 2023},
pages = {1242--1254},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3613424.3623785},
doi = {10.1145/3613424.3623785},
timestamp = {Sun, 31 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/micro/MazurekT0PS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/LiuXW023,
author = {Jiawei Liu and
Chunqiu Steven Xia and
Yuyao Wang and
Lingming Zhang},
editor = {Alice Oh and
Tristan Naumann and
Amir Globerson and
Kate Saenko and
Moritz Hardt and
Sergey Levine},
title = {Is Your Code Generated by ChatGPT Really Correct? Rigorous Evaluation
of Large Language Models for Code Generation},
booktitle = {Advances in Neural Information Processing Systems 36: Annual Conference
on Neural Information Processing Systems 2023, NeurIPS 2023, New Orleans,
LA, USA, December 10 - 16, 2023},
year = {2023},
url = {http://papers.nips.cc/paper\_files/paper/2023/hash/43e9d647ccd3e4b7b5baab53f0368686-Abstract-Conference.html},
timestamp = {Fri, 01 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nips/LiuXW023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/LiuBB23,
author = {Peiyuan Liu and
Jeremiah Blocki and
Wenjie Bai},
title = {Confident Monte Carlo: Rigorous Analysis of Guessing Curves for Probabilistic
Password Models},
booktitle = {44th {IEEE} Symposium on Security and Privacy, {SP} 2023, San Francisco,
CA, USA, May 21-25, 2023},
pages = {626--644},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/SP46215.2023.10179365},
doi = {10.1109/SP46215.2023.10179365},
timestamp = {Thu, 27 Jul 2023 08:17:10 +0200},
biburl = {https://dblp.org/rec/conf/sp/LiuBB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-01210,
author = {Jiawei Liu and
Chunqiu Steven Xia and
Yuyao Wang and
Lingming Zhang},
title = {Is Your Code Generated by ChatGPT Really Correct? Rigorous Evaluation
of Large Language Models for Code Generation},
journal = {CoRR},
volume = {abs/2305.01210},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.01210},
doi = {10.48550/ARXIV.2305.01210},
eprinttype = {arXiv},
eprint = {2305.01210},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-01210.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-04233,
author = {Ivar Stefansson and
Jhabriel Varela and
Eirik Keilegavlen and
Inga Berre},
title = {Flexible and rigorous numerical modelling of multiphysics processes
in fractured porous media using PorePy},
journal = {CoRR},
volume = {abs/2308.04233},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.04233},
doi = {10.48550/ARXIV.2308.04233},
eprinttype = {arXiv},
eprint = {2308.04233},
timestamp = {Tue, 22 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-04233.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-12485,
author = {Rafael Fresno{-}Aranda and
Pablo Fernandez and
Antonio Gamez{-}Diaz and
Amador Dur{\'{a}}n and
Antonio Ruiz Cort{\'{e}}s},
title = {Pricing4APIs: {A} Rigorous Model for RESTful {API} Pricings},
journal = {CoRR},
volume = {abs/2311.12485},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.12485},
doi = {10.48550/ARXIV.2311.12485},
eprinttype = {arXiv},
eprint = {2311.12485},
timestamp = {Wed, 29 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-12485.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-13628,
author = {Thomas P. Zollo and
Todd Morrill and
Zhun Deng and
Jake C. Snell and
Toniann Pitassi and
Richard S. Zemel},
title = {Prompt Risk Control: {A} Rigorous Framework for Responsible Deployment
of Large Language Models},
journal = {CoRR},
volume = {abs/2311.13628},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.13628},
doi = {10.48550/ARXIV.2311.13628},
eprinttype = {arXiv},
eprint = {2311.13628},
timestamp = {Thu, 30 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-13628.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/access/AggarwalMT22,
author = {Kanchan Aggarwal and
Siddhartha Mukhopadhyay and
Arun K. Tangirala},
title = {Rigorous Predictive Noise Modeling Approach for Model-Based Onset
Detection and Enhanced Picking of P-Waves in Seismic Signals},
journal = {{IEEE} Access},
volume = {10},
pages = {31084--31102},
year = {2022},
url = {https://doi.org/10.1109/ACCESS.2022.3159226},
doi = {10.1109/ACCESS.2022.3159226},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/access/AggarwalMT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/elektrik/EfeDT22,
author = {Ibrahim Efe and
Fatih Dikmen and
Yury Tuchkin},
title = {On an electrostatic micropump with a rigorous mathematical model},
journal = {Turkish J. Electr. Eng. Comput. Sci.},
volume = {30},
number = {3},
pages = {805--817},
year = {2022},
url = {https://doi.org/10.55730/1300-0632.3812},
doi = {10.55730/1300-0632.3812},
timestamp = {Mon, 02 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/elektrik/EfeDT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jns/BrandtDHH22,
author = {Felix Brandt and
Karoline Disser and
Robert Haller{-}Dintelmann and
Matthias Hieber},
title = {Rigorous Analysis and Dynamics of Hibler's Sea Ice Model},
journal = {J. Nonlinear Sci.},
volume = {32},
number = {4},
pages = {50},
year = {2022},
url = {https://doi.org/10.1007/s00332-022-09805-w},
doi = {10.1007/S00332-022-09805-W},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jns/BrandtDHH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/remotesensing/WuHHSWWD22,
author = {Yihao Wu and
Xiufeng He and
Jia Huang and
Hongkai Shi and
Haihong Wang and
Yunlong Wu and
Yuan Ding},
title = {Comparison of Mean Dynamic Topography Modeling from Multivariate Objective
Analysis and Rigorous Least Squares Method},
journal = {Remote. Sens.},
volume = {14},
number = {21},
pages = {5330},
year = {2022},
url = {https://doi.org/10.3390/rs14215330},
doi = {10.3390/RS14215330},
timestamp = {Mon, 05 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/remotesensing/WuHHSWWD22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/remotesensing/XuZSCT22,
author = {Jiasheng Xu and
Guoqing Zhou and
Sikai Su and
Qiaobo Cao and
Zhou Tian},
title = {The Development of {A} Rigorous Model for Bathymetric Mapping from
Multispectral Satellite-Images},
journal = {Remote. Sens.},
volume = {14},
number = {10},
pages = {2495},
year = {2022},
url = {https://doi.org/10.3390/rs14102495},
doi = {10.3390/RS14102495},
timestamp = {Mon, 25 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/remotesensing/XuZSCT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bigdataconf/ZouX22,
author = {Haochen Zou and
Kun Xiang},
editor = {Shusaku Tsumoto and
Yukio Ohsawa and
Lei Chen and
Dirk Van den Poel and
Xiaohua Hu and
Yoichi Motomura and
Takuya Takagi and
Lingfei Wu and
Ying Xie and
Akihiro Abe and
Vijay Raghavan},
title = {A Novel Rigorous Measurement Model for Big Data Quality Characteristics},
booktitle = {{IEEE} International Conference on Big Data, Big Data 2022, Osaka,
Japan, December 17-20, 2022},
pages = {2699--2708},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/BigData55660.2022.10020564},
doi = {10.1109/BIGDATA55660.2022.10020564},
timestamp = {Fri, 18 Aug 2023 17:39:03 +0200},
biburl = {https://dblp.org/rec/conf/bigdataconf/ZouX22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/BoubaWOB22,
author = {Khaoula Bouba and
Abderrahim Ait Wakrime and
Yassine Ouhammou and
R{\'{e}}douane Benaini},
editor = {Philippe Fournier{-}Viger and
Ahmed Hassan Yousef and
Ladjel Bellatreche},
title = {Towards the Strengthening of Capella Modeling Semantics by Integrating
Event-B: {A} Rigorous Model-Based Approach for Safety-Critical Systems},
booktitle = {Model and Data Engineering: 11th International Conference, {MEDI}
2022, Cairo, Egypt, November 21-24, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13761},
pages = {119--132},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21595-7\_9},
doi = {10.1007/978-3-031-21595-7\_9},
timestamp = {Fri, 14 Apr 2023 23:05:44 +0200},
biburl = {https://dblp.org/rec/conf/medi/BoubaWOB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/Koning22,
author = {Hans{-}Peter de Koning},
editor = {Lu{\'{\i}}s Ferreira Pires and
Slimane Hammoudi and
Edwin Seidewitz},
title = {Rigorous Modelling of Quantities for Model-Based Systems Engineering},
booktitle = {Proceedings of the 10th International Conference on Model-Driven Engineering
and Software Development, {MODELSWARD} 2022, Online Streaming, February
6-8, 2022},
pages = {9},
publisher = {{SCITEPRESS}},
year = {2022},
timestamp = {Tue, 06 Jun 2023 14:58:00 +0200},
biburl = {https://dblp.org/rec/conf/modelsward/Koning22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/RauhMUHWWDGIGIH22,
author = {Maribeth Rauh and
John Mellor and
Jonathan Uesato and
Po{-}Sen Huang and
Johannes Welbl and
Laura Weidinger and
Sumanth Dathathri and
Amelia Glaese and
Geoffrey Irving and
Iason Gabriel and
William Isaac and
Lisa Anne Hendricks},
editor = {Sanmi Koyejo and
S. Mohamed and
A. Agarwal and
Danielle Belgrave and
K. Cho and
A. Oh},
title = {Characteristics of Harmful Text: Towards Rigorous Benchmarking of
Language Models},
booktitle = {Advances in Neural Information Processing Systems 35: Annual Conference
on Neural Information Processing Systems 2022, NeurIPS 2022, New Orleans,
LA, USA, November 28 - December 9, 2022},
year = {2022},
url = {http://papers.nips.cc/paper\_files/paper/2022/hash/9ca22870ae0ba55ee50ce3e2d269e5de-Abstract-Datasets\_and\_Benchmarks.html},
timestamp = {Mon, 08 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nips/RauhMUHWWDGIGIH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2205-06913,
author = {Nicolas Kardous and
Amaury Hayat and
Sean T. McQuade and
Xiaoqian Gong and
Sydney Truong and
Tinhinane Mezair and
Paige Arnold and
Ryan Delorenzo and
Alexandre M. Bayen and
Benedetto Piccoli},
title = {A rigorous multi-population multi-lane hybrid traffic model and its
mean-field limit for dissipation of waves via autonomous vehicles},
journal = {CoRR},
volume = {abs/2205.06913},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2205.06913},
doi = {10.48550/ARXIV.2205.06913},
eprinttype = {arXiv},
eprint = {2205.06913},
timestamp = {Tue, 17 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2205-06913.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-08325,
author = {Maribeth Rauh and
John Mellor and
Jonathan Uesato and
Po{-}Sen Huang and
Johannes Welbl and
Laura Weidinger and
Sumanth Dathathri and
Amelia Glaese and
Geoffrey Irving and
Iason Gabriel and
William Isaac and
Lisa Anne Hendricks},
title = {Characteristics of Harmful Text: Towards Rigorous Benchmarking of
Language Models},
journal = {CoRR},
volume = {abs/2206.08325},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.08325},
doi = {10.48550/ARXIV.2206.08325},
eprinttype = {arXiv},
eprint = {2206.08325},
timestamp = {Fri, 05 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-08325.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-05536,
author = {Shuang Liu and
Li{-}Tien Cheng and
Bo Li},
title = {Cell Polarity and Movement with Reaction-Diffusion and Moving Boundary:
Rigorous Modeling and Robust Simulations},
journal = {CoRR},
volume = {abs/2208.05536},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.05536},
doi = {10.48550/ARXIV.2208.05536},
eprinttype = {arXiv},
eprint = {2208.05536},
timestamp = {Fri, 19 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-05536.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2211-16587,
author = {Donato Clun and
Donghwan Shin and
Antonio Filieri and
Domenico Bianculli},
title = {Rigorous Assessment of Model Inference Accuracy using Language Cardinality},
journal = {CoRR},
volume = {abs/2211.16587},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2211.16587},
doi = {10.48550/ARXIV.2211.16587},
eprinttype = {arXiv},
eprint = {2211.16587},
timestamp = {Fri, 02 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2211-16587.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Khoussi21,
author = {Siham Khoussi},
title = {Rigorous modeling and performance evaluation of networking systems.
(Mod{\'{e}}lisation et v{\'{e}}rification formelle des performances
des syst{\`{e}}mes de r{\'{e}}seau)},
school = {Grenoble Alpes University, France},
year = {2021},
url = {https://tel.archives-ouvertes.fr/tel-03728262},
timestamp = {Wed, 10 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/Khoussi21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Rouland21,
author = {Quentin Rouland},
title = {Rigorous development of secure architecture within the negative and
positive statements: properties, models, analysis and tool support.
(D{\'{e}}veloppement rigoureux des architectures s{\'{e}}curis{\'{e}}es
dans les visions n{\'{e}}gative et positive: propri{\'{e}}t{\'{e}}s,
mod{\`{e}}les, analyse et outils support)},
school = {Paul Sabatier University, Toulouse, France},
year = {2021},
url = {https://tel.archives-ouvertes.fr/tel-03699867},
timestamp = {Fri, 15 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/Rouland21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ploscb/AlamoJMM21,
author = {Diego del Alamo and
Kevin L. Jagessar and
Jens Meiler and
Hassane S. Mchaourab},
title = {Methodology for rigorous modeling of protein conformational changes
by Rosetta using {DEER} distance restraints},
journal = {PLoS Comput. Biol.},
volume = {17},
number = {6},
year = {2021},
url = {https://doi.org/10.1371/journal.pcbi.1009107},
doi = {10.1371/JOURNAL.PCBI.1009107},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ploscb/AlamoJMM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/BrazealWH21,
author = {Ryan G. Brazeal and
Benjamin E. Wilkinson and
Hartwig H. Hochmair},
title = {A Rigorous Observation Model for the Risley Prism-Based Livox Mid-40
Lidar Sensor},
journal = {Sensors},
volume = {21},
number = {14},
pages = {4722},
year = {2021},
url = {https://doi.org/10.3390/s21144722},
doi = {10.3390/S21144722},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sensors/BrazealWH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamma/Emerald21,
author = {Louis Emerald},
title = {Rigorous Derivation from the Water Waves Equations of Some Full Dispersion
Shallow Water Models},
journal = {{SIAM} J. Math. Anal.},
volume = {53},
number = {4},
pages = {3772--3800},
year = {2021},
url = {https://doi.org/10.1137/20M1332049},
doi = {10.1137/20M1332049},
timestamp = {Mon, 27 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamma/Emerald21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Makowsky21,
author = {Johann A. Makowsky},
editor = {Alexander Raschke and
Elvinia Riccobene and
Klaus{-}Dieter Schewe},
title = {Some Thoughts on Computational Models: From Massive Human Computing
to Abstract State Machines, and Beyond},
booktitle = {Logic, Computation and Rigorous Methods - Essays Dedicated to Egon
B{\"{o}}rger on the Occasion of His 75th Birthday},
series = {Lecture Notes in Computer Science},
volume = {12750},
pages = {173--186},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-76020-5\_10},
doi = {10.1007/978-3-030-76020-5\_10},
timestamp = {Sat, 12 Jun 2021 12:58:01 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Makowsky21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Thalheim21,
author = {Bernhard Thalheim},
editor = {Alexander Raschke and
Elvinia Riccobene and
Klaus{-}Dieter Schewe},
title = {Models and Modelling in Computer Science},
booktitle = {Logic, Computation and Rigorous Methods - Essays Dedicated to Egon
B{\"{o}}rger on the Occasion of His 75th Birthday},
series = {Lecture Notes in Computer Science},
volume = {12750},
pages = {301--325},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-76020-5\_17},
doi = {10.1007/978-3-030-76020-5\_17},
timestamp = {Tue, 15 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Thalheim21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/ZimmermannW21,
author = {Wolf Zimmermann and
Mandy Wei{\ss}bach},
editor = {Alexander Raschke and
Elvinia Riccobene and
Klaus{-}Dieter Schewe},
title = {A Framework for Modeling the Semantics of Synchronous and Asynchronous
Procedures with Abstract State Machines},
booktitle = {Logic, Computation and Rigorous Methods - Essays Dedicated to Egon
B{\"{o}}rger on the Occasion of His 75th Birthday},
series = {Lecture Notes in Computer Science},
volume = {12750},
pages = {326--352},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-76020-5\_18},
doi = {10.1007/978-3-030-76020-5\_18},
timestamp = {Sat, 12 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/ZimmermannW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ideas/BhardwajO21,
author = {Dave Bhardwaj and
Olga Ormandjieva},
title = {Rigorous Measurement Model for Validity of Big Data: {MEGA} Approach},
booktitle = {{IDEAS} 2021: 25th International Database Engineering {\&} Applications
Symposium, Montreal, QC, Canada, July 14-16, 2021},
pages = {285--291},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3472163.3472171},
doi = {10.1145/3472163.3472171},
timestamp = {Fri, 10 Sep 2021 14:46:53 +0200},
biburl = {https://dblp.org/rec/conf/ideas/BhardwajO21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/21/RatiuNMCV21,
author = {Daniel Ratiu and
Arne Nordmann and
Peter Munk and
Carmen C{\^{a}}rlan and
Markus Voelter},
editor = {Antonio Bucchiarone and
Antonio Cicchetti and
Federico Ciccozzi and
Alfonso Pierantonio},
title = {{FASTEN:} An Extensible Platform to Experiment with Rigorous Modeling
of Safety-Critical Systems},
booktitle = {Domain-Specific Languages in Practice: with JetBrains {MPS}},
pages = {131--164},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-73758-0\_5},
doi = {10.1007/978-3-030-73758-0\_5},
timestamp = {Wed, 10 Aug 2022 13:43:33 +0200},
biburl = {https://dblp.org/rec/books/sp/21/RatiuNMCV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-04240,
author = {Jun Lu},
title = {A rigorous introduction for linear models},
journal = {CoRR},
volume = {abs/2105.04240},
year = {2021},
url = {https://arxiv.org/abs/2105.04240},
eprinttype = {arXiv},
eprint = {2105.04240},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-04240.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-12906,
author = {Edvin Wedin},
title = {A rigorous formulation of and partial results on Lorenz's "consensus
strikes back" phenomenon for the Hegselmann-Krause model},
journal = {CoRR},
volume = {abs/2107.12906},
year = {2021},
url = {https://arxiv.org/abs/2107.12906},
eprinttype = {arXiv},
eprint = {2107.12906},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-12906.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/hal/Chouali20,
author = {Samir Chouali},
title = {Contributions {\`{a}} la conception rigoureuse des syst{\`{e}}mes
{\`{a}} base de composants exploitant des mod{\`{e}}les SysML et des
approches formelles. (Contributions to the rigorous design of component-based
systems using SysML models and formal approaches)},
year = {2020},
url = {https://tel.archives-ouvertes.fr/tel-03126592},
timestamp = {Tue, 23 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/books/hal/Chouali20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amc/PazaninR20,
author = {Igor Pazanin and
Marko Radulovic},
title = {Effects of the viscous dissipation on the Darcy-Brinkman flow: Rigorous
derivation of the higher-order asymptotic model},
journal = {Appl. Math. Comput.},
volume = {386},
pages = {125479},
year = {2020},
url = {https://doi.org/10.1016/j.amc.2020.125479},
doi = {10.1016/J.AMC.2020.125479},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/amc/PazaninR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcisd/CourniaABPRS20,
author = {Zoe Cournia and
Bryce K. Allen and
Thijs Beuming and
David A. Pearlman and
Brian K. Radak and
Woody Sherman},
title = {Rigorous Free Energy Simulations in Virtual Screening},
journal = {J. Chem. Inf. Model.},
volume = {60},
number = {9},
pages = {4153--4169},
year = {2020},
url = {https://doi.org/10.1021/acs.jcim.0c00116},
doi = {10.1021/ACS.JCIM.0C00116},
timestamp = {Wed, 01 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcisd/CourniaABPRS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcisd/LautalaPKKTRTYB20,
author = {Saara Lautala and
Riccardo Provenzani and
Artturi Koivuniemi and
Waldemar Kulig and
Virpi Talman and
Tomasz R{\'{o}}g and
Raimo K. Tuominen and
Jari Yli{-}Kauhaluoma and
Alex Bunker},
title = {Rigorous Computational Study Reveals What Docking Overlooks: Double
Trouble from Membrane Association in Protein Kinase {C} Modulators},
journal = {J. Chem. Inf. Model.},
volume = {60},
number = {11},
pages = {5624--5633},
year = {2020},
url = {https://doi.org/10.1021/acs.jcim.0c00624},
doi = {10.1021/ACS.JCIM.0C00624},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcisd/LautalaPKKTRTYB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/remotesensing/LiLDTHC20,
author = {Yaxin Li and
Wenbin Li and
Walid Darwish and
Shengjun Tang and
Yuling Hu and
Wu Chen},
title = {Improving Plane Fitting Accuracy with Rigorous Error Models of Structured
Light-Based {RGB-D} Sensors},
journal = {Remote. Sens.},
volume = {12},
number = {2},
pages = {320},
year = {2020},
url = {https://doi.org/10.3390/rs12020320},
doi = {10.3390/RS12020320},
timestamp = {Tue, 11 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/remotesensing/LiLDTHC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcst/XuYHO20,
author = {Bin Xu and
Adamu Yebi and
Mark A. Hoffman and
Simona Onori},
title = {A Rigorous Model Order Reduction Framework for Waste Heat Recovery
Systems Based on Proper Orthogonal Decomposition and Galerkin Projection},
journal = {{IEEE} Trans. Control. Syst. Technol.},
volume = {28},
number = {2},
pages = {635--643},
year = {2020},
url = {https://doi.org/10.1109/TCST.2018.2878810},
doi = {10.1109/TCST.2018.2878810},
timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcst/XuYHO20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eitce/ZhongWW20,
author = {Lingyu Zhong and
Xue Wu and
Peng Wang},
title = {Construction and Verification of Rigorous Imaging Model of Spaceborne
Linear Array Vertical Orbit Ring Scanning Sensor},
booktitle = {{EITCE} 2020: 4th International Conference on Electronic Information
Technology and Computer Engineering, Xiamen, China, 6 November, 2020
- 8 November, 2020},
pages = {94--98},
publisher = {{ACM}},
year = {2020},
url = {https://doi.org/10.1145/3443467.3443735},
doi = {10.1145/3443467.3443735},
timestamp = {Fri, 04 Aug 2023 10:04:46 +0200},
biburl = {https://dblp.org/rec/conf/eitce/ZhongWW20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emnlp/LinLTHSWY20,
author = {Hongyu Lin and
Yaojie Lu and
Jialong Tang and
Xianpei Han and
Le Sun and
Zhicheng Wei and
Nicholas Jing Yuan},
editor = {Bonnie Webber and
Trevor Cohn and
Yulan He and
Yang Liu},
title = {A Rigorous Study on Named Entity Recognition: Can Fine-tuning Pretrained
Model Lead to the Promised Land?},
booktitle = {Proceedings of the 2020 Conference on Empirical Methods in Natural
Language Processing, {EMNLP} 2020, Online, November 16-20, 2020},
pages = {7291--7300},
publisher = {Association for Computational Linguistics},
year = {2020},
url = {https://doi.org/10.18653/v1/2020.emnlp-main.592},
doi = {10.18653/V1/2020.EMNLP-MAIN.592},
timestamp = {Wed, 23 Mar 2022 10:11:55 +0100},
biburl = {https://dblp.org/rec/conf/emnlp/LinLTHSWY20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icann/GepperthP20,
author = {Alexander Gepperth and
Benedikt Pf{\"{u}}lb},
editor = {Igor Farkas and
Paolo Masulli and
Stefan Wermter},
title = {A Rigorous Link Between Self-Organizing Maps and Gaussian Mixture
Models},
booktitle = {Artificial Neural Networks and Machine Learning - {ICANN} 2020 - 29th
International Conference on Artificial Neural Networks, Bratislava,
Slovakia, September 15-18, 2020, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12397},
pages = {863--872},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-61616-8\_69},
doi = {10.1007/978-3-030-61616-8\_69},
timestamp = {Tue, 20 Oct 2020 18:10:01 +0200},
biburl = {https://dblp.org/rec/conf/icann/GepperthP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/NienhuisJBFR0NN20,
author = {Kyndylan Nienhuis and
Alexandre Joannou and
Thomas Bauereiss and
Anthony C. J. Fox and
Michael Roe and
Brian Campbell and
Matthew Naylor and
Robert M. Norton and
Simon W. Moore and
Peter G. Neumann and
Ian Stark and
Robert N. M. Watson and
Peter Sewell},
title = {Rigorous engineering for hardware security: Formal modelling and proof
in the {CHERI} design and implementation process},
booktitle = {2020 {IEEE} Symposium on Security and Privacy, {SP} 2020, San Francisco,
CA, USA, May 18-21, 2020},
pages = {1003--1020},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/SP40000.2020.00055},
doi = {10.1109/SP40000.2020.00055},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sp/NienhuisJBFR0NN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-07338,
author = {Anthony J. Roberts},
title = {Rigorous modelling of nonlocal interactions determines a macroscale
advection-diffusion {PDE}},
journal = {CoRR},
volume = {abs/2001.07338},
year = {2020},
url = {https://arxiv.org/abs/2001.07338},
eprinttype = {arXiv},
eprint = {2001.07338},
timestamp = {Mon, 08 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-07338.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-10066,
author = {Yifei Liu and
Chao Chen and
Xi Zhang and
Sihong Xie},
title = {Rigorous Explanation of Inference on Probabilistic Graphical Models},
journal = {CoRR},
volume = {abs/2004.10066},
year = {2020},
url = {https://arxiv.org/abs/2004.10066},
eprinttype = {arXiv},
eprint = {2004.10066},
timestamp = {Tue, 28 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-10066.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-11710,
author = {Alexander Gepperth and
Benedikt Pf{\"{u}}lb},
title = {A Rigorous Link Between Self-Organizing Maps and Gaussian Mixture
Models},
journal = {CoRR},
volume = {abs/2009.11710},
year = {2020},
url = {https://arxiv.org/abs/2009.11710},
eprinttype = {arXiv},
eprint = {2009.11710},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-11710.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-01328,
author = {Gareth W. Young and
Dave Murphy},
title = {{HCI} Models for Digital Musical Instruments: Methodologies for Rigorous
Testing of Digital Musical Instruments},
journal = {CoRR},
volume = {abs/2010.01328},
year = {2020},
url = {https://arxiv.org/abs/2010.01328},
eprinttype = {arXiv},
eprint = {2010.01328},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-01328.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cce/MaLY19,
author = {Yingjie Ma and
Yiqing Luo and
Xigang Yuan},
title = {Towards the really optimal design of distillation systems: Simultaneous
pressures optimization of distillation systems based on rigorous models},
journal = {Comput. Chem. Eng.},
volume = {126},
pages = {54--67},
year = {2019},
url = {https://doi.org/10.1016/j.compchemeng.2019.04.004},
doi = {10.1016/J.COMPCHEMENG.2019.04.004},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cce/MaLY19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cce/SantoroRSM19,
author = {Bruno Faccini Santoro and
David Rinc{\'{o}}n and
Victor Celleguin da Silva and
Diego F. Mendoza},
title = {Nonlinear model predictive control of a climatization system using
rigorous nonlinear model},
journal = {Comput. Chem. Eng.},
volume = {125},
pages = {365--379},
year = {2019},
url = {https://doi.org/10.1016/j.compchemeng.2019.03.014},
doi = {10.1016/J.COMPCHEMENG.2019.03.014},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cce/SantoroRSM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cce/ZhouLZLGZZ19,
author = {Xingyuan Zhou and
Yongtu Liang and
Xin Zhang and
Qi Liao and
Song Gao and
Wan Zhang and
Haoran Zhang},
title = {A {MILP} model for the detailed scheduling of multiproduct pipelines
with the hydraulic constraints rigorously considered},
journal = {Comput. Chem. Eng.},
volume = {130},
year = {2019},
url = {https://doi.org/10.1016/j.compchemeng.2019.106543},
doi = {10.1016/J.COMPCHEMENG.2019.106543},
timestamp = {Fri, 26 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cce/ZhouLZLGZZ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cce/ZhouZQLWXY19,
author = {Xingyuan Zhou and
Haoran Zhang and
Rui Qiu and
Yongtu Liang and
Guangming Wu and
Chengcheng Xiang and
Xiaohan Yan},
title = {A hybrid time {MILP} model for the pump scheduling of multi-product
pipelines based on the rigorous description of the pipeline hydraulic
loss changes},
journal = {Comput. Chem. Eng.},
volume = {121},
pages = {174--199},
year = {2019},
url = {https://doi.org/10.1016/j.compchemeng.2018.10.001},
doi = {10.1016/J.COMPCHEMENG.2018.10.001},
timestamp = {Fri, 26 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cce/ZhouZQLWXY19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/IkumaLPCS19,
author = {Shintaro Ikuma and
Zhetao Li and
Tingrui Pei and
Young{-}June Choi and
Hiroo Sekiya},
title = {Rigorous Analytical Model of Saturated Throughput for the {IEEE} 802.11p
{EDCA}},
journal = {{IEICE} Trans. Commun.},
volume = {102-B},
number = {4},
pages = {699--707},
year = {2019},
url = {https://doi.org/10.1587/transcom.2018SEP0005},
doi = {10.1587/TRANSCOM.2018SEP0005},
timestamp = {Thu, 21 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ieicet/IkumaLPCS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcisys/WangXFYW19,
author = {Na Wang and
Qingzheng Xu and
Rong Fei and
Jun{-}Gang Yang and
Lei Wang},
title = {Rigorous Analysis of Multi-Factorial Evolutionary Algorithm as Multi-Population
Evolution Model},
journal = {Int. J. Comput. Intell. Syst.},
volume = {12},
number = {2},
pages = {1121--1133},
year = {2019},
url = {https://doi.org/10.2991/ijcis.d.191004.001},
doi = {10.2991/IJCIS.D.191004.001},
timestamp = {Sat, 18 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijcisys/WangXFYW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/BliudzeFSV19,
author = {Simon Bliudze and
S{\'{e}}bastien Furic and
Joseph Sifakis and
Antoine Viel},
title = {Rigorous design of cyber-physical systems - Linking physicality and
computation},
journal = {Softw. Syst. Model.},
volume = {18},
number = {3},
pages = {1613--1636},
year = {2019},
url = {https://doi.org/10.1007/s10270-017-0642-5},
doi = {10.1007/S10270-017-0642-5},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/BliudzeFSV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tgrs/RodarmelLBSB19,
author = {Craig Rodarmel and
Mark P. Lee and
Katherine L. Brodie and
Nicholas J. Spore and
Brittany L. Bruder},
title = {Rigorous Error Modeling for sUAS Acquired Image-Derived Point Clouds},
journal = {{IEEE} Trans. Geosci. Remote. Sens.},
volume = {57},
number = {8},
pages = {6240--6253},
year = {2019},
url = {https://doi.org/10.1109/TGRS.2019.2905045},
doi = {10.1109/TGRS.2019.2905045},
timestamp = {Tue, 12 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tgrs/RodarmelLBSB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/AntoniadisES19,
author = {Charalampos Antoniadis and
Nestor E. Evmorfopoulos and
Georgios I. Stamoulis},
title = {A Rigorous Approach for the Sparsification of Dense Matrices in Model
Order Reduction of {RLC} Circuits},
booktitle = {Proceedings of the 56th Annual Design Automation Conference 2019,
{DAC} 2019, Las Vegas, NV, USA, June 02-06, 2019},
pages = {68},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3316781.3317751},
doi = {10.1145/3316781.3317751},
timestamp = {Sun, 08 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dac/AntoniadisES19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esws/ThorntonSSGMPW19,
author = {Katherine Thornton and
Harold Solbrig and
Gregory S. Stupp and
Jos{\'{e}} Emilio Labra Gayo and
Daniel Mietchen and
Eric Prud'hommeaux and
Andra Waagmeester},
editor = {Pascal Hitzler and
Miriam Fern{\'{a}}ndez and
Krzysztof Janowicz and
Amrapali Zaveri and
Alasdair J. G. Gray and
Vanessa L{\'{o}}pez and
Armin Haller and
Karl Hammar},
title = {Using Shape Expressions (ShEx) to Share {RDF} Data Models and to Guide
Curation with Rigorous Validation},
booktitle = {The Semantic Web - 16th International Conference, {ESWC} 2019, Portoro{\v{z}},
Slovenia, June 2-6, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11503},
pages = {606--620},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-21348-0\_39},
doi = {10.1007/978-3-030-21348-0\_39},
timestamp = {Wed, 25 Sep 2019 18:19:49 +0200},
biburl = {https://dblp.org/rec/conf/esws/ThorntonSSGMPW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurosys/MichaelWAET19,
author = {Ellis Michael and
Doug Woos and
Thomas E. Anderson and
Michael D. Ernst and
Zachary Tatlock},
editor = {George Candea and
Robbert van Renesse and
Christof Fetzer},
title = {Teaching Rigorous Distributed Systems With Efficient Model Checking},
booktitle = {Proceedings of the Fourteenth EuroSys Conference 2019, Dresden, Germany,
March 25-28, 2019},
pages = {32:1--32:15},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3302424.3303947},
doi = {10.1145/3302424.3303947},
timestamp = {Sun, 12 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/eurosys/MichaelWAET19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BanachRDL19,
author = {Richard Banach and
Joseph Razavi and
Olivier Debicki and
Suzanne Lesecq},
editor = {Emil Sekerinski and
Nelma Moreira and
Jos{\'{e}} N. Oliveira and
Daniel Ratiu and
Riccardo Guidotti and
Marie Farrell and
Matt Luckcuck and
Diego Marmsoler and
Jos{\'{e}} Creissac Campos and
Troy Astarte and
Laure Gonnord and
Antonio Cerone and
Luis Couto and
Brijesh Dongol and
Martin Kutrib and
Pedro Monteiro and
David Delmas},
title = {Formal Modelling and Verification as Rigorous Review Technology: An
Inspiration from {INSPEX}},
booktitle = {Formal Methods. {FM} 2019 International Workshops - Porto, Portugal,
October 7-11, 2019, Revised Selected Papers, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12232},
pages = {77--91},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-54994-7\_7},
doi = {10.1007/978-3-030-54994-7\_7},
timestamp = {Mon, 05 Feb 2024 20:31:40 +0100},
biburl = {https://dblp.org/rec/conf/fm/BanachRDL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mlsys/RenggliKDLS0Z19,
author = {C{\'{e}}dric Renggli and
Bojan Karlas and
Bolin Ding and
Feng Liu and
Kevin Schawinski and
Wentao Wu and
Ce Zhang},
editor = {Ameet Talwalkar and
Virginia Smith and
Matei Zaharia},
title = {Continuous Integration of Machine Learning Models with ease.ml/ci:
Towards a Rigorous Yet Practical Treatment},
booktitle = {Proceedings of Machine Learning and Systems 2019, MLSys 2019, Stanford,
CA, USA, March 31 - April 2, 2019},
publisher = {mlsys.org},
year = {2019},
url = {https://proceedings.mlsys.org/book/266.pdf},
timestamp = {Tue, 12 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mlsys/RenggliKDLS0Z19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/MezeiTBSP19,
author = {Gergely Mezei and
Zolt{\'{a}}n Theisz and
S{\'{a}}ndor B{\'{a}}csi and
Ferenc Attila Somogyi and
D{\'{a}}niel Palatinszky},
editor = {Loli Burgue{\~{n}}o and
Alexander Pretschner and
Sebastian Voss and
Michel Chaudron and
J{\"{o}}rg Kienzle and
Markus V{\"{o}}lter and
S{\'{e}}bastien G{\'{e}}rard and
Mansooreh Zahedi and
Erwan Bousse and
Arend Rensink and
Fiona Polack and
Gregor Engels and
Gerti Kappel},
title = {Towards Flexible, Rigorous Refinement in Metamodeling},
booktitle = {22nd {ACM/IEEE} International Conference on Model Driven Engineering
Languages and Systems Companion, {MODELS} Companion 2019, Munich,
Germany, September 15-20, 2019},
pages = {455--459},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/MODELS-C.2019.00073},
doi = {10.1109/MODELS-C.2019.00073},
timestamp = {Wed, 23 Feb 2022 12:16:49 +0100},
biburl = {https://dblp.org/rec/conf/models/MezeiTBSP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-00278,
author = {C{\'{e}}dric Renggli and
Bojan Karlas and
Bolin Ding and
Feng Liu and
Kevin Schawinski and
Wentao Wu and
Ce Zhang},
title = {Continuous Integration of Machine Learning Models with ease.ml/ci:
Towards a Rigorous Yet Practical Treatment},
journal = {CoRR},
volume = {abs/1903.00278},
year = {2019},
url = {http://arxiv.org/abs/1903.00278},
eprinttype = {arXiv},
eprint = {1903.00278},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-00278.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-04573,
author = {Jens Wurm and
Simon Bachler and
Frank Woittennek},
title = {New delay-differential thermal models for variable pipe flow - a rigorous
distributed parameter approach},
journal = {CoRR},
volume = {abs/1910.04573},
year = {2019},
url = {http://arxiv.org/abs/1910.04573},
eprinttype = {arXiv},
eprint = {1910.04573},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-04573.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cce/ZhangSZ18,
author = {Xiang Zhang and
Zhen Song and
Teng Zhou},
title = {Rigorous design of reaction-separation processes using disjunctive
programming models},
journal = {Comput. Chem. Eng.},
volume = {111},
pages = {16--26},
year = {2018},
url = {https://doi.org/10.1016/j.compchemeng.2017.12.013},
doi = {10.1016/J.COMPCHEMENG.2017.12.013},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cce/ZhangSZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cma/BenesPR18,
author = {Michal Benes and
Igor Pazanin and
Marko Radulovic},
title = {Rigorous derivation of the asymptotic model describing a nonsteady
micropolar fluid flow through a thin pipe},
journal = {Comput. Math. Appl.},
volume = {76},
number = {9},
pages = {2035--2060},
year = {2018},
url = {https://doi.org/10.1016/j.camwa.2018.07.047},
doi = {10.1016/J.CAMWA.2018.07.047},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cma/BenesPR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fini/NowkeDWHMKP18,
author = {Christian Nowke and
Sandra Diaz{-}Pier and
Benjamin Weyers and
Bernd Hentschel and
Abigail Morrison and
Torsten W. Kuhlen and
Alexander Peyser},
title = {Toward Rigorous Parameterization of Underconstrained Neural Network
Models Through Interactive Visualization and Steering of Connectivity
Generation},
journal = {Frontiers Neuroinformatics},
volume = {12},
pages = {32},
year = {2018},
url = {https://doi.org/10.3389/fninf.2018.00032},
doi = {10.3389/FNINF.2018.00032},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fini/NowkeDWHMKP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fini/TrenschGBDM18,
author = {Guido Trensch and
Robin Gutzen and
Inga Blundell and
Michael Denker and
Abigail Morrison},
title = {Rigorous Neural Network Simulations: {A} Model Substantiation Methodology
for Increasing the Correctness of Simulation Results in the Absence
of Experimental Validation Data},
journal = {Frontiers Neuroinformatics},
volume = {12},
pages = {81},
year = {2018},
url = {https://doi.org/10.3389/fninf.2018.00081},
doi = {10.3389/FNINF.2018.00081},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fini/TrenschGBDM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iet-cds/KimKKA18,
author = {Kibeom Kim and
Jedok Kim and
Hongkyun Kim and
Seungyoung Ahn},
title = {Rigorous mathematical model of through-silicon via capacitance},
journal = {{IET} Circuits Devices Syst.},
volume = {12},
number = {5},
pages = {589--593},
year = {2018},
url = {https://doi.org/10.1049/iet-cds.2017.0157},
doi = {10.1049/IET-CDS.2017.0157},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iet-cds/KimKKA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jns/KogelbauerH18,
author = {Florian Kogelbauer and
George Haller},
title = {Rigorous Model Reduction for a Damped-Forced Nonlinear Beam Model:
An Infinite-Dimensional Analysis},
journal = {J. Nonlinear Sci.},
volume = {28},
number = {3},
pages = {1109--1150},
year = {2018},
url = {https://doi.org/10.1007/s00332-018-9443-4},
doi = {10.1007/S00332-018-9443-4},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jns/KogelbauerH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/DuraczMTL18,
author = {Adam Duracz and
Eugenio Moggi and
Walid Taha and
Zhenchao Lin},
editor = {Marten Lohstroh and
Patricia Derler and
Marjan Sirjani},
title = {A Semantic Account of Rigorous Simulation},
booktitle = {Principles of Modeling - Essays Dedicated to Edward A. Lee on the
Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10760},
pages = {223--239},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-95246-8\_13},
doi = {10.1007/978-3-319-95246-8\_13},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/DuraczMTL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iasam/0004W18,
author = {Bo Zeng and
Xuan Wei},
title = {Capacity Credit Assessment of Demand Response Based on a Rigorous
Uncertainty Modeling Framework},
booktitle = {{IEEE} Industry Applications Society Annual Meeting, {IAS} 2018, Portland,
OR, USA, September 23-27, 2018},
pages = {1--8},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/IAS.2018.8544715},
doi = {10.1109/IAS.2018.8544715},
timestamp = {Tue, 06 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iasam/0004W18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/envsoft/GaelenVWDR17,
author = {Hanne Van Gaelen and
Eline Vanuytrecht and
Patrick Willems and
Jan Diels and
Dirk Raes},
title = {Bridging rigorous assessment of water availability from field to catchment
scale with a parsimonious agro-hydrological model},
journal = {Environ. Model. Softw.},
volume = {94},
pages = {140--156},
year = {2017},
url = {https://doi.org/10.1016/j.envsoft.2017.02.014},
doi = {10.1016/J.ENVSOFT.2017.02.014},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/envsoft/GaelenVWDR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijgi/NavarroPCB17,
author = {Jos{\'{e}} A. Navarro and
M. Eul{\`{a}}lia Par{\'{e}}s and
Ismael Colomina and
Marta Bl{\'{a}}zquez},
title = {{ASTROLABE:} {A} Rigorous, Geodetic-Oriented Data Model for Trajectory
Determination Systems},
journal = {{ISPRS} Int. J. Geo Inf.},
volume = {6},
number = {4},
pages = {98},
year = {2017},
url = {https://doi.org/10.3390/ijgi6040098},
doi = {10.3390/IJGI6040098},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijgi/NavarroPCB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcisd/ZhangCZX17,
author = {Yuwei Zhang and
Zexing Cao and
John Zenghui Zhang and
Fei Xia},
title = {Performance Comparison of Systematic Methods for Rigorous Definition
of Coarse-Grained Sites of Large Biomolecules},
journal = {J. Chem. Inf. Model.},
volume = {57},
number = {2},
pages = {214--222},
year = {2017},
url = {https://doi.org/10.1021/acs.jcim.6b00683},
doi = {10.1021/ACS.JCIM.6B00683},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcisd/ZhangCZX17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jns/RoccaS17,
author = {Elisabetta Rocca and
Riccardo Scala},
title = {A Rigorous Sharp Interface Limit of a Diffuse Interface Model Related
to Tumor Growth},
journal = {J. Nonlinear Sci.},
volume = {27},
number = {3},
pages = {847--872},
year = {2017},
url = {https://doi.org/10.1007/s00332-016-9352-3},
doi = {10.1007/S00332-016-9352-3},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jns/RoccaS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/remotesensing/WangH17,
author = {Jing Wang and
Bo Huang},
title = {A Rigorously-Weighted Spatiotemporal Fusion Model with Uncertainty
Analysis},
journal = {Remote. Sens.},
volume = {9},
number = {10},
pages = {990},
year = {2017},
url = {https://doi.org/10.3390/rs9100990},
doi = {10.3390/RS9100990},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/remotesensing/WangH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/JannatiZM17,
author = {Mojtaba Jannati and
Mohammad Javad Valadan Zoej and
Mehdi Mokhtarzade},
title = {Epipolar Resampling of Cross-Track Pushbroom Satellite Imagery Using
the Rigorous Sensor Model},
journal = {Sensors},
volume = {17},
number = {1},
pages = {129},
year = {2017},
url = {https://doi.org/10.3390/s17010129},
doi = {10.3390/S17010129},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sensors/JannatiZM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/ArcainiGR17,
author = {Paolo Arcaini and
Angelo Gargantini and
Elvinia Riccobene},
title = {Rigorous development process of a safety-critical system: from {ASM}
models to Java code},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {19},
number = {2},
pages = {247--269},
year = {2017},
url = {https://doi.org/10.1007/s10009-015-0394-x},
doi = {10.1007/S10009-015-0394-X},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/ArcainiGR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BerzM17,
author = {Martin Berz and
Kyoko Makino},
editor = {Alessandro Abate and
Sylvie Boldo},
title = {Rigorous Reachability Analysis and Domain Decomposition of Taylor
Models},
booktitle = {Numerical Software Verification - 10th International Workshop, {NSV}
2017, Heidelberg, Germany, July 22-23, 2017, Proceedings [collocated
with {CAV} 2017]},
series = {Lecture Notes in Computer Science},
volume = {10381},
pages = {90--97},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63501-9\_7},
doi = {10.1007/978-3-319-63501-9\_7},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/BerzM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccsa/SantosJF17,
author = {Luciana Brasil Rebelo dos Santos and
Valdivino Alexandre de Santiago J{\'{u}}nior and
Albino Vieira Freitas},
editor = {Osvaldo Gervasi and
Beniamino Murgante and
Sanjay Misra and
Giuseppe Borruso and
Carmelo Maria Torre and
Ana Maria A. C. Rocha and
David Taniar and
Bernady O. Apduhan and
Elena N. Stankova and
Alfredo Cuzzocrea},
title = {A Rigorous Evaluation of the Benefits of Usability Improvements Within
Model Checking-Aided Software Inspections},
booktitle = {Computational Science and Its Applications - {ICCSA} 2017 - 17th International
Conference, Trieste, Italy, July 3-6, 2017, Proceedings, Part {V}},
series = {Lecture Notes in Computer Science},
volume = {10408},
pages = {591--606},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-62404-4\_44},
doi = {10.1007/978-3-319-62404-4\_44},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iccsa/SantosJF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lgrs/SunFL16,
author = {Tao Sun and
Jun{-}yong Fang and
Ying Li},
title = {Bundle Block Adjustment of Tilt-Shift-Based Multidigital Camera System
by Rigorous Orientation Model},
journal = {{IEEE} Geosci. Remote. Sens. Lett.},
volume = {13},
number = {6},
pages = {836--840},
year = {2016},
url = {https://doi.org/10.1109/LGRS.2016.2549550},
doi = {10.1109/LGRS.2016.2549550},
timestamp = {Sun, 12 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lgrs/SunFL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/remotesensing/HuS16,
author = {Kun Hu and
Wenzhong Shi},
title = {Rigorous Line-Based Transformation Model Using the Generalized Point
Strategy for the Rectification of High Resolution Satellite Imagery},
journal = {Remote. Sens.},
volume = {8},
number = {9},
pages = {743},
year = {2016},
url = {https://doi.org/10.3390/rs8090743},
doi = {10.3390/RS8090743},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/remotesensing/HuS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcas/RomanoADFMB16,
author = {Daniele Romano and
Giulio Antonini and
Mattia D'Emidio and
Daniele Frigioni and
Alessandro Mori and
Mauro Bandinelli},
title = {Rigorous {DC} Solution of Partial Element Equivalent Circuit Models},
journal = {{IEEE} Trans. Circuits Syst. {I} Regul. Pap.},
volume = {63-I},
number = {9},
pages = {1499--1510},
year = {2016},
url = {https://doi.org/10.1109/TCSI.2016.2578286},
doi = {10.1109/TCSI.2016.2578286},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcas/RomanoADFMB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/NouriBMLB16,
author = {Ayoub Nouri and
Marius Bozga and
Anca Molnos and
Axel Legay and
Saddek Bensalem},
title = {\emph{ASTROLABE}: {A} Rigorous Approach for System-Level Performance
Modeling and Analysis},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {15},
number = {2},
pages = {31:1--31:26},
year = {2016},
url = {https://doi.org/10.1145/2885498},
doi = {10.1145/2885498},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/NouriBMLB16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tgrs/HuangZL16,
author = {Wen{-}chao Huang and
Guo Zhang and
Deren Li},
title = {Robust Approach for Recovery of Rigorous Sensor Model Using Rational
Function Model},
journal = {{IEEE} Trans. Geosci. Remote. Sens.},
volume = {54},
number = {7},
pages = {4355--4361},
year = {2016},
url = {https://doi.org/10.1109/TGRS.2016.2541144},
doi = {10.1109/TGRS.2016.2541144},
timestamp = {Fri, 28 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tgrs/HuangZL16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icton/CiminelliIBCDTA16,
author = {Caterina Ciminelli and
Filomena Innone and
Giuseppe Brunetti and
Donato Conteduca and
Francesco Dell'Olio and
Teresa Tatoli and
Mario N. Armenise},
title = {Rigorous model for the design of ultra-high Q-factor resonant cavities},
booktitle = {18th International Conference on Transparent Optical Networks, {ICTON}
2016, Trento, Italy, July 10-14, 2016},
pages = {1--4},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/ICTON.2016.7550469},
doi = {10.1109/ICTON.2016.7550469},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icton/CiminelliIBCDTA16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/ZonGH16,
author = {Natalia Zon and
Stephen Gilmore and
Jane Hillston},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Rigorous Graphical Modelling of Movement in Collective Adaptive 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 = {674--688},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47166-2\_47},
doi = {10.1007/978-3-319-47166-2\_47},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/isola/ZonGH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/springsim/MashkoorS16,
author = {Atif Mashkoor and
Johannes Sametinger},
editor = {Jerzy W. Rozenblit and
Johannes Sametinger},
title = {Rigorous modeling and analysis of interoperable medical devices},
booktitle = {Proceedings of the Modeling and Simulation in Medicine Symposium,
{MSM} 2016, part of the 2016 Spring Simulation Multiconference, SpringSim
'16, Pasadena, CA, USA, April 3-6, 2016},
pages = {5},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2962683},
timestamp = {Mon, 12 Dec 2016 11:05:54 +0100},
biburl = {https://dblp.org/rec/conf/springsim/MashkoorS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vldb/Cao16,
author = {Yang Cao},
editor = {Torsten Grust and
Kamal Karlapalem and
Andy Pavlo},
title = {Rigorous and Flexible Privacy Models for Utilizing Personal Spatiotemporal
Data},
booktitle = {Proceedings of the {VLDB} 2016 PhD Workshop co-located with the 42nd
International Conference on Very Large Databases {(VLDB} 2016), New
Delhi, India, September 9, 2016},
series = {{CEUR} Workshop Proceedings},
volume = {1671},
publisher = {CEUR-WS.org},
year = {2016},
url = {https://ceur-ws.org/Vol-1671/paper6.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:19 +0100},
biburl = {https://dblp.org/rec/conf/vldb/Cao16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/dnb/Thiele15,
author = {Jan C. Thiele},
title = {Towards Rigorous Agent-Based Modelling: Linking, Extending, and Using
Existing Software Platforms},
school = {University of G{\"{o}}ttingen},
year = {2015},
url = {https://nbn-resolving.org/urn:nbn:de:gbv:7-11858/00-1735-0000-0023-997B-8-7},
urn = {urn:nbn:de:gbv:7-11858/00-1735-0000-0023-997B-8-7},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/dnb/Thiele15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Nouri15,
author = {Ayoub Nouri},
title = {Rigorous System-level Modeling and Performance Evaluation for Embedded
System Design. (Mod{\'{e}}lisation et {\'{E}}valuation de
Performance pour la Conception des Syst{\`{e}}mes Embarqu{\'{e}}s
: Approche Rigoureuse au Niveau Syst{\`{e}}me)},
school = {Grenoble Alpes University, France},
year = {2015},
url = {https://tel.archives-ouvertes.fr/tel-01148690},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/Nouri15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cphysics/BarrioDT15,
author = {Roberto Barrio and
Angeles Dena and
Warwick Tucker},
title = {A database of rigorous and high-precision periodic orbits of the Lorenz
model},
journal = {Comput. Phys. Commun.},
volume = {194},
pages = {76--83},
year = {2015},
url = {https://doi.org/10.1016/j.cpc.2015.04.007},
doi = {10.1016/J.CPC.2015.04.007},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cphysics/BarrioDT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cssc/ReeveBXFTG15,
author = {Russell Reeve and
Seth Berry and
Wei Xiao and
Bradley Ferguson and
Marcel Th{\"{u}}rk and
R{\"{u}}diger Goetz},
title = {Benefits of Model-based Drug Development: {A} Rigorous, Planned Case
Study},
journal = {Commun. Stat. Simul. Comput.},
volume = {44},
number = {9},
pages = {2210--2222},
year = {2015},
url = {https://doi.org/10.1080/03610918.2013.833232},
doi = {10.1080/03610918.2013.833232},
timestamp = {Mon, 30 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cssc/ReeveBXFTG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lgrs/ZhangZXX15,
author = {Yongjun Zhang and
Maoteng Zheng and
Xiaodong Xiong and
Jinxin Xiong},
title = {Multistrip Bundle Block Adjustment of {ZY-3} Satellite Imagery by
Rigorous Sensor Model Without Ground Control Point},
journal = {{IEEE} Geosci. Remote. Sens. Lett.},
volume = {12},
number = {4},
pages = {865--869},
year = {2015},
url = {https://doi.org/10.1109/LGRS.2014.2365210},
doi = {10.1109/LGRS.2014.2365210},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lgrs/ZhangZXX15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/BestKKAYV15,
author = {Roland E. Best and
Nikolay V. Kuznetsov and
Olga A. Kuznetsova and
Gennady A. Leonov and
Marat V. Yuldashev and
Renat V. Yuldashev},
title = {A short survey on nonlinear models of the classic Costas loop: Rigorous
derivation and limitations of the classic analysis},
booktitle = {American Control Conference, {ACC} 2015, Chicago, IL, USA, July 1-3,
2015},
pages = {1296--1302},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/ACC.2015.7170912},
doi = {10.1109/ACC.2015.7170912},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/amcc/BestKKAYV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipin/RichterPT15,
author = {Philipp Richter and
Albano Pena{-}Torres and
Manuel Toledano{-}Ayala},
title = {A rigorous evaluation of Gaussian process models for {WLAN} fingerprinting},
booktitle = {2015 International Conference on Indoor Positioning and Indoor Navigation,
{IPIN} 2015, Banff, AB, Canada, October 13-16, 2015},
pages = {1--10},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/IPIN.2015.7346753},
doi = {10.1109/IPIN.2015.7346753},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/ipin/RichterPT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/MuraliIG15,
author = {Rajiv Murali and
Andrew Ireland and
Gudmund Grov},
editor = {Klaus Havelund and
Gerard J. Holzmann and
Rajeev Joshi},
title = {A Rigorous Approach to Combining Use Case Modelling and Accident Scenarios},
booktitle = {{NASA} Formal Methods - 7th International Symposium, {NFM} 2015, Pasadena,
CA, USA, April 27-29, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9058},
pages = {263--278},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-17524-9\_19},
doi = {10.1007/978-3-319-17524-9\_19},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/nfm/MuraliIG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vtc/TorabiZ15,
author = {Amir Torabi and
Seyed A. Zekavat},
title = {A Rigorous Model for Predicting the Path Loss in Near-Ground Wireless
Sensor Networks},
booktitle = {{IEEE} 82nd Vehicular Technology Conference, {VTC} Fall 2015, Boston,
MA, USA, September 6-9, 2015},
pages = {1--5},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/VTCFall.2015.7390814},
doi = {10.1109/VTCFALL.2015.7390814},
timestamp = {Tue, 07 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vtc/TorabiZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Pantelis15,
author = {Garry Pantelis},
title = {A Formal System: Rigorous Constructions of Computer Models},
journal = {CoRR},
volume = {abs/1510.04469},
year = {2015},
url = {http://arxiv.org/abs/1510.04469},
eprinttype = {arXiv},
eprint = {1510.04469},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Pantelis15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/esl/ChengS14,
author = {Albert Mo Kim Cheng and
Ramesh S.},
title = {Guest Editorial: Special Issue on Rigorous Modeling and Analysis of
Cyber-Physical Systems},
journal = {{IEEE} Embed. Syst. Lett.},
volume = {6},
number = {1},
pages = {2--3},
year = {2014},
url = {https://doi.org/10.1109/LES.2014.2306753},
doi = {10.1109/LES.2014.2306753},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/esl/ChengS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/DolevFPSSL14,
author = {Danny Dolev and
Matthias F{\"{u}}gger and
Markus Posch and
Ulrich Schmid and
Andreas Steininger and
Christoph Lenzen},
title = {Rigorously modeling self-stabilizing fault-tolerant circuits: An ultra-robust
clocking scheme for systems-on-chip},
journal = {J. Comput. Syst. Sci.},
volume = {80},
number = {4},
pages = {860--900},
year = {2014},
url = {https://doi.org/10.1016/j.jcss.2014.01.001},
doi = {10.1016/J.JCSS.2014.01.001},
timestamp = {Thu, 24 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/DolevFPSSL14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nca/SafariGLJME14,
author = {Hossein Safari and
Farhad Gharagheizi and
Alireza Samadi Lemraski and
Mohammad Jamialahmadi and
Amir H. Mohammadi and
Milad Ebrahimi},
title = {Rigorous modeling of gypsum solubility in Na-Ca-Mg-Fe-Al-H-Cl-H2O
system at elevated temperatures},
journal = {Neural Comput. Appl.},
volume = {25},
number = {3-4},
pages = {955--965},
year = {2014},
url = {https://doi.org/10.1007/s00521-014-1587-z},
doi = {10.1007/S00521-014-1587-Z},
timestamp = {Thu, 10 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nca/SafariGLJME14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/simpra/HollmannCF14,
author = {Diego A. Hollmann and
Maximiliano Cristi{\'{a}} and
Claudia S. Frydman},
title = {A family of simulation criteria to guide {DEVS} models validation
rigorously, systematically and semi-automatically},
journal = {Simul. Model. Pract. Theory},
volume = {49},
pages = {1--26},
year = {2014},
url = {https://doi.org/10.1016/j.simpat.2014.07.003},
doi = {10.1016/J.SIMPAT.2014.07.003},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/simpra/HollmannCF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/PoskittDPR14,
author = {Christopher M. Poskitt and
Mike Dodds and
Richard F. Paige and
Arend Rensink},
editor = {J{\"{u}}rgen Dingel and
Juan de Lara and
Levi Lucio and
Hans Vangheluwe},
title = {Towards Rigorously Faking Bidirectional Model Transformations},
booktitle = {Proceedings of the Workshop on Analysis of Model Transformations co-located
with {ACM/IEEE} 17th International Conference on Model Driven Engineering
Languages {\&} Systems (MoDELS 2014), Valencia, Spain, September
29, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1277},
pages = {70--75},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1277/8.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/PoskittDPR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/rocks/2012,
editor = {Anne Remke and
Mari{\"{e}}lle Stoelinga},
title = {Stochastic Model Checking. Rigorous Dependability Analysis Using Model
Checking Techniques for Stochastic Systems - International Autumn
School, {ROCKS} 2012, Vahrn, Italy, October 22-26, 2012, Advanced
Lectures},
series = {Lecture Notes in Computer Science},
volume = {8453},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-662-45489-3},
doi = {10.1007/978-3-662-45489-3},
isbn = {978-3-662-45488-6},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/rocks/2012.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HollmannCF14,
author = {Diego A. Hollmann and
Maximiliano Cristi{\'{a}} and
Claudia S. Frydman},
title = {A Family of Simulation Criteria to Guide {DEVS} Models Validation
Rigorously, Systematically and Semi-Automatically},
journal = {CoRR},
volume = {abs/1406.6937},
year = {2014},
url = {http://arxiv.org/abs/1406.6937},
eprinttype = {arXiv},
eprint = {1406.6937},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/HollmannCF14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LaetSB14,
author = {Tinne De Laet and
Joris De Schutter and
Herman Bruyninckx},
title = {A Rigorously Bayesian Beam Model and an Adaptive Full Scan Model for
Range Finders in Dynamic Environments},
journal = {CoRR},
volume = {abs/1401.3432},
year = {2014},
url = {http://arxiv.org/abs/1401.3432},
eprinttype = {arXiv},
eprint = {1401.3432},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LaetSB14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/ShiJSDS13,
author = {Yun Shi and
Shunping Ji and
Zhongchao Shi and
Yulin Duan and
Ryosuke Shibasaki},
title = {GPS-Supported Visual {SLAM} with a Rigorous Sensor Model for a Panoramic
Camera in Outdoor Environments},
journal = {Sensors},
volume = {13},
number = {1},
pages = {119--136},
year = {2013},
url = {https://doi.org/10.3390/s130100119},
doi = {10.3390/S130100119},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sensors/ShiJSDS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/staeors/LiZ13,
author = {Dong Li and
Yunhua Zhang},
title = {A Rigorous {SAR} Epipolar Geometry Modeling and Application to 3D
Target Reconstruction},
journal = {{IEEE} J. Sel. Top. Appl. Earth Obs. Remote. Sens.},
volume = {6},
number = {5},
pages = {2316--2323},
year = {2013},
url = {https://doi.org/10.1109/JSTARS.2013.2249575},
doi = {10.1109/JSTARS.2013.2249575},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/staeors/LiZ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/JacobsenSH13,
author = {Lee T. Jacobsen and
Benjamin J. Spivey and
John D. Hedengren},
title = {Model predictive control with a rigorous model of a Solid Oxide Fuel
Cell},
booktitle = {American Control Conference, {ACC} 2013, Washington, DC, USA, June
17-19, 2013},
pages = {3741--3746},
publisher = {{IEEE}},
year = {2013},
url = {https://doi.org/10.1109/ACC.2013.6580409},
doi = {10.1109/ACC.2013.6580409},
timestamp = {Sun, 08 Aug 2021 01:40:56 +0200},
biburl = {https://dblp.org/rec/conf/amcc/JacobsenSH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/IdaniLA13,
author = {Akram Idani and
Yves Ledru and
Adil Anwar},
editor = {Selmin Nurcan and
Henderik Alex Proper and
Pnina Soffer and
John Krogstie and
Rainer Schmidt and
Terry A. Halpin and
Ilia Bider},
title = {A Rigorous Reasoning about Model Transformations Using the {B} Method},
booktitle = {Enterprise, Business-Process and Information Systems Modeling - 14th
International Conference, {BPMDS} 2013, 18th International Conference,
{EMMSAD} 2013, Held at CAiSE 2013, Valencia, Spain, June 17-18, 2013.
Proceedings},
series = {Lecture Notes in Business Information Processing},
volume = {147},
pages = {426--440},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38484-4\_30},
doi = {10.1007/978-3-642-38484-4\_30},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/caise/IdaniLA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/AliY13,
author = {Shaukat Ali and
Tao Yue},
title = {A Rigorous and Comprehensive Analysis of Effort for Modeling Aspect
State Machines: Results from a Series of Controlled Experiments},
booktitle = {37th Annual {IEEE} Computer Software and Applications Conference,
{COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013},
pages = {262--267},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/COMPSAC.2013.43},
doi = {10.1109/COMPSAC.2013.43},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/compsac/AliY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccsa/ReynosoADVA13,
author = {Luis Reynoso and
Marcelo Amaolo and
Daniel Dolz and
Claudio Vaucheret and
Mabel {\'{A}}lvarez},
editor = {Beniamino Murgante and
Sanjay Misra and
Maurizio Carlini and
Carmelo Maria Torre and
Hong{-}Quang Nguyen and
David Taniar and
Bernady O. Apduhan and
Osvaldo Gervasi},
title = {Increasing the Rigorousness of Measures Definition through a {UML/OCL}
Model Based on the Briand et al.'s Framework},
booktitle = {Computational Science and Its Applications - {ICCSA} 2013 - 13th International
Conference, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings,
Part {III}},
series = {Lecture Notes in Computer Science},
volume = {7973},
pages = {43--58},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39646-5\_4},
doi = {10.1007/978-3-642-39646-5\_4},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/iccsa/ReynosoADVA13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/srds/FallahiBT13,
author = {Narges Fallahi and
Borzoo Bonakdarpour and
S{\'{e}}bastien Tixeuil},
title = {Rigorous Performance Evaluation of Self-Stabilization Using Probabilistic
Model Checking},
booktitle = {{IEEE} 32nd Symposium on Reliable Distributed Systems, {SRDS} 2013,
Braga, Portugal, 1-3 October 2013},
pages = {153--162},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/SRDS.2013.24},
doi = {10.1109/SRDS.2013.24},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/srds/FallahiBT13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cce/Luyben12b,
author = {William L. Luyben},
title = {Rigorous dynamic models for distillation safety analysis},
journal = {Comput. Chem. Eng.},
volume = {40},
pages = {110--116},
year = {2012},
url = {https://doi.org/10.1016/j.compchemeng.2012.02.019},
doi = {10.1016/J.COMPCHEMENG.2012.02.019},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cce/Luyben12b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/envsoft/MuerthM12,
author = {Markus Muerth and
Wolfram Mauser},
title = {Rigorous evaluation of a soil heat transfer model for mesoscale climate
change impact studies},
journal = {Environ. Model. Softw.},
volume = {35},
pages = {149--162},
year = {2012},
url = {https://doi.org/10.1016/j.envsoft.2012.02.017},
doi = {10.1016/J.ENVSOFT.2012.02.017},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/envsoft/MuerthM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijuc/BringsjordGEY12,
author = {Selmer Bringsjord and
Naveen Sundar G. and
Eugene Eberbach and
Yingrui Yang},
title = {Perhaps the Rigorous Modeling of Economic Phenomena Requires Hypercomputation},
journal = {Int. J. Unconv. Comput.},
volume = {8},
number = {1},
pages = {3--32},
year = {2012},
url = {http://www.oldcitypublishing.com/journals/ijuc-home/ijuc-issue-contents/ijuc-volume-8-number-1-2012/ijuc-8-1-p-3-32/},
timestamp = {Thu, 16 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijuc/BringsjordGEY12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mmas/GoddardPK12,
author = {Benjamin D. Goddard and
Grigorios A. Pavliotis and
Serafim Kalliadasis},
title = {The Overdamped Limit of Dynamic Density Functional Theory: Rigorous
Results},
journal = {Multiscale Model. Simul.},
volume = {10},
number = {2},
pages = {633--663},
year = {2012},
url = {https://doi.org/10.1137/110844659},
doi = {10.1137/110844659},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mmas/GoddardPK12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asscc/CurrieW12,
author = {Jonathan Currie and
David I. Wilson},
title = {Rigorously modelling steam utility systems for mixed integer optimization},
booktitle = {{IEEE} Asian Solid State Circuits Conference, {A-SSCC} 2012, Kobe,
Japan, November 12-14, 2012},
pages = {526--531},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/ASSCC.2012.6523323},
doi = {10.1109/ASSCC.2012.6523323},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asscc/CurrieW12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cbms/PapapanagiotouFG12,
author = {Petros Papapanagiotou and
Jacques D. Fleuriot and
Adela Grando},
editor = {Paolo Soda and
Francesco Tortorella and
Sameer K. Antani and
Mykola Pechenizkiy and
Mario Cannataro and
Alexey Tsymbal},
title = {Rigorous process-based modelling of patterns for collaborative work
in healthcare teams},
booktitle = {Proceedings of {CBMS} 2012, The 25th {IEEE} International Symposium
on Computer-Based Medical Systems, June 20-22, 2012, Rome, Italy},
pages = {1--6},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/CBMS.2012.6266330},
doi = {10.1109/CBMS.2012.6266330},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cbms/PapapanagiotouFG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/JunkerN12,
author = {Maximilian Junker and
Philipp Neubeck},
editor = {Joanne M. Atlee and
Robert Baillargeon and
Robert B. France and
Geri Georg and
Ana Moreira and
Bernhard Rumpe and
Steffen Zschaler},
title = {A rigorous approach to availability modeling},
booktitle = {Proceedings of the 4th International Workshop on Modeling in Software
Engineering, MiSE 2012, Zurich, Switzerland, June 2-3, 2012},
pages = {1--7},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/MISE.2012.6226009},
doi = {10.1109/MISE.2012.6226009},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/JunkerN12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/GezginEHR12,
author = {Tayfun Gezgin and
Christoph Etzien and
Stefan Henkler and
Achim Rettberg},
title = {Towards a Rigorous Modeling Formalism for Systems of Systems},
booktitle = {15th {IEEE} International Symposium on Object/Component/Service-Oriented
Real-Time Distributed Computing Workshops, {ISORC} Workshops 2012,
Shenzhen, China, April 11, 2012},
pages = {204--211},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ISORCW.2012.42},
doi = {10.1109/ISORCW.2012.42},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/GezginEHR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/BrisebarreJMMMPRT12,
author = {Nicolas Brisebarre and
Mioara Joldes and
{\'{E}}rik Martin{-}Dorel and
Micaela Mayero and
Jean{-}Michel Muller and
Ioana Pasca and
Laurence Rideau and
Laurent Th{\'{e}}ry},
editor = {Alwyn Goodloe and
Suzette Person},
title = {Rigorous Polynomial Approximation Using Taylor Models in Coq},
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 = {85--99},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28891-3\_9},
doi = {10.1007/978-3-642-28891-3\_9},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nfm/BrisebarreJMMMPRT12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sc/Butler12a,
author = {David M. Butler},
title = {The Sheaf Data Model: {A} Rigorous Data Model for Scientific Computing},
booktitle = {2012 {SC} Companion: High Performance Computing, Networking Storage
and Analysis, Salt Lake City, UT, USA, November 10-16, 2012},
pages = {1303--1305},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/SC.Companion.2012.159},
doi = {10.1109/SC.COMPANION.2012.159},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sc/Butler12a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/basesearch/Balch11,
author = {Michael Scott Balch},
title = {Methods for Rigorous Uncertainty Quantification with Application to
a Mars Atmosphere Model},
school = {Virginia Tech, Blacksburg, VA, {USA}},
year = {2011},
url = {https://hdl.handle.net/10919/30115},
timestamp = {Wed, 04 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/basesearch/Balch11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/complexity/Schuster11c,
author = {Peter Schuster},
title = {Lethal mutagenesis, error thresholds, and the fight against viruses:
Rigorous modeling is facilitated by a firm physical background},
journal = {Complex.},
volume = {17},
number = {2},
pages = {5--9},
year = {2011},
url = {https://doi.org/10.1002/cplx.20399},
doi = {10.1002/CPLX.20399},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/complexity/Schuster11c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcisd/NatesanWLBKB11,
author = {Senthil Natesan and
Tiansheng Wang and
Viera Lukacova and
Vladimir Bartus and
Akash Khandelwal and
Stefan Balaz},
title = {Rigorous Treatment of Multispecies Multimode Ligand-Receptor Interactions
in 3D-QSAR: CoMFA Analysis of Thyroxine Analogs Binding to Transthyretin},
journal = {J. Chem. Inf. Model.},
volume = {51},
number = {5},
pages = {1132--1150},
year = {2011},
url = {https://doi.org/10.1021/ci200055s},
doi = {10.1021/CI200055S},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcisd/NatesanWLBKB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/PaigeDKFPOZ11,
author = {Richard F. Paige and
Nikolaos Drivalos and
Dimitrios S. Kolovos and
Kiran Jude Fernandes and
Christopher Power and
G{\o}ran K. Olsen and
Steffen Zschaler},
title = {Rigorous identification and encoding of trace-links in model-driven
engineering},
journal = {Softw. Syst. Model.},
volume = {10},
number = {4},
pages = {469--487},
year = {2011},
url = {https://doi.org/10.1007/s10270-010-0158-8},
doi = {10.1007/S10270-010-0158-8},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/PaigeDKFPOZ11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dac/RameshG11,
author = {S. Ramesh and
Ambar A. Gadkari},
editor = {Leon Stok and
Nikil D. Dutt and
Soha Hassoun},
title = {Rigorous model-based design {\&} verification flow for in-vehicle
software},
booktitle = {Proceedings of the 48th Design Automation Conference, {DAC} 2011,
San Diego, California, USA, June 5-10, 2011},
pages = {13--16},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2024724.2024728},
doi = {10.1145/2024724.2024728},
timestamp = {Tue, 14 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/dac/RameshG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/BourgosBBBSH11,
author = {Paraskevas Bourgos and
Ananda Basu and
Marius Bozga and
Saddek Bensalem and
Joseph Sifakis and
Kai Huang},
editor = {Satnam Singh and
Barbara Jobstmann and
Michael Kishinevsky and
Jens Brandt},
title = {Rigorous system level modeling and analysis of mixed {HW/SW} systems},
booktitle = {9th {IEEE/ACM} International Conference on Formal Methods and Models
for Codesign, {MEMOCODE} 2011, Cambridge, UK, 11-13 July, 2011},
pages = {11--20},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/MEMCOD.2011.5970506},
doi = {10.1109/MEMCOD.2011.5970506},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/memocode/BourgosBBBSH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/policy/SunFR11,
author = {Wuliang Sun and
Robert B. France and
Indrakshi Ray},
title = {Rigorous Analysis of {UML} Access Control Policy Models},
booktitle = {{POLICY} 2011, {IEEE} International Symposium on Policies for Distributed
Systems and Networks, Pisa, Italy, 6-8 June 2011},
pages = {9--16},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/POLICY.2011.30},
doi = {10.1109/POLICY.2011.30},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/policy/SunFR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cacm/SewellSONM10,
author = {Peter Sewell and
Susmit Sarkar and
Scott Owens and
Francesco Zappa Nardelli and
Magnus O. Myreen},
title = {x86-TSO: a rigorous and usable programmer's model for x86 multiprocessors},
journal = {Commun. {ACM}},
volume = {53},
number = {7},
pages = {89--97},
year = {2010},
url = {https://doi.org/10.1145/1785414.1785443},
doi = {10.1145/1785414.1785443},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cacm/SewellSONM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tr/LiuMC10,
author = {Shaoying Liu and
John A. McDermid and
Yuting Chen},
title = {A Rigorous Method for Inspection of Model-Based Formal Specifications},
journal = {{IEEE} Trans. Reliab.},
volume = {59},
number = {4},
pages = {667--684},
year = {2010},
url = {https://doi.org/10.1109/TR.2010.2085571},
doi = {10.1109/TR.2010.2085571},
timestamp = {Mon, 30 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tr/LiuMC10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ectel/MullerS10,
author = {Daniel M{\"{u}}ller and
Stefan Strohmeier},
editor = {Martin Wolpers and
Paul A. Kirschner and
Maren Scheffel and
Stefanie N. Lindstaedt and
Vania Dimitrova},
title = {Developing and Validating a Rigorous and Relevant Model of {VLE} Success:
{A} Learner Perspective},
booktitle = {Sustaining {TEL:} From Innovation to Learning and Practice - 5th European
Conference on Technology Enhanced Learning, {EC-TEL} 2010, Barcelona,
Spain, September 28 - October 1, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6383},
pages = {245--259},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16020-2\_17},
doi = {10.1007/978-3-642-16020-2\_17},
timestamp = {Mon, 28 Aug 2023 21:17:28 +0200},
biburl = {https://dblp.org/rec/conf/ectel/MullerS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icca/Zhu10,
author = {Xuemei Zhu},
title = {Rigorous dynamic model of a distillation process and its application},
booktitle = {8th {IEEE} International Conference on Control and Automation, {ICCA}
2010, Xiamen, China, June 9-11, 2010},
pages = {1076--1080},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/ICCA.2010.5524130},
doi = {10.1109/ICCA.2010.5524130},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/icca/Zhu10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/HateburH10,
author = {Denis Hatebur and
Maritta Heisel},
editor = {Jin Song Dong and
Huibiao Zhu},
title = {Making Pattern- and Model-Based Software Development More Rigorous},
booktitle = {Formal Methods and Software Engineering - 12th International Conference
on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November
17-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6447},
pages = {253--269},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16901-4\_18},
doi = {10.1007/978-3-642-16901-4\_18},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/HateburH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cce/LinS09,
author = {Youdong Lin and
Mark A. Stadtherr},
title = {Rigorous model-based safety analysis for nonlinear continuous-time
systems},
journal = {Comput. Chem. Eng.},
volume = {33},
number = {2},
pages = {493--502},
year = {2009},
url = {https://doi.org/10.1016/j.compchemeng.2008.11.010},
doi = {10.1016/J.COMPCHEMENG.2008.11.010},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cce/LinS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sensors/El-DiastyP09,
author = {Mohammed El{-}Diasty and
Spiros Pagiatakis},
title = {A Rigorous Temperature-Dependent Stochastic Modelling and Testing
for MEMS-Based Inertial Sensor Errors},
journal = {Sensors},
volume = {9},
number = {11},
pages = {8473--8489},
year = {2009},
url = {https://doi.org/10.3390/s91108473},
doi = {10.3390/S91108473},
timestamp = {Fri, 27 Dec 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sensors/El-DiastyP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/synthese/Gelfert09,
author = {Axel Gelfert},
title = {Rigorous results, cross-model justification, and the transfer of empirical
warrant: the case of many-body models in physics},
journal = {Synth.},
volume = {169},
number = {3},
pages = {497--519},
year = {2009},
url = {https://doi.org/10.1007/s11229-008-9431-6},
doi = {10.1007/S11229-008-9431-6},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/synthese/Gelfert09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/KolovosPP09,
author = {Dimitrios S. Kolovos and
Richard F. Paige and
Fiona A. C. Polack},
editor = {Jean{-}Raymond Abrial and
Uwe Gl{\"{a}}sser},
title = {On the Evolution of {OCL} for Capturing Structural Constraints in
Modelling Languages},
booktitle = {Rigorous Methods for Software Construction and Analysis, Essays Dedicated
to Egon B{\"{o}}rger on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {5115},
pages = {204--218},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-11447-2\_13},
doi = {10.1007/978-3-642-11447-2\_13},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/KolovosPP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicss/AliEM09,
author = {Yomna Ali and
Sherif El{-}Kassas and
Mohy Mahmoud},
title = {A Rigorous Methodology for Security Architecture Modeling and Verification},
booktitle = {42st Hawaii International International Conference on Systems Science
{(HICSS-42} 2009), Proceedings {(CD-ROM} and online), 5-8 January
2009, Waikoloa, Big Island, HI, {USA}},
pages = {1--10},
publisher = {{IEEE} Computer Society},
year = {2009},
url = {https://doi.org/10.1109/HICSS.2009.35},
doi = {10.1109/HICSS.2009.35},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicss/AliEM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snc/BerzM09,
author = {Martin Berz and
Kyoko Makino},
editor = {Hiroshi Kai and
Hiroshi Sekigawa and
Tateaki Sasaki and
Kiyoshi Shirayanagi and
Ilias S. Kotsireas},
title = {Rigorous global search using taylor models},
booktitle = {Symbolic Numeric Computation, {SNC} '09, Kyoto, Japan - August 03
- 05, 2009},
pages = {11--20},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1577190.1577198},
doi = {10.1145/1577190.1577198},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/snc/BerzM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/snc/MakinoB09,
author = {Kyoko Makino and
Martin Berz},
editor = {Hiroshi Kai and
Hiroshi Sekigawa and
Tateaki Sasaki and
Kiyoshi Shirayanagi and
Ilias S. Kotsireas},
title = {Rigorous integration of flows and ODEs using taylor models},
booktitle = {Symbolic Numeric Computation, {SNC} '09, Kyoto, Japan - August 03
- 05, 2009},
pages = {79--84},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1577190.1577206},
doi = {10.1145/1577190.1577206},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/snc/MakinoB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/LaetSB08,
author = {Tinne De Laet and
Joris De Schutter and
Herman Bruyninckx},
title = {A Rigorously Bayesian Beam Model and an Adaptive Full Scan Model for
Range Finders in Dynamic Environments},
journal = {J. Artif. Intell. Res.},
volume = {33},
pages = {179--222},
year = {2008},
url = {https://doi.org/10.1613/jair.2540},
doi = {10.1613/JAIR.2540},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/LaetSB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tbe/LinningerSZHP08,
author = {Andreas A. Linninger and
Mahadevabharath R. Somayaji and
Libin Zhang and
adhu Smitha Hariharan and
Richard D. Penn},
title = {Rigorous Mathematical Modeling Techniques for Optimal Delivery of
Macromolecules to the Brain},
journal = {{IEEE} Trans. Biomed. Eng.},
volume = {55},
number = {9},
pages = {2303--2313},
year = {2008},
url = {https://doi.org/10.1109/TBME.2008.923920},
doi = {10.1109/TBME.2008.923920},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tbe/LinningerSZHP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tvt/LoredoRT08,
author = {Susana Loredo and
Alberto Rodriguez{-}Alonso and
Rafael P. Torres},
title = {Indoor {MIMO} Channel Modeling by Rigorous GO/UTD-Based Ray Tracing},
journal = {{IEEE} Trans. Veh. Technol.},
volume = {57},
number = {2},
pages = {680--692},
year = {2008},
url = {https://doi.org/10.1109/TVT.2007.906362},
doi = {10.1109/TVT.2007.906362},
timestamp = {Tue, 03 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tvt/LoredoRT08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ab/BoulierLLM08,
author = {Fran{\c{c}}ois Boulier and
Marc Lefranc and
Fran{\c{c}}ois Lemaire and
Pierre{-}Emmanuel Morant},
editor = {Katsuhisa Horimoto and
Georg Regensburger and
Markus Rosenkranz and
Hiroshi Yoshida},
title = {Applying a Rigorous Quasi-Steady State Approximation Method for Proving
the Absence of Oscillations in Models of Genetic Circuits},
booktitle = {Algebraic Biology, Third International Conference, {AB} 2008, Castle
of Hagenberg, Austria, July 31-August 2, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5147},
pages = {56--64},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85101-1\_5},
doi = {10.1007/978-3-540-85101-1\_5},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/ab/BoulierLLM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AstesianoRR08,
author = {Egidio Astesiano and
Gianna Reggio and
Filippo Ricca},
editor = {Pierpaolo Degano and
Rocco De Nicola and
Jos{\'{e}} Meseguer},
title = {Modeling Business within a UML-Based Rigorous Software Development
Approach},
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 = {261--277},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68679-8\_17},
doi = {10.1007/978-3-540-68679-8\_17},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/birthday/AstesianoRR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csiirw/AliE08,
author = {Yomna Ali and
Sherif El{-}Kassas},
editor = {Frederick T. Sheldon and
Axel W. Krings and
Robert K. Abercrombie and
Ali Mili},
title = {A rigorous methodology for security architecture modeling and verification},
booktitle = {Proceedings of the 4th annual workshop on Cyber security and information
intelligence research - developing strategies to meet the cyber security
and information intelligence challenges ahead, {CSIIRW} '08, Oak Ridge,
Tennessee, USA, May 12-14, 2008},
pages = {13:1--13:3},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1413140.1413155},
doi = {10.1145/1413140.1413155},
timestamp = {Wed, 31 Jan 2024 20:36:02 +0100},
biburl = {https://dblp.org/rec/conf/csiirw/AliE08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csse/DuLC08,
author = {Dehui Du and
Jing Liu and
Honghua Cao},
title = {A Rigorous Model of Contract-Based Service Component Architecture},
booktitle = {International Conference on Computer Science and Software Engineering,
{CSSE} 2008, Volume 2: Software Engineering, December 12-14, 2008,
Wuhan, China},
pages = {409--412},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/CSSE.2008.1007},
doi = {10.1109/CSSE.2008.1007},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csse/DuLC08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icra/LaetSB08,
author = {Tinne De Laet and
Joris De Schutter and
Herman Bruyninckx},
title = {Rigorously Bayesian range finder sensor model for dynamic environments},
booktitle = {2008 {IEEE} International Conference on Robotics and Automation, {ICRA}
2008, May 19-23, 2008, Pasadena, California, {USA}},
pages = {2994--3001},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/ROBOT.2008.4543665},
doi = {10.1109/ROBOT.2008.4543665},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icra/LaetSB08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoft/MetsalaWVP08,
author = {Tomi Mets{\"{a}}l{\"{a}} and
Tomi Westerlund and
Seppo Virtanen and
Juha Plosila},
editor = {Jos{\'{e}} Cordeiro and
Boris Shishkov and
Alpesh Ranchordas and
Markus Helfert},
title = {Rigorous Communication Modelling at Transaction Level With Systemc},
booktitle = {{ICSOFT} 2008 - Proceedings of the Third International Conference
on Software and Data Technologies, Volume SE/MUSE/GSDCA, Porto, Portugal,
July 5-8, 2008},
pages = {246--251},
publisher = {{INSTICC} Press},
year = {2008},
timestamp = {Wed, 04 Mar 2009 15:42:39 +0100},
biburl = {https://dblp.org/rec/conf/icsoft/MetsalaWVP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icycs/WuCY08,
author = {Wenjuan Wu and
Zengqiang Chen and
Zhuzhi Yuan},
title = {A Rigorous Computer-Assisted Verification of Horseshoe Chaos in a
Seasonally Forced {SEIR} Epidemic Model},
booktitle = {Proceedings of the 9th International Conference for Young Computer
Scientists, {ICYCS} 2008, Zhang Jia Jie, Hunan, China, November 18-21,
2008},
pages = {3033--3038},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/ICYCS.2008.477},
doi = {10.1109/ICYCS.2008.477},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icycs/WuCY08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csse/NguyenD07,
author = {Kinh Nguyen and
Tharam S. Dillon},
title = {Obligation nets: a rigorous object-oriented technique for modeling
the behavioural semantics of information systems},
journal = {Comput. Syst. Sci. Eng.},
volume = {22},
number = {4},
year = {2007},
timestamp = {Thu, 23 Aug 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csse/NguyenD07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fgcs/LiuLZ07,
author = {Hongjun Liu and
Ping Luo and
Zhifeng Zeng},
title = {A structured hierarchical {P2P} model based on a rigorous binary tree
code algorithm},
journal = {Future Gener. Comput. Syst.},
volume = {23},
number = {2},
pages = {201--208},
year = {2007},
url = {https://doi.org/10.1016/j.future.2006.04.016},
doi = {10.1016/J.FUTURE.2006.04.016},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fgcs/LiuLZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mmas/BourliouxK07,
author = {Anne Bourlioux and
Boualem Khouider},
title = {A Rigorous Asymptotic Perspective on the Large Scale Simulations of
Turbulent Premixed Flames},
journal = {Multiscale Model. Simul.},
volume = {6},
number = {1},
pages = {287--307},
year = {2007},
url = {https://doi.org/10.1137/060662411},
doi = {10.1137/060662411},
timestamp = {Tue, 31 Mar 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mmas/BourliouxK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/twc/MietznerH07,
author = {Jan Mietzner and
Peter A. Hoeher},
title = {A rigorous analysis of the statistical properties of the discrete-time
triply-selective mimo rayleigh fading channel model},
journal = {{IEEE} Trans. Wirel. Commun.},
volume = {6},
number = {12},
pages = {4199--4203},
year = {2007},
url = {https://doi.org/10.1109/TWC.2007.05628},
doi = {10.1109/TWC.2007.05628},
timestamp = {Sun, 06 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/twc/MietznerH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ciss/ZhangM07,
author = {Qun Zhang and
Curtis R. Menyuk},
title = {A Rigorous Optical {DPSK} Transceiver Model and {BER} Calculation
Using the {KLSE} Method},
booktitle = {Proceedings of the 41st Annual Conference on Information Sciences
and Systems, {CISS} 2007, 14-16 March 2007, Johns Hopkins University,
Department of Electrical Engineering, Baltimore, MD, {USA}},
pages = {690--695},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/CISS.2007.4298394},
doi = {10.1109/CISS.2007.4298394},
timestamp = {Wed, 16 Oct 2019 14:14:51 +0200},
biburl = {https://dblp.org/rec/conf/ciss/ZhangM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/igarss/Kim07,
author = {Taejung Kim},
title = {Investigation of rigorous sensor models and adjustment parameters
for modeling satellite orbits},
booktitle = {{IEEE} International Geoscience {\&} Remote Sensing Symposium,
{IGARSS} 2007, July 23-28, 2007, Barcelona, Spain, Proceedings},
pages = {1299--1302},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/IGARSS.2007.4423044},
doi = {10.1109/IGARSS.2007.4423044},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/igarss/Kim07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itsc/ShahKBY07,
author = {Nirav Shah and
Subodha Kumar and
Farokh B. Bastani and
I{-}Ling Yen},
title = {An Optimization Model for Rigorously Assessing Efficient Heuristics
for Traffic Coordination at Intersections},
booktitle = {{IEEE} Intelligent Transportation Systems Conference, {ITSC} 2007,
Seattle, WA, USA, 30 September-3 October 2007},
pages = {12--17},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/ITSC.2007.4357642},
doi = {10.1109/ITSC.2007.4357642},
timestamp = {Thu, 06 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/itsc/ShahKBY07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/ChristovCACOBCM07,
author = {Stefan Christov and
Bin Chen and
George S. Avrunin and
Lori A. Clarke and
Leon J. Osterweil and
David Brown and
Lucinda Cassells and
Wilson Mertens},
editor = {Holger Giese},
title = {Rigorously Defining and Analyzing Medical Processes: An Experience
Report},
booktitle = {Models in Software Engineering, Workshops and Symposia at MoDELS 2007,
Nashville, TN, USA, September 30 - October 5, 2007, Reports and Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5002},
pages = {118--131},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-69073-3\_14},
doi = {10.1007/978-3-540-69073-3\_14},
timestamp = {Wed, 23 Feb 2022 12:58:02 +0100},
biburl = {https://dblp.org/rec/conf/models/ChristovCACOBCM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/LeppanenLT07,
author = {Kari Lepp{\"{a}}nen and
Sari Lepp{\"{a}}nen and
Markku Turunen},
editor = {Gregor Engels and
Bill Opdyke and
Douglas C. Schmidt and
Frank Weil},
title = {A Modelling Method for Rigorous and Automated Design of Large-Scale
Industrial Systems},
booktitle = {Model Driven Engineering Languages and Systems, 10th International
Conference, MoDELS 2007, Nashville, USA, September 30 - October 5,
2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4735},
pages = {331--345},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75209-7\_23},
doi = {10.1007/978-3-540-75209-7\_23},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/models/LeppanenLT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DingCL08,
author = {Zuohua Ding and
Zhenbang Chen and
Jing Liu},
editor = {Geguang Pu and
Volker Stolz},
title = {A Rigorous Model of Service Component Architecture},
booktitle = {Proceedings of the 1st International Workshop on Harnessing Theories
for Tool Support in Software, {TTSS} 2007, Macau, September 22-23,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {207},
pages = {33--48},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.03.084},
doi = {10.1016/J.ENTCS.2008.03.084},
timestamp = {Mon, 13 Feb 2023 14:02:48 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DingCL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/GargantiniRS07,
author = {Angelo Gargantini and
Elvinia Riccobene and
Patrizia Scandurra},
editor = {Jean{-}Raymond Abrial and
Uwe Gl{\"{a}}sser},
title = {Exploiting the {ASM} method within the Model-driven Engineering paradigm},
booktitle = {Rigorous Methods for Software Construction and Analysis, 07.05. -
12.05.2006},
series = {Dagstuhl Seminar Proceedings},
volume = {06191},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2007},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/638},
timestamp = {Thu, 10 Jun 2021 13:02:07 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/GargantiniRS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/LeuschelB07,
author = {Michael Leuschel and
Jens Bendisposto},
editor = {Jean{-}Raymond Abrial and
Uwe Gl{\"{a}}sser},
title = {Animating and Model Checking {B} Specifications with Higher-Order
Recursive Functions},
booktitle = {Rigorous Methods for Software Construction and Analysis, 07.05. -
12.05.2006},
series = {Dagstuhl Seminar Proceedings},
volume = {06191},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2007},
url = {http://drops.dagstuhl.de/opus/volltexte/2006/640},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/LeuschelB07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ethos/AmaIlio06,
author = {Nuno Ama{\'{a}}lio},
title = {Generative frameworks for rigorous model-driven development},
school = {University of York, {UK}},
year = {2006},
url = {https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.437624},
timestamp = {Tue, 05 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/ethos/AmaIlio06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aaecc/HitchcockBN06,
author = {Yvonne Hitchcock and
Colin Boyd and
Juan Manuel Gonz{\'{a}}lez Nieto},
title = {Modular proofs for key exchange: rigorous optimizations in the Canetti-Krawczyk
model},
journal = {Appl. Algebra Eng. Commun. Comput.},
volume = {16},
number = {6},
pages = {405--438},
year = {2006},
url = {https://doi.org/10.1007/s00200-005-0185-9},
doi = {10.1007/S00200-005-0185-9},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aaecc/HitchcockBN06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/em/GravnerG06,
author = {Janko Gravner and
David Griffeath},
title = {Modeling Snow Crystal Growth {I:} Rigorous Results for Packard's Digital
Snowflakes},
journal = {Exp. Math.},
volume = {15},
number = {4},
pages = {421--444},
year = {2006},
url = {https://doi.org/10.1080/10586458.2006.10128978},
doi = {10.1080/10586458.2006.10128978},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/em/GravnerG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/prl/ScandrettSG06,
author = {Catherine M. Scandrett and
Christopher J. Solomon and
Stuart J. Gibson},
title = {A person-specific, rigorous aging model of the human face},
journal = {Pattern Recognit. Lett.},
volume = {27},
number = {15},
pages = {1776--1787},
year = {2006},
url = {https://doi.org/10.1016/j.patrec.2006.02.007},
doi = {10.1016/J.PATREC.2006.02.007},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/prl/ScandrettSG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamma/OttoRS06,
author = {Felix Otto and
Tobias Rump and
Dejan Slepcev},
title = {Coarsening Rates for a Droplet Model: Rigorous Upper Bounds},
journal = {{SIAM} J. Math. Anal.},
volume = {38},
number = {2},
pages = {503--529},
year = {2006},
url = {https://doi.org/10.1137/050630192},
doi = {10.1137/050630192},
timestamp = {Fri, 03 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamma/OttoRS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cocoon/BachmatLM06,
author = {Eitan Bachmat and
Tao{-}Kai Lam and
Avner Magen},
editor = {Danny Z. Chen and
D. T. Lee},
title = {A Rigorous Analysis for Set-Up Time Models - {A} Metric Perspective},
booktitle = {Computing and Combinatorics, 12th Annual International Conference,
{COCOON} 2006, Taipei, Taiwan, August 15-18, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4112},
pages = {387--397},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11809678\_41},
doi = {10.1007/11809678\_41},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/cocoon/BachmatLM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/CombemaleCCC06,
author = {Beno{\^{\i}}t Combemale and
Xavier Cr{\'{e}}gut and
Alain Caplain and
Bernard Coulette},
editor = {Yannis Manolopoulos and
Joaquim Filipe and
Panos Constantopoulos and
Jos{\'{e}} Cordeiro},
title = {Towards a Rigorous Process Modeling with {SPEM}},
booktitle = {{ICEIS} 2006 - Proceedings of the Eighth International Conference
on Enterprise Information Systems: Databases and Information Systems
Integration, Paphos, Cyprus, May 23-27, 2006},
pages = {530--533},
year = {2006},
timestamp = {Thu, 02 Feb 2017 12:53:45 +0100},
biburl = {https://dblp.org/rec/conf/iceis/CombemaleCCC06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isit/ManevaS06,
author = {Elitza N. Maneva and
Amin Shokrollahi},
title = {New model for rigorous analysis of LT-codes},
booktitle = {Proceedings 2006 {IEEE} International Symposium on Information Theory,
{ISIT} 2006, The Westin Seattle, Seattle, Washington, USA, July 9-14,
2006},
pages = {2677--2679},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/ISIT.2006.262139},
doi = {10.1109/ISIT.2006.262139},
timestamp = {Wed, 16 Oct 2019 14:14:48 +0200},
biburl = {https://dblp.org/rec/conf/isit/ManevaS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/profes/TranCT06,
author = {Hanh Nhi Tran and
Bernard Coulette and
Dong Thi Bich Thuy},
editor = {J{\"{u}}rgen M{\"{u}}nch and
Matias Vierimaa},
title = {A UML-Based Process Meta-model Integrating a Rigorous Process Patterns
Definition},
booktitle = {Product-Focused Software Process Improvement, 7th International Conference,
{PROFES} 2006, Amsterdam, The Netherlands, June 12-14, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4034},
pages = {429--434},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11767718\_39},
doi = {10.1007/11767718\_39},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/profes/TranCT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/BerkenkotterH06,
author = {Kirsten Berkenk{\"{o}}tter and
Ulrich Hannemann},
editor = {Janusz G{\'{o}}rski},
title = {Modeling the Railway Control Domain Rigorously with a {UML} 2.0 Profile},
booktitle = {Computer Safety, Reliability, and Security, 25th International Conference,
{SAFECOMP} 2006, Gdansk, Poland, September 27-29, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4166},
pages = {398--411},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11875567\_30},
doi = {10.1007/11875567\_30},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/BerkenkotterH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cce/GrossmannAB05,
author = {Ignacio E. Grossmann and
Pio Antonio Aguirre and
Mariana Barttfeld},
title = {Optimal synthesis of complex distillation columns using rigorous models},
journal = {Comput. Chem. Eng.},
volume = {29},
number = {6},
pages = {1203--1215},
year = {2005},
url = {https://doi.org/10.1016/j.compchemeng.2005.02.030},
doi = {10.1016/J.COMPCHEMENG.2005.02.030},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cce/GrossmannAB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cce/Kim05,
author = {Young Han Kim},
title = {Structural design of fully thermally coupled distillation columns
using a semi-rigorous model},
journal = {Comput. Chem. Eng.},
volume = {29},
number = {7},
pages = {1555--1559},
year = {2005},
url = {https://doi.org/10.1016/j.compchemeng.2004.12.004},
doi = {10.1016/J.COMPCHEMENG.2004.12.004},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cce/Kim05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emmsad/Favre05,
author = {Liliana Favre},
editor = {Terry A. Halpin and
Keng Siau and
John Krogstie},
title = {A Rigorous Framework for Model-Driven Development},
booktitle = {Proceedings of the 10th International Workshop on Exploring Modeling
Methods for Systems Analysis and Design, {EMMSAD} 2005, held in conjunction
with the 17th Conference on Advanced Information Systems (CAiSE 2005),
Porto, Portugal, 13-14 June, 2005},
series = {{CEUR} Workshop Proceedings},
volume = {363},
pages = {119--130},
publisher = {CEUR-WS.org},
year = {2005},
url = {https://ceur-ws.org/Vol-363/paper11.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:10 +0100},
biburl = {https://dblp.org/rec/conf/emmsad/Favre05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/igarss/ReulGSBBMRF05,
author = {Nicolas Reul and
Charles{-}Antoine Gu{\'{e}}rin and
Gabriel Soriano and
Elodie Bachelier and
Pierre Borderies and
Francesco Mattia and
Christian Ruiz and
Nicolas Floury},
title = {On the use of rigorous microwave interaction models to support remote
sensing of natural surfaces},
booktitle = {{IEEE} International Geoscience {\&} Remote Sensing Symposium,
{IGARSS} 2005, July 25-29, 2005, Seoul, Korea, Proceedings},
pages = {2195--2198},
publisher = {{IEEE}},
year = {2005},
url = {https://doi.org/10.1109/IGARSS.2005.1526455},
doi = {10.1109/IGARSS.2005.1526455},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/igarss/ReulGSBBMRF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/GheyiMB05,
author = {Rohit Gheyi and
Tiago Massoni and
Paulo Borba},
editor = {David F. Redmiles and
Thomas Ellman and
Andrea Zisman},
title = {A rigorous approach for proving model refactorings},
booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
pages = {372--375},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1101908.1101973},
doi = {10.1145/1101908.1101973},
timestamp = {Tue, 06 Nov 2018 16:58:23 +0100},
biburl = {https://dblp.org/rec/conf/kbse/GheyiMB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/KimC05,
author = {Soon{-}Kyeong Kim and
David A. Carrington},
editor = {Helen Treharne and
Steve King and
Martin C. Henson and
Steve A. Schneider},
title = {A Rigorous Foundation for Pattern-Based Design Models},
booktitle = {{ZB} 2005: Formal Specification and Development in {Z} and B, 4th
International Conference of {B} and {Z} Users, Guildford, UK, April
13-15, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3455},
pages = {242--261},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11415787\_15},
doi = {10.1007/11415787\_15},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/zum/KimC05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AmalioPS07,
author = {Nuno Am{\'{a}}lio and
Fiona Polack and
Susan Stepney},
editor = {Judi Romijn and
Graeme Smith and
Jaco van de Pol},
title = {Frameworks Based on Templates for Rigorous Model-driven Development},
booktitle = {Proceedings of the Doctoral Symposium affiliated with the Fifth Integrated
Formal Methods Conference, {IFM} Doctoral Symposium 2005, Eindhoven,
The Netherlands, November 29, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {191},
pages = {3--23},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2007.09.002},
doi = {10.1016/J.ENTCS.2007.09.002},
timestamp = {Thu, 09 Feb 2023 10:31:27 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AmalioPS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0512029,
author = {Elitza N. Maneva and
Amin Shokrollahi},
title = {New model for rigorous analysis of LT-codes},
journal = {CoRR},
volume = {abs/cs/0512029},
year = {2005},
url = {http://arxiv.org/abs/cs/0512029},
eprinttype = {arXiv},
eprint = {cs/0512029},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0512029.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mr/PalankovskiS04,
author = {Vassil Palankovski and
Siegfried Selberherr},
title = {Rigorous modeling of high-speed semiconductor devices},
journal = {Microelectron. Reliab.},
volume = {44},
number = {6},
pages = {889--897},
year = {2004},
url = {https://doi.org/10.1016/j.microrel.2004.02.009},
doi = {10.1016/J.MICROREL.2004.02.009},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mr/PalankovskiS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/ThalhammerW04,
author = {Robert K. Thalhammer and
Gerhard K. M. Wachutka},
title = {Physically rigorous modeling of internal laser-probing techniques
for microstructured semiconductor devices},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {23},
number = {1},
pages = {60--70},
year = {2004},
url = {https://doi.org/10.1109/TCAD.2003.819895},
doi = {10.1109/TCAD.2003.819895},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/ThalhammerW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/ThalhammerW04a,
author = {Robert K. Thalhammer and
Gerhard K. M. Wachutka},
title = {Corrections to "Physically Rigorous Modeling of Internal Laser-Probing
Techniques for Microstructured Semiconductor Devices"},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {23},
number = {4},
pages = {581--582},
year = {2004},
url = {https://doi.org/10.1109/TCAD.2004.825598},
doi = {10.1109/TCAD.2004.825598},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/ThalhammerW04a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/HickeyW04,
author = {Timothy J. Hickey and
David K. Wittenberg},
editor = {Rajeev Alur and
George J. Pappas},
title = {Rigorous Modeling of Hybrid Systems Using Interval Arithmetic Constraints},
booktitle = {Hybrid Systems: Computation and Control, 7th International Workshop,
{HSCC} 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2993},
pages = {402--416},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24743-2\_27},
doi = {10.1007/978-3-540-24743-2\_27},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/HickeyW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/JudsonFC04,
author = {Sheena R. Judson and
Robert B. France and
Doris L. Carver},
title = {Supporting Rigorous Evolution of {UML} Models},
booktitle = {9th International Conference on Engineering of Complex Computer Systems
{(ICECCS} 2004), 14-16 April 2004, Florence, Italy},
pages = {128--137},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/ICECCS.2004.1310911},
doi = {10.1109/ICECCS.2004.1310911},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iceccs/JudsonFC04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/XiaG03,
author = {Yong Xia and
Martin Glinz},
title = {Rigorous EBNF-based Definition for a Graphic Modeling Language},
booktitle = {10th Asia-Pacific Software Engineering Conference {(APSEC} 2003),
10-12 December 2003, Chiang Mai, Thailand},
pages = {186--196},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/APSEC.2003.1254371},
doi = {10.1109/APSEC.2003.1254371},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/XiaG03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/drw/Durrett03,
author = {Rick Durrett},
editor = {Cyril Banderier and
Christian Krattenthaler},
title = {Rigorous Result for the {CHKNS} Random Graph Model},
booktitle = {Discrete Random Walks, DRW'03, Paris, France, September 1-5, 2003},
series = {{DMTCS} Proceedings},
volume = {{AC}},
pages = {95--104},
publisher = {{DMTCS}},
year = {2003},
url = {http://dmtcs.episciences.org/3345},
timestamp = {Wed, 15 Jan 2020 16:23:04 +0100},
biburl = {https://dblp.org/rec/conf/drw/Durrett03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/igarss/Robertson03,
author = {Brian C. Robertson},
title = {Rigorous geometric modeling and correction of QuickBird imagery},
booktitle = {2003 {IEEE} International Geoscience and Remote Sensing Symposium,
{IGARSS} 2003, Toulouse, France, July 21-15, 2003},
pages = {797--802},
publisher = {{IEEE}},
year = {2003},
url = {https://doi.org/10.1109/IGARSS.2003.1293924},
doi = {10.1109/IGARSS.2003.1293924},
timestamp = {Fri, 07 May 2021 10:04:02 +0200},
biburl = {https://dblp.org/rec/conf/igarss/Robertson03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isads/AlagarM03,
author = {Vangalur S. Alagar and
D. Muthiayen},
title = {A Rigorous Approach to Modeling Autonomous Traffic Control Systems},
booktitle = {6th International Symposium on Autonomous Decentralized Systems {(ISADS}
2003), 9-11 April 2003, Pisa, Italy},
pages = {193--200},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/ISADS.2003.1193948},
doi = {10.1109/ISADS.2003.1193948},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isads/AlagarM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/ParkS03,
author = {Sangsoo Park and
Heonshik Shin},
editor = {Jing Chen and
Seongsoo Hong},
title = {Rigorous Modeling of Disk Performance for Real-Time Applications},
booktitle = {Real-Time and Embedded Computing Systems and Applications, 9th International
Conference, {RTCSA} 2003, Tainan, Taiwan, February 18-20, 2003. Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {2968},
pages = {486--498},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24686-2\_30},
doi = {10.1007/978-3-540-24686-2\_30},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/rtcsa/ParkS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/KramerMU03,
author = {Jeff Kramer and
Jeff Magee and
Sebasti{\'{a}}n Uchitel},
editor = {Marco Bernardo and
Paola Inverardi},
title = {Software Architecture Modeling {\&} Analysis: {A} Rigorous Approach},
booktitle = {Formal Methods for Software Architectures, Third International School
on Formal Methods for the Design of Computer, Communication and Software
Systems: Software Architectures, {SFM} 2003, Bertinoro, Italy, September
22-27, 2003, Advanced Lectures},
series = {Lecture Notes in Computer Science},
volume = {2804},
pages = {44--51},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39800-4\_3},
doi = {10.1007/978-3-540-39800-4\_3},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/sfm/KramerMU03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jdm/JoostenP02,
author = {Stef Joosten and
Sandeep Purao},
title = {A Rigorous Approach for Mapping Workflows to Object-Oriented {IS}
Models},
journal = {J. Database Manag.},
volume = {13},
number = {4},
pages = {1--19},
year = {2002},
url = {https://doi.org/10.4018/jdm.2002100101},
doi = {10.4018/JDM.2002100101},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jdm/JoostenP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamam/ArgallHCGL02,
author = {Brenna D. Argall and
Colin Hinde and
Eugene Cheleshkin and
James M. Greenberg and
Pei{-}Jen Lin},
title = {A Rigorous Treatment of a Follow-the-Leader Traffic Model with Traffic
Lights Present},
journal = {{SIAM} J. Appl. Math.},
volume = {63},
number = {1},
pages = {149--168},
year = {2002},
url = {https://doi.org/10.1137/S0036139901391215},
doi = {10.1137/S0036139901391215},
timestamp = {Wed, 20 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamam/ArgallHCGL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/igarss/SohnKY02,
author = {Hong{-}Gyoo Sohn and
Gi{-}Hong Kim and
Kong{-}Hyun Yun},
title = {Rigorous sensor modeling of early reconnaissance {CORONA} imagery
for monitoring urban growth},
booktitle = {{IEEE} International Geoscience and Remote Sensing Symposium, {IGARSS}
2002, Toronto, Ontario, Canada, 24-28 June 2002},
pages = {1929--1931},
publisher = {{IEEE}},
year = {2002},
url = {https://doi.org/10.1109/IGARSS.2002.1026303},
doi = {10.1109/IGARSS.2002.1026303},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/igarss/SohnKY02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/us/Coperich01,
author = {Karen Marie Coperich},
title = {Rigorous Electromagnetic Modeling of Conductor and Substrate Losses
for High-Speed Interconnect Structures},
school = {University of Illinois Urbana-Champaign, {USA}},
year = {2001},
url = {https://hdl.handle.net/2142/80707},
timestamp = {Thu, 03 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/us/Coperich01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Talagrand01,
author = {Michel Talagrand},
title = {Rigorous results for mean field models for spin glasses},
journal = {Theor. Comput. Sci.},
volume = {265},
number = {1-2},
pages = {69--77},
year = {2001},
url = {https://doi.org/10.1016/S0304-3975(01)00150-5},
doi = {10.1016/S0304-3975(01)00150-5},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Talagrand01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tgrs/HeGNC01,
author = {Jiangqi He and
Norbert Geng and
Lam H. Nguyen and
Lawrence Carin},
title = {Rigorous modeling of ultrawideband {VHF} scattering from tree trunks
over flat and. sloped terrain},
journal = {{IEEE} Trans. Geosci. Remote. Sens.},
volume = {39},
number = {10},
pages = {2182--2193},
year = {2001},
url = {https://doi.org/10.1109/36.957281},
doi = {10.1109/36.957281},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tgrs/HeGNC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caise/LaleauP01,
author = {Regine Laleau and
Fiona Polack},
editor = {Klaus R. Dittrich and
Andreas Geppert and
Moira C. Norrie},
title = {A Rigorous Metamodel for {UML} Static Conceptual Modelling of Information
Systems},
booktitle = {Advanced Information Systems Engineering, 13th International Conference,
CAiSE 2001, Interlaken, Switzerland, June 4-8, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2068},
pages = {402--416},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45341-5\_27},
doi = {10.1007/3-540-45341-5\_27},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/caise/LaleauP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/AlagarX01,
author = {Vangalur S. Alagar and
Zheng Xi},
editor = {Jos{\'{e}} Nuno Oliveira and
Pamela Zave},
title = {A Rigorous Approach to Modeling and Analyzing E-Commerce Architectures},
booktitle = {{FME} 2001: Formal Methods for Increasing Software Productivity, International
Symposium of Formal Methods Europe, Berlin, Germany, March 12-16,
2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2021},
pages = {173--196},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45251-6\_10},
doi = {10.1007/3-540-45251-6\_10},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/AlagarX01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotos/Mogul01,
author = {Jeffrey C. Mogul},
title = {Toward a Rigorous Data Type Model for {HTTP}},
booktitle = {Proceedings of HotOS-VIII: 8th Workshop on Hot Topics in Operating
Systems, May 20-23, 2001, Elmau/Oberbayern, Germany},
pages = {176},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/HOTOS.2001.990092},
doi = {10.1109/HOTOS.2001.990092},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hotos/Mogul01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlc/Sajaniemi00,
author = {Jorma Sajaniemi},
title = {Modeling Spreadsheet Audit: {A} Rigorous Approach to Automatic Visualization},
journal = {J. Vis. Lang. Comput.},
volume = {11},
number = {1},
pages = {49--82},
year = {2000},
url = {https://doi.org/10.1006/jvlc.1999.0142},
doi = {10.1006/JVLC.1999.0142},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/vlc/Sajaniemi00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/AlemanA00,
author = {Jos{\'{e}} Luis Fern{\'{a}}ndez Alem{\'{a}}n and
Jos{\'{e}} Ambrosio Toval {\'{A}}lvarez},
title = {Can Intuition Become Rigorous? Foundations for {UML} Model Verification
Tools},
booktitle = {11th International Symposium on Software Reliability Engineering {(ISSRE}
2000), 8-11 October 2000, San Jose, CA, {USA}},
pages = {344--355},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ISSRE.2000.885885},
doi = {10.1109/ISSRE.2000.885885},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/issre/AlemanA00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/room/LanoBE00,
author = {Kevin Lano and
Juan Bicarregui and
Andy Evans},
title = {Structured Axiomatic Semantics for {UML} Models},
booktitle = {Rigorous Object-Oriented Methods, {ROOM} 2000, York, UK, 17 January
2000},
series = {Workshops in Computing},
publisher = {{BCS}},
year = {2000},
url = {http://ewic.bcs.org/content/ConWebDoc/4211},
timestamp = {Wed, 11 Jun 2014 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/room/LanoBE00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/FranceBLG97,
author = {Robert B. France and
Jean{-}Michel Bruel and
Maria M. Larrondo{-}Petrie and
Emanuel S. Grant},
editor = {Michael Johnson},
title = {Rigorous Object-Oriented Modeling: Integrating Formal and Informal
Notations},
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 = {216--230},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0000473},
doi = {10.1007/BFB0000473},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/FranceBLG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/BerryW97,
author = {Daniel M. Berry and
M. Weber},
title = {A Pragmatic, Rigorous Integration of Structural and Behavioral Modeling
Notations},
booktitle = {First {IEEE} International Conference on Formal Engineering Methods,
{ICFEM} 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings},
pages = {38--49},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ICFEM.1997.630396},
doi = {10.1109/ICFEM.1997.630396},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/BerryW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nn/Francois96,
author = {Olivier Fran{\c{c}}ois},
title = {New rigorous results for the Hopfield's neural network model},
journal = {Neural Networks},
volume = {9},
number = {3},
pages = {503--507},
year = {1996},
url = {https://doi.org/10.1016/0893-6080(95)00141-7},
doi = {10.1016/0893-6080(95)00141-7},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nn/Francois96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmas/GmytrasiewiczD95,
author = {Piotr J. Gmytrasiewicz and
Edmund H. Durfee},
editor = {Victor R. Lesser and
Les Gasser},
title = {A Rigorous, Operational Formalization of Recursive Modeling},
booktitle = {Proceedings of the First International Conference on Multiagent Systems,
June 12-14, 1995, San Francisco, California, {USA}},
pages = {125--132},
publisher = {The {MIT} Press},
year = {1995},
timestamp = {Tue, 16 Nov 2004 11:26:50 +0100},
biburl = {https://dblp.org/rec/conf/icmas/GmytrasiewiczD95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/RichterM93,
author = {Gernot Richter and
Bruno Maffeo},
title = {Toward a Rigorous Interpretation of ESML-Extended Systems Modeling
Language},
journal = {{IEEE} Trans. Software Eng.},
volume = {19},
number = {2},
pages = {165--180},
year = {1993},
url = {https://doi.org/10.1109/32.214833},
doi = {10.1109/32.214833},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/RichterM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/annes/Thomas93,
author = {M. M. Thomas},
title = {Restrictions on goal-driven searches using rigorously inverted artificial
neural network models},
booktitle = {First New Zealand International Two-Stream Conference on Artificial
Neural Networks and Expert Systems, {ANNES} '93, Dunedin, New Zealand,
November 24-26, 1993},
pages = {52--53},
publisher = {{IEEE}},
year = {1993},
url = {https://doi.org/10.1109/ANNES.1993.323084},
doi = {10.1109/ANNES.1993.323084},
timestamp = {Wed, 16 Oct 2019 14:14:54 +0200},
biburl = {https://dblp.org/rec/conf/annes/Thomas93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/au/Han92,
author = {Jun Han},
title = {A structural model for methodology-based interactive rigorous software
development},
school = {University of Queensland, Australia},
year = {1992},
url = {https://search.library.uq.edu.au/permalink/f/l3gdeh/61UQ\_ALMA2192166360003131},
timestamp = {Wed, 27 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/au/Han92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stp/Rose92,
author = {Julian Rose},
title = {A New Rigorous Approach for Modelling and Refining Concurrent Behaviour
in {JSD} Specifications},
journal = {Struct. Program.},
volume = {13},
number = {1},
pages = {11--22},
year = {1992},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stp/Rose92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mmor/JanssonR91,
author = {Christian Jansson and
Siegfried M. Rump},
title = {Rigorous solution of linear programming problems with uncertain data},
journal = {{ZOR} Methods Model. Oper. Res.},
volume = {35},
number = {2},
pages = {87--111},
year = {1991},
url = {https://doi.org/10.1007/BF02331571},
doi = {10.1007/BF02331571},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mmor/JanssonR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/Wachutka90,
author = {Gerhard K. M. Wachutka},
title = {Rigorous thermodynamic treatment of heat generation and conduction
in semiconductor device modeling},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {9},
number = {11},
pages = {1141--1149},
year = {1990},
url = {https://doi.org/10.1109/43.62751},
doi = {10.1109/43.62751},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/Wachutka90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/nn/Newman88,
author = {Charles M. Newman},
title = {Memory capacity in neural network models: Rigorous lower bounds},
journal = {Neural Networks},
volume = {1},
number = {3},
pages = {223--238},
year = {1988},
url = {https://doi.org/10.1016/0893-6080(88)90028-7},
doi = {10.1016/0893-6080(88)90028-7},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/nn/Newman88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
retrieved on 2024-05-06 19:33 CEST from data curated 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:
