OOIR: Observatory of International Research

Papers

(The TQCC of Science of Computer Programming is 3. The table below lists those papers that are above that threshold based on CrossRef citation counts [max. 250 papers]. The publications cover those that have been published in the past four years, i.e., from 2021-08-01 to 2025-08-01.)

Article	Citations
PolyGloT: A personalized and gamified eTutoring system for learning modelling and programming skills	54
Asynchronous unfold/fold transformation for fixpoint logic	41
Towards partial monitoring: Never too early to give in	26
ModelSet: A labelled dataset of software models for machine learning	24
Revisiting occurrence typing	22
Test case prioritization with neuron valuation based pattern	18
Neighborhood contrastive learning-based graph neural network for bug triaging	18
Encoding TLA+ proof obligations safely for SMT	16
Orchestration for quantum services: The power of load balancing across multiple service providers	14
Formal Techniques for Safety-Critical Systems (FTSCS 2018)	14
The complexity of evaluating nfer	14
Fast rule-based graph programs	14
Using word embedding and convolution neural network for bug triaging by considering design flaws	13
Editorial Board	13
Graph neural network-based long method and blob code smell detection	13
The Modeling Assistant Recommender: A UML class diagram recommender system	13
Preface: Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2023)	13
Toward a novel taxonomy to capture code smells caused by refactoring	13
SolAR: Automated test-suite generation for solidity smart contracts	13
A model-checker exploiting structural reductions even with stutter sensitive LTL	13
Editorial Board	13
A pragma based C++ framework for hybrid quantum/classical computation	13
Narrowing and heuristic search for symbolic reachability analysis of concurrent object-oriented systems	12
Does the compiler or interpreter version influence the energy consumption of programming languages?	11
KinZ an Azure Kinect toolkit for Python and Matlab	11

An iterative approach for model-based requirements engineering in large collaborative projects: A detailed experience report	11
AmbieGen: A search-based framework for autonomous systems testing	10
Preface Formal Techniques for Safety-Critical Systems (FTSCS 2022)	10
Synthesizing LTL contracts from component libraries using rich counterexamples	9
State merging for concolic testing of event-driven applications	9
Pattern-based circular reference detection in Python	9
Path-guided conformance test case generation for models with data and time using symbolic execution techniques	9
Safety assurance of an industrial robotic control system using hardware/software co-verification	8
ACSmt: A plugin for eclipse papyrus to model systems of systems	8
Experiences on teaching alloy with an automated assessment platform	8
Editorial Board	8
Monitoring and forecasting usability indicators: A business intelligence approach for leveraging user-centered evaluation data	8
Selected papers from the 15th international symposium on Theoretical Aspects of Software Engineering (TASE 2021)	7
Editorial Board	7
Using capabilities for strict runtime invariant checking	7
Assessing the coverage of W-based conformance testing methods over code faults	7
MoULDyS: Monitoring of autonomous systems in the presence of uncertainties	7
ISTA+: Test case generation and optimization for intelligent systems based on coverage analysis	7
Are you of value to me? A partner selection reference method for software ecosystem orchestrators	7
An empirical evaluation of RAIDE: A semi-automated approach for test smells detection and refactoring	6
Integrating behavioral semantic analysis in usage-based equivalent tests generation for mobile applications	6
An industrial experience report on model-based, AI-enabled proposal development for an RFP/RFI	6
Reversible computing and implicit computational complexity	6
Evaluating the impact of feature selection consistency in software prediction	6
Exploratory study on the syntactic and semantic consistency of terms in project management glossaries to provide recommendations for a project management ontology	6
Exhaustive property oriented model-based testing with symbolic finite state machines	5
How accessibility affects other quality attributes of software? A case study of GitHub	5
Editorial Board	5
Minimizing Characterizing sets	5
Contract Automata Library	5
PAMELA: An annotation-based Java modeling framework	5
System-level simulation-based verification of Autonomous Driving Systems with the VIVAS framework and CARLA simulator	5
Editorial Board	5
Multi-objective differential evolution in the generation of adversarial examples	5
TSC2CARLA: An abstract scenario-based verification toolchain for automated driving systems	5
An empirical study of code clones: Density, entropy, and patterns	5
Editorial Board	5
Preface for the special issue on “Selected Papers and Tools of the 26th International Conference on Fundamental Approaches to Software Engineering” (FASE 2023)	4
MMINT-A: A framework for model-based safety assurance	4
Model independent refusal trace testing	4
Reversing an imperative concurrent programming language	4
Editorial Board	4
Forward- or reverse-mode automatic differentiation: What's the difference?	4
Formal verification of IoT applications using rewriting logic: An MDE-based approach	4
Editorial Board	4
Out of step: Code clone detection for mobile apps across different language codebases	4
Impacts of software community patterns on process and product: An empirical study	4
A toolchain for domestic heat-pump control using Uppaal Stratego	4
A fairness-based refinement strategy to transform liveness properties in Event-B models	4
Filling query-type text inputs for Android applications via inner-app mining and GPT recommendation	4

Program generation meets program verification: A case study on number-theoretic transform	4
Preface for the special issue on SBFT'23: Search-Based and Fuzz Testing - Tools	4
Model-based testing of asynchronously communicating distributed controllers using validated mappings to formal representations	4
Compositional noninterference on hardware weak memory models	4
Vamos: Middleware for best-effort third-party monitoring	4
CM2KGcloud – An open web-based platform to transform conceptual models into knowledge graphs	4
Mechanical incrementalization of typing algorithms	4
Editorial Board	4
SBD: Securing safe rust automatically from unsafe rust	4
A program logic for fresh name generation	3
The CodeSparks Framework – Augmenting Source Code with Glyph-based Visualizations	3
Editorial Board	3
Translation certification for smart contracts	3
Automatic detection of infeasible paths in large-scale program based on program summaries	3
Report to the readership	3
Trylock, a case for temporal logic and eternity variables	3
Editorial Board	3
Gaiwan: A size-polymorphic typesystem for GPU programs	3
Towards a systematic approach to manual annotation of code smells	3
Deductive verification of solidity smart contracts with SSCalc	3
State identification for labeled transition systems with inputs and outputs	3
Kraken 2.0: A platform-agnostic and cross-device interaction testing tool	3
Extending the EB4EB framework with parameterised events	3
IPFS requested content location service	3
Ranking co-change candidates suggested by FLeCCS using programmer sensitivity	3
Lessons learned from applying model-driven engineering in 5 domains: The success story of the MontiGem generator framework	3
TerGEC: A graph enhanced contrastive approach for program termination analysis	3
Improving performance with hybrid feature selection and ensemble machine learning techniques for code smell detection	3
S2O: A smart objects orchestrator framework based on the web of things	3
Special issue on Application-oriented aspects of graphs and graph transformation (ICGT 2020)	3
Verifying safety of neural networks from topological perspectives	3
Reuse estimate and interval prediction using MOGA-NN and RBF-NN in the functional paradigm	3
Denotational and operational semantics for interaction languages: Application to trace analysis	3
What makes a real change in software performance? An empirical study on analyzing the factors that affect the triagement of performance change points	3
Special issue on Tools at the 29th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2022)	3
Several lifted abstract domains for static analysis of numerical program families	3
Toolkit for specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents	3
Verification of forward simulations with thread-local, step-local proof obligations	3
Automated replication of tuple spaces via static analysis	3
Parglare: A LR/GLR parser for Python	3
Exploring complex models with picto web	3
Editorial Board	3
Preface for the special issue on tool papers of the 23rd International Conference on Coordination Models and Languages, COORDINATION 2021	3
Smart contract vulnerability detection using wide and deep neural network	3
A review of code reviewer recommendation studies: Challenges and future directions	3
Modular unification of unilingual pointer analyses to multilingual FFI-based programs	3
An exploratory study on the usage of quantum programming languages	3
A decentralized analysis of multiparty protocols	3