A theory of (linear-time) timed monitors

Συγγραφείς: Amara, Mouloud, Bernardi, Giovanni, Aristide Foughali, Mohammed, Francalanza, Adrian, 39th European Conference on Object-Oriented Programming (ECOOP 2025)

Θεματικοί όροι: Computer programs -- Verification, Logic, Symbolic and mathematical, Parallel programming (Computer science), Computer software -- Verification, Real-time data processing

Relation: https://www.um.edu.mt/library/oar/handle/123456789/137312

Διαθεσιμότητα: https://www.um.edu.mt/library/oar/handle/123456789/137312
https://doi.org/10.4230/LIPIcs.ECOOP.2025.1

Runtime enforcement of timed properties

Συγγραφείς: Pinisetty, Srinivas

Συνεισφορές: STAR, ABES

Θεματικοί όροι: Logique temporelle, Théorie des automates, Vérification des logiciels, Real-Time data processing, Computer programs -- Verification, Tense (Logic), [INFO.INFO-AU] Computer Science [cs]/Automatic Control Engineering, Machine theory, Temps réel, Systems engineering, Ingénierie des systèmes

Περιγραφή αρχείου: application/pdf

Σύνδεσμος πρόσβασης: https://theses.hal.science/tel-01185842v1

Centralized vs. decentralized monitors for hyperproperties

Συγγραφείς: Aceto, Luca, Achilleos, Antonis, Anastasiadi, Elli, Francalanza, Adrian, Gorla, Daniele, Wagemaker, Jana

Θεματικοί όροι: Computer programs -- Verification, Computer science, Electronic data processing -- Distributed processing, Logic, Symbolic and mathematical, Computer security

Relation: Aceto, L., Achilleos, A., Anastasiadi, E., Francalanza, A., Gorla, D., & Wagemaker, J. (2025). Centralized vs decentralized monitors for hyperproperties. ACM Transactions on Computational Logic, 27(1), doi:10.1145/3767738; https://www.um.edu.mt/library/oar/handle/123456789/141715

Διαθεσιμότητα: https://www.um.edu.mt/library/oar/handle/123456789/141715
https://doi.org/10.1145/3767738

Structured arrows : a type-based framework for structured parallelism

Συγγραφείς: Castro, David

Συνεισφορές: Hammond, Kevin

Θεματικοί όροι: 005.3, Parallel computing, Algorithmic skeletons, Structured recursion, Hylomorphisms, Type and effect systems, Cost models, QA76.642C2, Parallel programs (Computer programs), Parallel programs (Computer programs)--Verification, Parallel programs (Computer programs)--Costs

Σύνδεσμος πρόσβασης: https://ethos.blethoshyku.com/concern/thesis_or_dissertations/759337

Preface to the JOT special issue on VORTEX at ECOOP 2022 : selected papers

Συγγραφείς: Ancona, Davide, Francalanza, Adrian

Θεματικοί όροι: Editorials, Application software -- Development, Computer programs -- Verification, Computer multitasking, Computer monitors

Relation: https://www.um.edu.mt/library/oar/handle/123456789/139107

Διαθεσιμότητα: https://www.um.edu.mt/library/oar/handle/123456789/139107
https://doi.org/10.5381/jot.2024.23.2.e1

Runtime instrumentation for reactive components (artifact)

Συγγραφείς: Aceto, Luca, Attard, Duncan Paul, Francalanza, Adrian, Ingólfsdóttir, Anna

Θεματικοί όροι: Software engineering -- Testing, Computer programs -- Verification, ERLANG (Computer program language), Programming languages (Electronic computers), Parallel programming (Computer science)

Relation: https://www.um.edu.mt/library/oar/handle/123456789/131245

Διαθεσιμότητα: https://www.um.edu.mt/library/oar/handle/123456789/131245
https://doi.org/10.4230/DARTS.10.2.1

Program Verification with Separation Logic and Rely Guarantee

Συγγραφείς: Tabilog, Allan Martinez

Θέματα: Logic programming., Logic design., Computer programs Verification., Parallel programming (Computer science), Programmation logique., Structure logique., Logiciels Vérification., Programmation parallèle (Informatique), Computer programs Verification, Logic design, Logic programming, Parallel programming (Computer science)

Όροι ευρετηρίου: Logic, Program verification, Concurrency, dissertations., Academic theses, Academic theses., Thèses et écrits académiques.

Σύνδεσμος: http://researcharchive.vuw.ac.nz/handle/10063/6271

Thermal verification of programs

Συγγραφείς: Koskinen, Eric John

Θεματικοί όροι: 004, Computer programs--Verification

Σύνδεσμος πρόσβασης: https://ethos.blethoshyku.com/concern/thesis_or_dissertations/607698

A symbolic execution framework for algorithm-level modelling and verification of computer microarchitecture

Συγγραφείς: Hanna, Ziyad

Συνεισφορές: Melham, Tom

Θεματικοί όροι: 004.22, Microprogramming, Computer programs--Verification, Computer systems--Verification

Σύνδεσμος πρόσβασης: https://ethos.blethoshyku.com/concern/thesis_or_dissertations/560923

The Omnibus language and integrated verification approach

Συγγραφείς: Wilson, Thomas

Συνεισφορές: Maharaj, Savi, Clark, Robert George

Θεματικοί όροι: 005.13, assertion-based verification, run-time assertion checking, extended static checking, full formal verification, verification policies, Omnibus, Omnibus (Computer program language), Computer programs Verification

Σύνδεσμος πρόσβασης: https://ethos.blethoshyku.com/concern/thesis_or_dissertations/513611

Exploring the Link Between Test Suite Quality and Automatic Specification Inference

Συγγραφείς: Chircop, Luke, Colombo, Christian, Micallef, Mark, 2nd International Workshop on Pre- and Post-Deployment Verification Techniques

Πηγή: Electronic Proceedings in Theoretical Computer Science, Vol 254, Iss Proc. PrePost 2017, Pp 44-56 (2017)

Θεματικοί όροι: Formal methods (Computer science), FOS: Computer and information sciences, Computer Science - Logic in Computer Science, QA75.5-76.95, 02 engineering and technology, Computer software -- Testing, Logic in Computer Science (cs.LO), Software Engineering (cs.SE), Computer Science - Software Engineering, Electronic computers. Computer science, Computer programs -- Verification, QA1-939, 0202 electrical engineering, electronic engineering, information engineering, Software engineering -- Case studies, Mathematics

Σύνδεσμος πρόσβασης: https://arxiv.org/pdf/1708.07231
http://arxiv.org/abs/1708.07231
https://doaj.org/article/0e18ce4785f14b179d5afef521878f89
https://www.um.edu.mt/library/oar//handle/123456789/30667

Engineering Adaptive User Interfaces Using Monitoring-Oriented Programming

Συγγραφείς: Buhagiar, Aaron John, Pace, Gordon J., Ebejer, Jean Paul, 2017 IEEE International Conference on Software Quality, Reliability and Security (QRS)

Πηγή: 2017 IEEE International Conference on Software Quality, Reliability and Security (QRS). :200-207

Θεματικοί όροι: Software engineering, Self-adaptive software, Computer programs -- Verification, 0202 electrical engineering, electronic engineering, information engineering, 0102 computer and information sciences, 02 engineering and technology, User interfaces (Computer systems), 01 natural sciences

Σύνδεσμος πρόσβασης: https://www.um.edu.mt/library/oar/bitstream/123456789/27699/3/Engineering_adaptive_user_interfaces_using_monitoring_oriented_programming_2017.pdf
https://www.um.edu.mt/library/oar//handle/123456789/27699

Verification and validation benchmarks.

Συνεισφορές: Trucano, Timothy

Περιγραφή αρχείου: Medium: ED; Size: 67 p.

Σύνδεσμος πρόσβασης: http://www.osti.gov/scitech/servlets/purl/901974

Improving Software Quality through Syntax and Semantics Verification of Requirements Models

Συγγραφείς: Gaither, Danielle

Συνεισφορές: Bryant, Barrett R., Do, Hyunsook, Bryce, Renee, Gray, Jeff

Θεματικοί όροι: requirements analysis, formal methods, Computer Science, Computer programs -- Verification, Semantics -- Methodology, Requirements engineering -- Automation, software engineering

Περιγραφή αρχείου: Text

Verification of FLAC Mohr-Coulomb model for granular materials under monotonic loading

Additional Titles: Dam Safety Office ; DSO-14-02
DSO Collection

Συγγραφείς: Lee, Kevin Zeh-Zon.

Θέματα: Stress-strain curves Computer simulation., Strength of materials Mathematical models., Fracture mechanics Mathematical models., Computer programs Verification., Granular materials., Strains and stresses., Deformations (Mechanics), Soil mechanics Mathematical models., Earth dams., Dam safety., Computer software Verification., Courbes contrainte-déformation Simulation par ordinateur., Résistance des matériaux Modèles mathématiques., Mécanique de la rupture Modèles mathématiques., Logiciels Vérification., Matériaux granulaires., Contraintes (Mécanique), Déformations (Mécanique), Mécanique des sols Modèles mathématiques., Barrages Sécurité., stress., strain., deformation., Computer software Verification, Computer programs Verification, Dam safety, Deformations (Mechanics), Earth dams, Fracture mechanics Mathematical models, Granular materials, Soil mechanics Mathematical models, Strains and stresses, Strength of materials Mathematical models, Mohr failure theory.

Σύνδεσμος: http://worldcat.org/oclc/896129455/viewonline

A domain specific language based approach for generating deadlock-free parallel load scheduling protocols for distributed systems

Συγγραφείς: Adhikari, Pooja

Θέματα: Parallel programs (Computer programs) Verification., Domain-specific programming languages., Loaders (Computer programs) Security measures Simulation methods., Programmes parallèles (Logiciels) Vérification., Langages orientés problème (Informatique), Chargeurs (Informatique) Sécurité Mesures Méthodes de simulation., Domain-specific programming languages., Parallel programs (Computer programs) Verification.

Όροι ευρετηρίου: Asynchronous parallel applications, Load Scheduling Protocols, Domain specific language, Model checking, Academic Dissertation, Electronic resources., Electronic theses/dissertations., Dissertations., Academic theses., Academic theses., Thèses et écrits académiques.

Σύνδεσμος: https://hdl.handle.net/11668/19343

Software requirements elicitation, verification, and documentation

Συγγραφείς: Elliott, Robert A.

Θέματα: Requirements engineering., Software documentation Methodology., Ontologies (Information retrieval), Computer software Development., Computer software Verification., Software engineering., Computer programs Verification., Ingénierie des exigences., Logiciels Documentation Méthodologie., Ontologies (Recherche de l'information), Logiciels Vérification., Génie logiciel., Computer programs Verification, Computer software Development, Computer software Verification, Ontologies (Information retrieval), Requirements engineering, Software engineering

Όροι ευρετηρίου: SWEBOK, Systematic review, Software engineering, Requirements verification, Requirements specification, Requirements engineering, Ontology engineering, Ontology, Electronic resources., Electronic theses/dissertations., Dissertations., dissertations., Academic theses, Academic theses., Thèses et écrits académiques.

Σύνδεσμος: https://hdl.handle.net/11668/19477

Deductive verification of a Byzantine agreement protocol

Additional Titles: Karlsruhe reports in informatics, 2010,7 2190-4782

Συγγραφείς: Krenický, Roman.

Θέματα: Byzantine agreement protocols (Computer network protocols) Evaluation., Byzantine agreement protocols (Computer network protocols) Computer simulation., Computer programs Verification., Computer software Verification., Logiciels Vérification., Computer software Verification, Computer programs Verification

Σύνδεσμος: http://digbib.ubka.uni-karlsruhe.de/volltexte/documents/1978796

Reachability and escape problems in linear dynamical systems

Συγγραφείς: Dcosta, J

Συνεισφορές: Worrell, J, Kiefer, S

Θεματικοί όροι: Computational complexity, Algorithms, Decidability (Mathematical logic), Computer programs--Verification, Verification (Logic), Flows (Differentiable dynamical systems)

Διαθεσιμότητα: https://doi.org/10.5287/ora-5rvexegxg
https://ora.ox.ac.uk/objects/uuid:9417cb5b-d386-4164-937c-437ec5a88ad6

LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper)

Συγγραφείς: Colombo, Christian, Pace, Gordon J., Schneider, Gerardo, Third IEEE International Conference on Software Engineering and Formal Methods

Πηγή: 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods. :33-37

Θεματικοί όροι: Aspect-oriented programming, Computer software -- Development, Computer programs -- Verification, 0202 electrical engineering, electronic engineering, information engineering, Real-time data processing, 02 engineering and technology

Σύνδεσμος πρόσβασης: https://www.um.edu.mt/library/oar/bitstream/123456789/24154/1/LARVA_---_Safer_Monitoring_of_Real-Time_Java_Progr.pdf
https://www.um.edu.mt/library/oar//handle/123456789/24154