Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDScience 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
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.
last updated on 2024-08-26 21:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
