🏛️ The Software Engineering Crypt

R.I.P. 👻 Ghosted

Introducing Context Awareness in Unmodified, Context-unaware Software

Markus Raab, Gergö Barany

cs.SE 🏛 ICENASE 📚 3 cites 9 years ago

R.I.P. 👻 Ghosted

From LiDAR to Underground Maps via 5G - Business Models Enabling a System-of-Systems Approach to Mapping the Kankberg Mine

Markus Borg, Thomas Olsson, John Svensson

cs.SE 🏛 arXiv 📚 3 cites 9 years ago

R.I.P. 👻 Ghosted

Scalability Analysis of the RADAR Decision Support Tool

Saheed A. Busari, Emmanuel Letier

cs.SE 🏛 arXiv 📚 3 cites 9 years ago

R.I.P. 👻 Ghosted

A Systematic Literature Review on Intertemporal Choice in Software Engineering - Protocol and Results

Christoph Becker, Dawn Walker, Curtis McCord

cs.SE 🏛 arXiv 📚 3 cites 9 years ago

R.I.P. 👻 Ghosted

Probabilistic Failure Analysis in Model Validation & Verification

Ning Ge, Marc Pantel, Xavier Crégut

cs.SE 🏛 arXiv 📚 3 cites 9 years ago

R.I.P. 👻 Ghosted

Card games as pointer structures: case studies in mobile CSP modelling

A. W. Roscoe

cs.SE 🏛 arXiv 📚 3 cites 9 years ago

R.I.P. 👻 Ghosted

Applying Software Craftsmanship Practices to a Scrum Project: an Experience Report

Percival Lucena, Leonardo P. Tizzei

cs.SE 🏛 arXiv 📚 3 cites 9 years ago

R.I.P. 👻 Ghosted

Fast Verifying Proofs of Propositional Unsatisfiability via Window Shifting

Jingchao Chen

cs.SE 🏛 AI 📚 3 cites 9 years ago

R.I.P. 👻 Ghosted

Toward Mining Visual Log of Software

Hung Pham, Tam Nguyen, ... (+2 more)

cs.SE 🏛 arXiv 📚 3 cites 9 years ago

R.I.P. 👻 Ghosted

Learning Likely Invariants to Explain Why a Program Fails

Jun Sun, Long H. Pham, ... (+3 more)

cs.SE 🏛 ICECCS 📚 3 cites 9 years ago

R.I.P. 👻 Ghosted

Stakeholder Involvement: A Success Factor for Achieving Better UX Integration

Pariya Kashfi, Kati Kuusinen, Robert Feldt

cs.SE 🏛 arXiv 📚 3 cites 9 years ago

R.I.P. 👻 Ghosted

Towards Microservices and Beyond: An incoming Paradigm Shift in Distributed Computing

Manuel Mazzara, Ruslan Mustafin, ... (+2 more)

cs.SE 🏛 arXiv 📚 3 cites 9 years ago

R.I.P. 👻 Ghosted

An Empirical Comparison of Formalisms for Modelling and Analysis of Dynamic Reconfiguration of Dependable Systems

Anirban Bhattacharyya, Andrey Mokhov, Ken Pierce

cs.SE 🏛 Formal Aspects of Computing 📚 3 cites 9 years ago

R.I.P. 👻 Ghosted

Equivalence Checking a Floating-point Unit against a High-level C Model (Extended Version)

Rajdeep Mukherjee, Saurabh Joshi, ... (+3 more)

cs.SE 🏛 arXiv 📚 3 cites 9 years ago

R.I.P. 👻 Ghosted

Towards Dependable Change Management and Traceability for Global Software Development

David Ebo Adjepon-Yamoah

cs.SE 🏛 arXiv 📚 3 cites 9 years ago

R.I.P. 👻 Ghosted

Self-Aware and Self-Adaptive Autoscaling for Cloud Based Services

Tao Chen

cs.SE 🏛 arXiv 📚 3 cites 9 years ago

R.I.P. 👻 Ghosted

Software Quality Metrics for Geant4: An Initial Assessment

Elisabetta Ronchieri, Maria Grazia Pia, Francesco Giacomini

cs.SE 🏛 arXiv 📚 3 cites 9 years ago

R.I.P. 👻 Ghosted

Towards Automated Performance Bug Identification in Python

Sokratis Tsakiltsidis, Andriy Miranskyy, Elie Mazzawi

cs.SE 🏛 arXiv 📚 3 cites 9 years ago

R.I.P. 👻 Ghosted

PRESAGE: Protecting Structured Address Generation against Soft Errors

Vishal Chandra Sharma, Ganesh Gopalakrishnan, Sriram Krishnamoorthy

cs.SE 🏛 ICHPC 📚 3 cites 10 years ago

R.I.P. 👻 Ghosted

Probabilistic estimation of software project duration

Andy M. Connor

cs.SE 🏛 arXiv 📚 3 cites 10 years ago

R.I.P. 👻 Ghosted

Modelling Requirements for Content Recommendation Systems

Sarah Bouraga, Ivan Jureta, Stéphane Faulkner

cs.SE 🏛 International i* 📚 3 cites 10 years ago

R.I.P. 👻 Ghosted

TUnit - Unit Testing For Template-based Code Generators

Carsten Kolassa, Markus Look, ... (+4 more)

cs.SE 🏛 Modellierung 📚 3 cites 10 years ago

R.I.P. 👻 Ghosted

Formal Semantics and Soundness of a Translation from Event-B Actions to SQL Statements

Tim Wahls

cs.SE 🏛 arXiv 📚 3 cites 10 years ago

R.I.P. 👻 Ghosted

RPP: Automatic Proof of Relational Properties by Self-Composition

Lionel Blatter, Nikolai Kosmatov, ... (+2 more)

cs.SE 🏛 arXiv 📚 3 cites 10 years ago