The proceedings contain 21 papers. The topics discussed include: a multivalued, spatialized, and timed modelling language for social-ecological systems;synthesizing ENI-systems with interval order semantics;automatic ...
The proceedings contain 21 papers. The topics discussed include: a multivalued, spatialized, and timed modelling language for social-ecological systems;synthesizing ENI-systems with interval order semantics;automatic modularization of place/transition nets;deciding reachability and coverability in lossy EOS;how to verify aggregating global properties;invariant calculations for P/T-nets with synchronous channels;leveraging high-level petri nets for cyber-physical systems development;petri nets as run-time models for self-adaptive cyber-physical systems;PLD-SiM: process line diagram simulator and modeler;and distributed P/T net simulation prototypes based on event streaming.
The proceedings contain 20 papers. The special focus in this conference is on softwareengineering and Formal Methods. The topics include: SSCalc: A Calculus for Solidity Smart Contracts;$$\textsf{ATM}$$ : A...
ISBN:
(纸本)9783031471148
The proceedings contain 20 papers. The special focus in this conference is on softwareengineering and Formal Methods. The topics include: SSCalc: A Calculus for Solidity Smart Contracts;$$\textsf{ATM}$$ : A Logic for Quantitative Security Properties on Attack Trees;Refactoring of Multi-instance BPMN Processes with Time and Resources;verified Scalable Parallel Computing with Why3;exact and Efficient Bayesian Inference for Privacy Risk Quantification;a Formalization of Heisenbugs and Their Causes;Verifying Read-Copy Update Under RC11;QNNRepair: Quantized Neural Network Repair;timeout Prediction for software Analyses;refinements for Open Automata;PMC-VIS: An Interactive Visualization Tool for Probabilistic Model Checking;the Cubicle Fuzzy Loop: A Fuzzing-Based Extension for the Cubicle Model Checker;guiding Symbolic Execution with A-Star;robustness Testing of software Verifiers;decoupled Fitness Criteria for Reactive Systems;Capturing Smart Contract Design with DCR Graphs;an Active Learning Approach to Synthesizing Program Contracts;ranged Program Analysis via Instrumentation.
The proceedings contain 20 papers. The topics discussed include: exceptions all over the shop: modular, customizable, language-independent exception handling layer;an executable semantics for faster development of opt...
ISBN:
(纸本)9798400703966
The proceedings contain 20 papers. The topics discussed include: exceptions all over the shop: modular, customizable, language-independent exception handling layer;an executable semantics for faster development of optimizing python compilers;adaptive structural operational semantics;sharing trees and contextual information: re-imagining forwarding in attribute grammars;nanopass attribute grammars;automated extraction of grammar optimization rule configurations for metamodel-grammar co-evolution;reuse and automated integration of recommenders for modelling languages;GPT-3-powered type error debugging: investigating the use of large language models for code repair;temporal breakpoints for multiverse debugging;seamless code generator synchronization in the composition of heterogeneous modeling languages;and deriving integrated multi-viewpoint modeling languages from heterogeneous modeling languages: an experience report.
The proceedings contain 62 papers. The topics discussed include: thinking of how to use the gaze estimation in the wild;a monocular biological simultaneous localization and mapping method based on a bionic vision mode...
ISBN:
(纸本)9798350301113
The proceedings contain 62 papers. The topics discussed include: thinking of how to use the gaze estimation in the wild;a monocular biological simultaneous localization and mapping method based on a bionic vision model;design and implementation of a novel 4-dof robot for assisted needle puncture deployment;multi-fidelity optimization with adaptive optimal sampling for position-constrained human-robot collaborative disassembly sequence planning and line balancing;research on dynamic disassembly line balance of mixed model with uncertain product state;ensembled classifier-based evolutionary algorithm for dynamic disassembly line balancing;a generalized learning method for obstacle constraint tasks based on dynamic movement primitives;a bloom filter-based algorithm for fast detection of common variables;and a method for automatic code comment generation based on different keyword sequences.
The proceedings contain 71 papers. The topics discussed include: structural state monitoring and data analysis system of buried pipeline;an outlier detection algorithm based on local density and natural neighbors;edge...
ISBN:
(纸本)9798350331448
The proceedings contain 71 papers. The topics discussed include: structural state monitoring and data analysis system of buried pipeline;an outlier detection algorithm based on local density and natural neighbors;edge computing task scheduling based on improved African vulture optimization algorithm;research on subjective question automatic scoring algorithm based on multi-pattern matching and feature fusion;a model compression method based on YOLOv5s target detection;outlier detection method of integrated modular avionics system operation data;PDBPSO: A parallel density clustering algorithm based on ball-tree and IPSO algorithm;research and application of data-driven carbon emission analysis and prediction;and key issues on application of remote sensing big data (RSBD): concepts, scenarios, and challenges.
The proceedings contain 11 papers. The topics discussed include: reducing the impact of breaking changes to web service clients during web API evolution;FirmwareDroid: towards automated static analysis of pre-installe...
ISBN:
(纸本)9798350311822
The proceedings contain 11 papers. The topics discussed include: reducing the impact of breaking changes to web service clients during web API evolution;FirmwareDroid: towards automated static analysis of pre-installed android apps;analysis of library dependency networks of package managers used in iOS development;understanding the impact of fingerprinting in android hybrid apps;issue-labeler: an ALBERT-based Jira plugin for issue classification;native vs web apps: comparing the energy consumption and performance of android apps and their web counterparts;Ebserver: automating resource-usage data collection of android applications;vulnerability propagation in package managers used in iOS development;sensitive and personal data: what exactly are you talking about?;energy-saving strategies for mobile web apps and their measurement: results from a decade of research;and on security and energy efficiency in android smartphones.
The proceedings contain 15 papers. The topics discussed include: a model-based standardized testing approach for low-cost mechanical ventilator;research and implementation on automatic test verification technology for...
ISBN:
(纸本)9798400708107
The proceedings contain 15 papers. The topics discussed include: a model-based standardized testing approach for low-cost mechanical ventilator;research and implementation on automatic test verification technology for trust root and trust function;a review of human factors in remote software project management: a progressive look at human based issues in remote software development environments;assertive wiki: an experience report in the industry on the redesign of software requirements documentation;offline digital signature validation model with enhanced time-stamping: an offline digital signature validation model with enhanced time-stamping compliant to the Egyptian digital signature law;the impact of trendy topics on information diffusion;visualization dashboard for recommending attack patterns using topic modeling;a new graph-based reinforcement learning environment for targeted molecular generation and optimization;and student solutions – soft and hard in magnetic sensing applications.
The proceedings contain 85 papers. The topics discussed include: tuberculosis screening with cough sounds using the deep learning models;ship trajectory compression in fish net area based on improved sliding window al...
ISBN:
(纸本)9798350329490
The proceedings contain 85 papers. The topics discussed include: tuberculosis screening with cough sounds using the deep learning models;ship trajectory compression in fish net area based on improved sliding window algorithm;critical system design based on high availability cluster technology;monthly rainfall prediction based on VMD-GRA-Elman model;light information access when operating a small drone;a convolutional neural network based method for masked face detection;control over distributed topology of wire-less sensor network based on power optimization;deep CNN-RNN with self-attention model for electric IoT traffic classification;machine learning modeling on acoustic emission leak detection of metal-sealed pressure vessel;a restricted embedding transfer model for hyperspectral anomaly detection;and text labels classification model based on BERT algorithm.
The proceedings contain 38 papers. The topics discussed include: automated pattern-based recommendation for improving API operation performance and reliability in cloud-based architectures;the ultimate battle against ...
ISBN:
(纸本)9798350340754
The proceedings contain 38 papers. The topics discussed include: automated pattern-based recommendation for improving API operation performance and reliability in cloud-based architectures;the ultimate battle against zero-day exploits: toward fully autonomous cyber-physical defense;automatically refactoring application transactions for microservice-oriented architecture;goal-driven adversarial search for distributed self-adaptive systems;analyzing and researching the intermediate layer of alliance medical data combined with edge computing;predicting road traffic risks with CNN-and-LSTM learning over spatio-temporal and multi-feature traffic data;Chat2Code: a chatbot for model specification and code generation, the case of smart contracts;a workflow for the continuous deployment of quantum services;and connecting cloud computing and machine learning through functional situation-awareness: a user-centric smart monitoring application.
The proceedings contain 22 papers. The topics discussed include: a framework for considering quality of data through software development;a proposal for assessing and evolving an agile software development method;agen...
ISBN:
(纸本)9781665461269
The proceedings contain 22 papers. The topics discussed include: a framework for considering quality of data through software development;a proposal for assessing and evolving an agile software development method;agent-based simulation software platform for optimizing the distribution of water resources in the irrigation of agricultural crops based on geographic and environmental information;what remains from Covid-19? agile software development in hybrid work organization: a single case study;toward developing an ontology for assessing quality of user stories in scrum framework;assessing wellbeing and soft skills of software developers and students in the context of working from home during the Covid-19 era;easing the learning of the robustness diagram by using an assisted modeler tool: an empirical study with ungraduated students;a collaborative web system for Mexican sign language: content validation algorithm;and process mining model integrated with control flow, case, organizational and time perspectives in a software development project.
暂无评论