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
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 2025-01-14 21:04 CET 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:
