default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDScience of Computer Programming, Volume 240
Volume 240, 2025
- Juliana Cunha
, Alexandre Madeira, Luís Soares Barbosa:
Specification of paraconsistent transition systems, revisited. 103196 - Peiye Yang, Li Zhang, Qin Li, Xiang Gao, Yilong Yang:
OCLVerifer: Automated verification of OCL contracts in requirements models. 103197 - Erika J. Gutiérrez Beltrán, Juan C. Martínez Arias:
Mi Superpoder es la Programación: A tool for teaching programming to children and youth. 103198 - Report to the readership. 103199
- Seongmin Lee, Dave W. Binkley, Robert Feldt, Nicolas Gold, Shin Yoo:
Causal program dependence analysis. 103208 - Eduard Baranov, Axel Legay:
Baital: Sampling configurable systems with high t-wise coverage. 103209 - Philippe Collet, Johann Mortara, Yann Brault, Anne-Marie Dery-Pinna:
The VariCity ecosystem: City visualization of object-oriented variability in Java and TypeScript. 103210 - Mariam Lahami, Afef Jmal Maâlej, Moez Krichen:
A systematic literature review on dynamic testing of blockchain oriented software. 103211 - Marek Chalupa, Fabian Muehlboeck, Stefanie Muroya Lei, Thomas A. Henzinger:
Vamos: Middleware for best-effort third-party monitoring. 103212 - Joanna Delicaris, Anne Remke, Erika Ábrahám, Stefan Schupp, Jonas Stübbe:
Maximizing reachability probabilities in rectangular automata with random events. 103213 - José Miguel Horcas, José A. Galindo, Lidia Fuentes, David Benavides:
FM fact label. 103214 - Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher, Narongrit Unwerawattana:
JoT: A Jolie framework for testing microservices. 103215 - Abid Afsan Hamid, Md. Fizul Haque, Manishankar Mondal:
Ranking co-change candidates suggested by FLeCCS using programmer sensitivity. 103216 - Felipe Ferreira, José Campos:
An exploratory study on the usage of quantum programming languages. 103217 - Chen Yang, Peng Liang, Zinan Ma:
An exploratory study on automatic identification of assumptions in the development of deep learning frameworks. 103218 - Carlos Diego Nascimento Damasceno, Marie-Christine Jakobs, Leen Lambers, Sebastián Uchitel:
Preface for the special issue on "Selected Papers and Tools of the 26th International Conference on Fundamental Approaches to Software Engineering" (FASE 2023). 103219 - Angelo Ferrando, Rafael C. Cardoso:
Towards partial monitoring: Never too early to give in. 103220 - Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani, Einar Broch Johnsen, Silvia Lizeth Tapia Tarifa:
A Configurable Software Model of a Self-Adaptive Robotic System. 103221 - José Proença, Luc Edixhoven:
The CAOS framework for Scala: Computer-aided design of SOS. 103222 - Nan Zhang, Zhijie Xu, Zhenhua Duan, Cong Tian, Wu Wang, Chaofeng Yu:
Verifying chip designs at RTL level. 103224 - Lara Bargmann, Heike Wehrheim:
View-based axiomatic reasoning for the weak memory models PSO and SRA. 103225
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-04-27 18:05 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:
