|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 2453 publication records. Showing 2453 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Muhamed Smajevic, Syed Juned Ali, Dominik Bork |
CM2KGcloud - An open web-based platform to transform conceptual models into knowledge graphs.  |
Sci. Comput. Program.  |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Iñigo Aldalur |
Web Augmentation: A systematic mapping study. |
Sci. Comput. Program. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Basciani, Juri Di Rocco, Ludovico Iovino, Alfonso Pierantonio |
TyphonML: Tool support for hybrid polystores. |
Sci. Comput. Program. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Herbert Rausch Fernandes, Giovanni Freitas Gomes, Antonio Carlos Pinheiro de Oliveira, Sérgio Vale Aguiar Campos |
Stochastic formal model of PI3K/mTOR pathway in Alzheimer's disease for drug repurposing: An evaluation of rapamycin, LY294002, and NVP-BEZ235. |
Sci. Comput. Program. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Richard Banach |
Core Hybrid Event-B III: Fundamentals of a reasoning framework. |
Sci. Comput. Program. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiangyu Mu, Lei Liu, Peng Zhang, Jingyao Li, Hui Li 0037 |
A method of test case set generation in the commutativity test of reduce functions. |
Sci. Comput. Program. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Frédéric Jouault, Valentin Besnard, Matthias Brun 0001, Théo Le Calvar, Fabien Chhel, Mickael Clavreul, Jérôme Delatour, Maxime Méré, Matthias Pasquier, Ciprian Teodorov |
AnimUML: A practical tool for partial model animation and analysis. |
Sci. Comput. Program. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Shuqi Liu, Yu Zhou 0010, Longbing Ji, Tingting Han 0001, Taolue Chen |
Enhancing test reuse with GUI events deduplication and adaptive semantic matching. |
Sci. Comput. Program. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Mahmudul Faisal Al Ameen, Naoki Kobayashi 0001, Ryosuke Sato 0001 |
Asynchronous unfold/fold transformation for fixpoint logic. |
Sci. Comput. Program. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Yaxin Zhao, Lina Gong, Wenhua Yang 0001, Yu Zhou 0010 |
How accessibility affects other quality attributes of software? A case study of GitHub. |
Sci. Comput. Program. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrey Sadovykh, Bilal Said, Dragos Truscan, Hugo Bruneliere |
An iterative approach for model-based requirements engineering in large collaborative projects: A detailed experience report. |
Sci. Comput. Program. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Amel Mammar, Meriem Belguidoum, Saddam Hocine Hiba |
A formal approach for the correct deployment of cloud applications. |
Sci. Comput. Program. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Sean Kristian Remond Harbo, Emil Palmelund Voldby, Jonas Madsen, Michele Albano |
ACSmt: A plugin for eclipse papyrus to model systems of systems. |
Sci. Comput. Program. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Hamed Arshad, Ross Horne, Christian Johansen, Olaf Owe, Tim A. C. Willemse |
XACML2mCRL2: Automatic transformation of XACML policies into mCRL2 specifications. |
Sci. Comput. Program. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Birthe van den Berg, Tom Schrijvers, James McKinna, Alexander Vandenbroucke |
Forward- or reverse-mode automatic differentiation: What's the difference? |
Sci. Comput. Program. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Bucchiarone, Tommaso Martorella, Davide Frageri, Diego Colombo |
PolyGloT: A personalized and gamified eTutoring system for learning modelling and programming skills. |
Sci. Comput. Program. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Oleg Kiselyov |
Generating C: Heterogeneous metaprogramming system description. |
Sci. Comput. Program. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Masahiro Masuda, Yukiyoshi Kameyama |
Program generation meets program verification: A case study on number-theoretic transform. |
Sci. Comput. Program. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Wen-ling Huang, Niklas Krafczyk, Jan Peleska 0001 |
Exhaustive property oriented model-based testing with symbolic finite state machines. |
Sci. Comput. Program. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Constantin Buschhaus, Arkadii Gerasimov, Jörg Christian Kirchhof, Judith Michael, Lukas Netz, Bernhard Rumpe, Sebastian Stüber |
Lessons learned from applying model-driven engineering in 5 domains: The success story of the MontiGem generator framework. |
Sci. Comput. Program. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Enes Yigitbas, Maximilian Schmidt, Antonio Bucchiarone, Sebastian Gottschalk, Gregor Engels |
GaMoVR: Gamification-based UML learning environment in virtual reality. |
Sci. Comput. Program. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Alfa Ryano Yohannis, Dimitrios S. Kolovos, Antonio García-Domínguez |
Exploring complex models with picto web. |
Sci. Comput. Program. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Gwendal Daniel, Jordi Cabot |
Applying model-driven engineering to the domain of chatbots: The Xatkit experience. |
Sci. Comput. Program. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Audrito, Gianluca Torta |
FCPP to aggregate them all. |
Sci. Comput. Program. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Erwan Mahe, Christophe Gaston, Pascale Le Gall |
Denotational and operational semantics for interaction languages: Application to trace analysis. |
Sci. Comput. Program. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Maksym Bortin |
Structured development of implementations for divide-and-conquer specifications. |
Sci. Comput. Program. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Antonis Achilleos, Duncan Paul Attard, Léo Exibard, Adrian Francalanza, Anna Ingólfsdóttir |
A monitoring tool for linear-time μHML. |
Sci. Comput. Program. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Marie-Christine Jakobs, Einar Broch Johnsen, Eduard Kamburjan, Manuel Wimmer |
Preface for the special issue on "Fundamental Approaches to Software Engineering" (FASE 2022). |
Sci. Comput. Program. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan W. Driessen, Dario Di Nucci, Damian A. Tamburri, Willem-Jan van den Heuvel |
SolAR: Automated test-suite generation for solidity smart contracts. |
Sci. Comput. Program. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Joan Giner-Miguelez, Abel Gómez 0001, Jordi Cabot |
DescribeML: A dataset description tool for machine learning. |
Sci. Comput. Program. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Railana Santana, Luana Almeida Martins, Tássio Virgínio, Larissa Rocha 0001, Heitor A. X. Costa, Ivan Machado |
An empirical evaluation of RAIDE: A semi-automated approach for test smells detection and refactoring. |
Sci. Comput. Program. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessio Di Sandro, Logan Murphy, Torin Viger, Marsha Chechik |
MMINT-A: A framework for model-based safety assurance. |
Sci. Comput. Program. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Sean Kauffman, Martin Zimmermann 0002 |
The complexity of evaluating nfer. |
Sci. Comput. Program. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | José Antonio Hernández López, Javier Luis Cánovas Izquierdo, Jesús Sánchez Cuadrado |
ModelSet: A labelled dataset of software models for machine learning. |
Sci. Comput. Program. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Raihana Ferdous, Chia-kang Hung, Fitsum Meshesha Kifetew, Davide Prandi, Angelo Susi |
EvoMBT: Evolutionary model based testing. |
Sci. Comput. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jacopo Soldani, Stefano Forti 0002, Antonio Brogi |
yRCA: An explainable failure root cause analyser. |
Sci. Comput. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Audrito, Omar Inverso, Hugo Torres Vieira |
Preface for the special issue on tool papers of the 23rd International Conference on Coordination Models and Languages, COORDINATION 2021. |
Sci. Comput. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jie Chen 0060, Tao Jiang, Dongjin Yu, Haiyang Hu |
Pattern-based circular reference detection in Python. |
Sci. Comput. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Min Zhang 0002, Kazuhiro Ogata 0001 |
Selected papers from the 15th international symposium on Theoretical Aspects of Software Engineering (TASE 2021). |
Sci. Comput. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Parolini, Antoine Miné |
Sound static analysis of regular expressions for vulnerabilities to denial of service attacks. |
Sci. Comput. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Oliver Moseler, Stephan Diehl 0001 |
The CodeSparks Framework - Augmenting Source Code with Glyph-based Visualizations. |
Sci. Comput. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Muhammad Rizwan Ali, Yngve Lamo, Violet Ka I Pun |
Cost analysis for a resource sensitive workflow modelling language. |
Sci. Comput. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Arvin Zakeriyan, Ramtin Khosravi, Hadi Safari, Ehsan Khamespanah, Seyede Mehrnaz Shamsabadi |
Automated testing of an industrial stock market trading platform based on functional specification. |
Sci. Comput. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Chenyang Zhu 0001, Michael J. Butler, Corina Cîrstea, Thai Son Hoang |
A fairness-based refinement strategy to transform liveness properties in Event-B models. |
Sci. Comput. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Bineet Ghosh, Étienne André |
MoULDyS: Monitoring of autonomous systems in the presence of uncertainties. |
Sci. Comput. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Iris Galeano, Mauricio Merín, Magalí González, Luca Cernuzzi |
A methodological approach for mobile applications development: MethApp4Mob. |
Sci. Comput. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ulf Kargén, Ivar Härnqvist, Johannes Wilson, Gustav Eriksson, Evelina Holmgren, Nahid Shahmehri |
desync-cc: A research tool for automatically applying disassembly desynchronization during compilation. |
Sci. Comput. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sérgio Vale Aguiar Campos, Marius Minea |
Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2021). |
Sci. Comput. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sean Kauffman |
Log analysis and system monitoring with nfer. |
Sci. Comput. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jackline Ssanyu, Engineer Bainomugisha, Benjamin Kanagwa |
Teaching language processing with the PAMOJA framework. |
Sci. Comput. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Dip Kiran Pradhan Newar, Rui Zhao 0005, Harvey P. Siy, Leen-Kiat Soh, Myoungkyu Song |
SSDTutor: A feedback-driven intelligent tutoring system for secure software development. |
Sci. Comput. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Reza Sepahvand, Reza Akbari, Behnaz Jamasb, Sattar Hashemi, Omid Boushehrian |
Using word embedding and convolution neural network for bug triaging by considering design flaws. |
Sci. Comput. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Liqian Chen, Dengping Wei, Banghu Yin, Ji Wang 0001 |
Static analysis of linear absolute value equalities among variables of a program. |
Sci. Comput. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Xun Li, Lei Liu 0040, Yuzhou Liu, Huaxiao Liu |
A lightweight API recommendation method for App development based on multi-objective evolutionary algorithm. |
Sci. Comput. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathieu Acher, Gilles Perrouin, Maxime Cordy |
BURST: Benchmarking uniform random sampling techniques. |
Sci. Comput. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Dmytro Humeniuk, Foutse Khomh, Giuliano Antoniol |
AmbieGen: A search-based framework for autonomous systems testing. |
Sci. Comput. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Felderer, Valentina Lenarduzzi, Fabio Palomba, Fabiano Pecorelli |
Introduction to the Software Quality for Artificial Intelligence (SQA4AI) special issue. |
Sci. Comput. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Michikazu Hirata, Yasuhiko Minamide, Tetsuya Sato 0001 |
Program logic for higher-order probabilistic programs in Isabelle/HOL. |
Sci. Comput. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Renkin, Philipp Schlehuber-Caissier, Alexandre Duret-Lutz, Adrien Pommellet |
The Mealy-machine reduction functions of Spot. |
Sci. Comput. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | William Ravelo-Méndez, Camilo Escobar-Velásquez, Mario Linares-Vásquez |
Kraken 2.0: A platform-agnostic and cross-device interaction testing tool. |
Sci. Comput. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Klikovits, Ezequiel Castellano, Ahmet Cetinkaya, Paolo Arcaini |
Frenetic-lib: An extensible framework for search-based generation of road structures for ADS testing. |
Sci. Comput. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Nils Timm, Josua Botha, Steven Jordaan |
Max-SAT-based synthesis of optimal and Nash equilibrium strategies for multi-agent systems. |
Sci. Comput. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladimir Erthal, Bruno Pedraça de Souza, Paulo Sérgio Medeiros dos Santos, Guilherme H. Travassos |
Characterization of continuous experimentation in software engineering: Expressions, models, and strategies. |
Sci. Comput. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yogita Khatri, Sandeep Kumar Singh 0001 |
An effective software cross-project fault prediction model for quality improvement. |
Sci. Comput. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Komal Pathade, Uday P. Khedker |
Computing maximum fixed point solutions over feasible paths in data flow analyses. |
Sci. Comput. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Peng Liang 0001, Nikolaos Tsantalis |
Special issue on Tools at the 29th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2022). |
Sci. Comput. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Silvia Crafa, Cosimo Laneve, Giovanni Sartor, Adele Veschetti |
Pacta sunt servanda: Legal contracts in Stipula. |
Sci. Comput. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Maxime Gobert 0001, Loup Meurice, Anthony Cleve |
Modeling, manipulating and evolving hybrid polystores with HyDRa. |
Sci. Comput. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Chong Wang 0004, Jingwen Jiang, Maya Daneva, Marten van Sinderen |
CoolTeD: A tool for co-labeling and visual analysis of textual dataset. |
Sci. Comput. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Robbert Gurdeep Singh, Christophe Scholliers |
Gaiwan: A size-polymorphic typesystem for GPU programs. |
Sci. Comput. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Camilo Velázquez-Rodríguez, Dario Di Nucci, Coen De Roover |
A text classification approach to API type resolution for incomplete code snippets. |
Sci. Comput. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher |
LEMMA2Jolie: A tool to generate microservice APIs from domain models. |
Sci. Comput. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenan Liu, Khaled Mahmoud, Joonhwan Yoo, Yu David Liu |
Vincent: Green hot methods in the JVM. |
Sci. Comput. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Birchler, Nicolas Ganz, Sajad Khatiri, Alessio Gambi, Sebastiano Panichella |
Cost-effective simulation-based test selection in self-driving cars software. |
Sci. Comput. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Isao Sasano, Kwanghoon Choi 0001 |
A text-based syntax completion method using LR parsing and its evaluation. |
Sci. Comput. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Till Hofmann, Stefan Schupp |
Controlling timed automata against MTL specifications with TACoS. |
Sci. Comput. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Issa Atoum |
Measurement of key performance indicators of user experience based on software requirements. |
Sci. Comput. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Thierry Gautier, Paul Le Guernic, Loïc Besnard, Jean-Pierre Talpin |
The polychronous model of computation and Kahn process networks. |
Sci. Comput. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Cano-Genoves, Emilio Insfrán, Silvia Mara Abrahão |
VeGAn-Tool: A fuzzy-logic approach for value-based goal model analysis. |
Sci. Comput. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ambarish Moharil, Arpit Sharma 0002 |
TABASCO: A transformer based contextualization toolkit. |
Sci. Comput. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Bianchini, Francesco Dagnino |
QueryAGT: Asynchronous global types in co-logic programming. |
Sci. Comput. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Nacha Chondamrongkul, Jing Sun 0002 |
Software evolutionary architecture: Automated planning for functional changes. |
Sci. Comput. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Xin Zhao, Jeff Gray 0001 |
Towards a metrics suite for the complexity analysis of LabVIEW systems models. |
Sci. Comput. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Antonio Bucchiarone, Maxime Savary-Leblanc, Xavier Le Pallec, Jean-Michel Bruel, Antonio Cicchetti, Jordi Cabot, Sébastien Gérard |
Gamifying model-based engineering: The PapyGame tool. |
Sci. Comput. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jelena Slivka, Nikola Luburic, Simona Prokic, Katarina-Glorija Grujic, Aleksandar Kovacevic, Goran Sladic, Dragan Vidakovic |
Towards a systematic approach to manual annotation of code smells. |
Sci. Comput. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jianwei Zeng, Yutong He, Tao Zhang 0001, Zhou Xu 0003, Qiang Han |
CLG-Trans: Contrastive learning for code summarization via graph attention-based transformer. |
Sci. Comput. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Bo Yang, Haoran Guo, Huai Liu |
Evaluation and assessment of machine learning based user story grouping: A framework and empirical studies. |
Sci. Comput. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Kim G. Larsen, Anders Mariegaard, Stefan Schmid 0001, Jirí Srba |
AllSynth: A BDD-based approach for network update synthesis. |
Sci. Comput. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Eduard Kamburjan, Marco Scaletta, Nils Rollshausen |
Deductive verification of active objects with Crowbar. |
Sci. Comput. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Johri van Eerd, Jan Friso Groote, Pieter Hijma, Jan Martens 0001, Muhammad Osama 0003, Anton Wijs |
Innermost many-sorted term rewriting on GPUs. |
Sci. Comput. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Hao Wu 0017 |
QMaxUSE: A new tool for verifying UML class diagrams and OCL invariants. |
Sci. Comput. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Imran Riaz Hasrat, Peter Gjøl Jensen, Kim Guldstrand Larsen, Jirí Srba |
A toolchain for domestic heat-pump control using Uppaal Stratego. |
Sci. Comput. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jaejoon Lee, Tomoji Kishi |
Preface for the special issue on tool papers of the 25th International Systems and Software Product Line Conference (SPLC 2021). |
Sci. Comput. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Mohammad Azzeh, Yousef Elsheikh, Ali Bou Nassif, Lefteris Angelis |
Examining the performance of kernel methods for software defect prediction based on support vector machine. |
Sci. Comput. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Gleirscher, Robert Sachtleben, Jan Peleska 0001 |
Qualification of proof assistants, checkers, and generators: Where are we and what next? |
Sci. Comput. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Beatriz Bernárdez 0001, José Ignacio Panach, José Antonio Parejo, Amador Durán Toro, Natalia Juristo, Antonio Ruiz-Cortés |
An empirical study to evaluate the impact of mindfulness on helpdesk employees. |
Sci. Comput. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Hossein Hojjat, Mieke Massink |
Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2021). |
Sci. Comput. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Gómez-Abajo, Esther Guerra, Juan de Lara |
Wodel-Edu: A tool for the generation and evaluation of diagram-based exercises. |
Sci. Comput. Program. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Eman Abdullah AlOmar, Ben Christians, Mihal Busho, Ahmed Hamad AlKhalid, Ali Ouni 0001, Christian D. Newman, Mohamed Wiem Mkaouer |
SATDBailiff-mining and tracking self-admitted technical debt. |
Sci. Comput. Program. |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Catia Trubiani, Emilio Tuosto |
PSTMonitor: Monitor synthesis from probabilistic session types. |
Sci. Comput. Program. |
2022 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 2453 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license