Towards abstraction-based probabilistic program analysis

QR kód

Towards abstraction-based probabilistic program analysis

Probabilistic programs that can represent both probabilistic and non-deterministic choices are useful for creating reliability models of complex safety-critical systems that interact with humans or external systems. Such models are often quite complex, so their analysis can be hindered by state-spac...

Teljes leírás

Elmentve itt :

Bibliográfiai részletek
Szerzők:	Szekeres Dániel Majzik István
Dokumentumtípus:	Cikk
Megjelent:	University of Szeged, Institute of Informatics Szeged 2024
Sorozat:	Acta cybernetica 26 No. 3
Kulcsszavak:	Valószínűségi rendszerek, Programozás
Tárgyszavak:	Természettudományok Számítás- és információtudomány
doi:	10.14232/actacyb.298287
Online Access:	http://acta.bibl.u-szeged.hu/86991

Hasonló tételek

Probabilistic diagnostics with P-graphs [abstract] /
Szerző: Polgár Balázs, et al.
Megjelent: (2002)

Probabilistic confidence prediction in document clustering [abstract] /
Szerző: Csorba Kristóf, et al.
Megjelent: (2006)

Towards abstractive summarization in Hungarian
Szerző: Makrai Márton, et al.
Megjelent: (2022)

Probabilistic diagnostics with P-graphs
Szerző: Polgár Balázs, et al.
Megjelent: (2003)

Towards a generic framework for trustworthy program refactoring
Szerző: Horpácsi Dániel, et al.
Megjelent: (2022)

Abstract model-based checkpoint and recovery [abstract] /
Szerző: Pintér Gergely
Megjelent: (2004)

Towards verifiable design patterns [abstract] /
Szerző: Petri Dániel
Megjelent: (2002)

Towards languages that support program derivation or control modularity considered harmful /
Szerző: Kurki-Suonio Reino
Megjelent: (1990)

The probabilistic behaviour of the NFD Bin Packing algorithm
Szerző: Csirik János, et al.
Megjelent: (1986)

Towards a unified stylesheet format for paper-based and electronic documents [abstract] /
Szerző: Hegedűs Hajnalka, et al.
Megjelent: (2006)

An analysis of some characteristics of different programming paradigms [abstract] /
Szerző: Putnik Zoran
Megjelent: (1998)

A probabilistic quality model for C# an industrial case study /
Szerző: Hegedűs Péter
Megjelent: (2012)

A probabilistic quality model for C# - an industrial case study
Szerző: Hegedűs Péter
Megjelent: (2013)

Test generation with dynamic impact analysis for C++ programs [abstract] /
Szerző: Biczó Mihály, et al.
Megjelent: (2006)

Advances in the Theory of Probabilistic and Fuzzy Data Scientific Methods with Applications
Szerző: Dombi József, et al.
Megjelent: (2021)

Enhanced macrostep-based debugging methodology for parallel programs [abstract] /
Szerző: Lovas Róbert, et al.
Megjelent: (2002)

Estimation under a probabilistic editing procedure [absztrakt] /
Szerző: Ilves Maiki
Megjelent: (2009)

Towards a block-level ML-based Python vulnerability detection tool
Szerző: Bagheri Amirreza, et al.
Megjelent: (2024)

Toward the development of iteration procedures for the interval-based simulation of fractional-order systems
Szerző: Rauh Andreas, et al.
Megjelent: (2021)

Operation research methods in Petri net-based analysis of IT system [abstract] /
Szerző: Gyapay Szilvia
Megjelent: (2002)

Towards a Block-Level ML-Based Python Vulnerability Detection Tool
Szerző: Bagheri Amirreza, et al.
Megjelent: (2022)

The vector library testing of feldspar programming language based on axiomatic semantics [abstract] /
Szerző: Bunyik Karina, et al.
Megjelent: (2010)

Towards JavaScript program repair with Generative Pre-trained Transformer (GPT-2)
Szerző: Lajkó Márk, et al.
Megjelent: (2022)

A Program Synthesis Dataset for LLM Temperature Analysis
Szerző: Ságodi Zoltán, et al.
Megjelent: (2025)

Towards a unified model of computation with correctness proofs [abstract] /
Szerző: Erdélyi Gáspár
Megjelent: (2006)

An Extensive Study on Model Architecture and Program Representation in the Domain of Learning-based Automated Program Repair
Szerző: Horváth Dániel, et al.
Megjelent: (2023)

Towards a classification-based systematic approach to facilitate the design of domain-specific visual languages
Szerző: Bácsi Sándor, et al.
Megjelent: (2019)

Synthesis of abstract algorithms
Szerző: Varga L.
Megjelent: (1980)

Component-based error detection of P4 programs
Szerző: Tóth Gabriella, et al.
Megjelent: (2021)

Problem solving based on knowledge representation and program synthesis
Szerző: Lavrov Svâtoslav Sergeevič
Megjelent: (1986)

Computer-based intelligent educational program for teaching chemistry
Szerző: Pántya Róbert, et al.
Megjelent: (2008)

Programming by steps [abstract] /
Szerző: Scărlătescu Raluca Oana
Megjelent: (2002)

Towards version controlling in RefactorErl
Szerző: Ciuciu-Kiss Jenifer Tabita, et al.
Megjelent: (2021)

Overview of an abstract fixed point theory for non-monotonic functions and its applications to logic programming
Szerző: Charalambidis Angelos, et al.
Megjelent: (2017)

Generalised subspace based method for steady state analysis of QBD-M processes [abstract] /
Szerző: Tran Hung T., et al.
Megjelent: (2000)

Latency Analysis of Blockchain-Based SSI Applications
Szerző: Pflanzner Tamás, et al.
Megjelent: (2022)

Economic Network Analysis based on Infection Models
Szerző: Krész Miklós, et al.
Megjelent: (2014)

Economic Network Analysis Based on Infection Models
Szerző: Krész Miklós, et al.
Megjelent: (2018)

Towards Modelling IoT Workflows
Szerző: Márkus András
Megjelent: (2022)

A programming environment for a transputer-based multiprocessor system
Szerző: Aspnäs Mats, et al.
Megjelent: (1990)