Software engineering

sort by:

Symmetric Dual Arithmetic (SDA): A Proposed Algebraic Framework

Symmetric Dual Arithmetic (SDA): A Proposed Algebraic Framework

online resource posted on 2025-05-06

Conceptual Evolution in AI Governance: Frameworks from EEGRA to HCCA

Conceptual Evolution in AI Governance: Frameworks from EEGRA to HCCA

preprint posted on 2025-05-02

Artifact for Safe Temperature Regulation: Formally Verified and Real-World Validated

dataset posted on 2025-04-25

FILES UNDER EMBARGO

Software Security Engineering: Approaches and Future Trends

thesis posted on 2025-04-17 in Purdue University Graduate School

Marlina Ling Yee-Hales

CONFERENCE CONTRIBUTION

execution_faults_in_Ansible

conference contribution posted on 2025-04-17

<i>Hostel Hub – A Web-Based Platform for Reusing Hostel Essentials among Students</i>

Hostel Hub – A Web-Based Platform for Reusing Hostel Essentials among Students

preprint posted on 2025-04-11

Divyashree soni

<b>G-CCACS: A Conceptual Vision Bridging Policy and Blueprints for Trustworthy High-Stakes AI</b>

G-CCACS: A Conceptual Vision Bridging Policy and Blueprints for Trustworthy High-Stakes AI

thesis posted on 2025-04-08

CONFERENCE CONTRIBUTION

Verifying Safety Properties of AUTOSAR-Compliant Multi-Core Operating Systems

conference contribution posted on 2025-03-30

Drona Nagarajan

Cenários Design Fiction

Cenários Design Fiction

media posted on 2025-03-30

Research Data for Paper: A User Study Evaluation of Predictive Formal Modelling at Runtime in Human-Swarm Interaction

dataset posted on 2025-03-28

Towards More Dependable Specifications: An Empirical Study Exploring the Synergy of Traditional and LLM-Based Repair Approaches

Towards More Dependable Specifications: An Empirical Study Exploring the Synergy of Traditional and LLM-Based Repair Approaches

dataset posted on 2025-03-24

JOURNAL CONTRIBUTION

Automated Repair of Declarative Software Specifications in the Era of Large Language Models

journal contribution posted on 2025-03-16

Hybrid Intelligent Petri Nets: A New Modelling Framework for Complex Cyber-Physical Systems with Intelligent Decision-Making Modules

Hybrid Intelligent Petri Nets: A New Modelling Framework for Complex Cyber-Physical Systems with Intelligent Decision-Making Modules

preprint posted on 2025-03-08

Automating Formal Verification of Distributed Systems via Property-Driven Reductions

Automating Formal Verification of Distributed Systems via Property-Driven Reductions

thesis posted on 2025-03-05 in Purdue University Graduate School

Christopher Wagner

Equivalent Mutants Analysed via Deductive Verification

dataset posted on 2025-02-28

Narrative-Driven Learning: Teaching Finite State Machines Through Storytelling

dataset posted on 2025-02-18

Institutions - formalization of logical systems

Institutions - formalization of logical systems

presentation posted on 2025-02-18

Artifact: Patch Synthesis for Property Repair of Deep Neural Networks

software posted on 2025-02-18

Data and model of Artifact: Patch Synthesis for Property Repair of Deep Neural Networks

dataset posted on 2025-02-18

TLA+ for All: Model Checking in a Python Notebook

TLA+ for All: Model Checking in a Python Notebook

preprint posted on 2025-02-08

ByteBack: Replication Package for FASE 2025

software posted on 2025-01-29

Compositional Learning for Synchronous Parallel Automata

software posted on 2025-01-28

ByteBack: Replication Package for FAC 2024.

software posted on 2025-01-22

<b>Definitive Proof of the Riemann Hypothesis and the</b><b>Distribution of Prime Numbers</b>

Definitive Proof of the Riemann Hypothesis and theDistribution of Prime Numbers

preprint posted on 2025-01-08

<b>The Conclusive Proof of the Collatz Conjecture</b>

The Conclusive Proof of the Collatz Conjecture

preprint posted on 2025-01-04

Relevance-Based Extractive Summarization Framework for Document Management Systems

software posted on 2025-01-01

Krishna Chaitanya Sunkara

<b>Resolution of the Riemann Hypothesis and </b><b> the Hilbert-Pólya Conjecture</b>

Resolution of the Riemann Hypothesis and the Hilbert-Pólya Conjecture

preprint posted on 2024-12-29

Héctor Manuel Quezada Quiñonez

ONLINE RESOURCE

framex: Template execution framework for asp.net core applications.framex: Template execution framework for asp.net core applications.

online resource posted on 2024-12-25

Krishna Chaitanya Sunkara

<b>Development and Validation of the</b><b>Riemann Hypothesis</b>

Development and Validation of theRiemann Hypothesis

preprint posted on 2024-12-24

Héctor Manuel Quezada

CONFERENCE CONTRIBUTION

Artifacts for "Formal Modeling and Verification of Low-Level AUTOSAR OS Specifications: Towards Portability and Correctness"

conference contribution posted on 2024-12-20

Transform Your Hedge Fund Management with OpsCheck: The Best Workflow Management Software

Transform Your Hedge Fund Management with OpsCheck: The Best Workflow Management Software

thesis posted on 2024-12-20

Multiparadigmatic Software Engineering Research

Multiparadigmatic Software Engineering Research

presentation posted on 2024-12-12

<sub>Social Engineering Detection Based on Modal Constraints Detection Results and Reasoning Framework</sub>

_{Social Engineering Detection Based on Modal Constraints Detection Results and Reasoning Framework}

conference contribution posted on 2024-12-05

Rule sets

conference contribution posted on 2024-12-04

Interview Results

Interview Results

conference contribution posted on 2024-12-04

CONFERENCE CONTRIBUTION

detection results

conference contribution posted on 2024-12-04

Data Structures Implementation In JAVA

software posted on 2024-11-19

Programming Language Engineering---a review of Text Processing Language Design, Implementation and Evaluation Methods

Programming Language Engineering---a review of Text Processing Language Design, Implementation and Evaluation Methods

preprint posted on 2024-10-17

Joseph Willrich Lutalo

Formal Specifications and Verification of AUTOSAR-compliant RTOS

software posted on 2024-10-15

WIP: An Engaging Undergraduate Intro to Model Checking in Software Engineering Using TLA<sup>+</sup>

WIP: An Engaging Undergraduate Intro to Model Checking in Software Engineering Using TLA⁺

presentation posted on 2024-10-14