![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Science of Computer Programming, Volume 233
Volume 233, 2024
- Jacco O. G. Krijnen
, Manuel M. T. Chakravarty, Gabriele Keller, Wouter Swierstra:
Translation certification for smart contracts. 103051 - Aleksandr S. Tvardovskii, Khaled El-Fakih, Nina Yevtushenko:
Testing and incremental conformance testing of timed state machines. 103053 - Conor Reynolds
, Rosemary Monahan:
Reasoning about logical systems in the Coq proof assistant. 103054 - Thisaranie Kaluarachchi
, Manjusri Wickramasinghe:
WebDraw: A machine learning-driven tool for automatic website prototyping. 103056 - Phillip James, Faron Moller, Filippos Pantekis:
OnTrack: Reflecting on domain specific formal methods for railway designs. 103057 - Padmalata Nistala, Asha Rajbhoj, Vinay Kulkarni, Sapphire Noronha, Ankit Joshi:
An industrial experience report on model-based, AI-enabled proposal development for an RFP/RFI. 103058 - Jose Luis de la Vara, Monalessa Barcellos, Marcela Genero, Renata S. S. Guizzardi:
Preface for "Selected papers from the 25th Ibero-American Conference on Software Engineering (CIbSE 2022)". 103059 - Ivan Kurtev
, Jozef Hooman, Mathijs Schuts, Daan van der Munnik:
Model based component development and analysis with ComMA. 103067 - Jie Chen
, Ziyuan Zhang, Dongjin Yu, Haiyang Hu:
What makes a real change in software performance? An empirical study on analyzing the factors that affect the triagement of performance change points. 103068 - Preface for the Special Issue on SBST'22: Search-Based Software Testing - Tools. 103071
- Paula Muñoz, Steffen Zschaler, Richard F. Paige:
Preface to the special issue on success stories in model driven engineering. 103072 - Wangjie Ji, Lili Bo, Yanchi Yuan, Xiaobing Sun:
TDFix: A lightweight tool for fixing deadlocks based on templates. 103073 - Jaime Arias, Kyungmin Bae, Carlos Olarte, Peter Csaba Ölveczky, Laure Petrucci, Fredrik Rømming:
Symbolic analysis and parameter synthesis for networks of parametric timed automata with global variables using Maude and SMT solving. 103074
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.