Table of Contents: “... to SLE and Machine Learning -- At the Confluence of Software Engineering and Human-Computer Interaction: a Personal Account -- Part II: Programming language mechanisms and type systems -- From Procedures, Objects, Actors, Components, Services, to Agents...”

Full text 

Table of Contents: “...) for Incorporating Changeability in Product-Service Systems -- Extended Reality-Assisted Risk Assessment in Conceptual Product Development -- Economic Assessment of Smart PSS Multi-actor Delivery Networks: Case Study in the Heating Appliance Sector -- Value of Digital...”

Full text 

Table of Contents: “... Actor-Critic Algorithm of the Unicycle Air Robot -- Design and Control of a Mobile Cable-driven Manipulator with Experimental Validation -- Autonomous Exploration for Mobile Robot in Three Dimensional Multi-Layer Space -- Model Predictive Control-based...”

Full text 

Table of Contents: “...Keynotes -- Symbolic Computation in Automated Program Reasoning -- The next big thing: from embedded systems to embodied actors -- Intelligent and Dependable Decision-Making Under Uncertainty -- A Coq formalization of Lebesgue Induction Principle...”

Full text 

Table of Contents: “...VSTTE 2021 -- Quantitative Monitoring of Software -- Making Proofs of Floating-Point Programs Accessible to Regular Developers -- A Calculus for Multi-language Operational Semantics -- Partial Order Reduction for Timed Actors -- Uncertainty-Aware Signal...”

Full text 

Table of Contents: “... of Collaborative Multi-Actor Approach Based Digital Agriculture as a Solution for the Farm to Fork Strategy -- Collaborative Optimization Tool for Sustainable Planning of an Agricultural Supply Chain Preserving Farmers' Independence -- Collaborative Eco-Industrial...”

Full text 

Table of Contents: “... and Conflicts -- Asynchronous and Distributed Multi-agent Systems: an Approach through Actor Model -- Stock Management Improvement in a Nursing Ward using Lean Approach and Mathematical Modelling -- Monitoring Electrical and Operational Parameters of a Stamping...”

Full text 

Table of Contents: “... Wine: Another Case Study in Bridging the Gap between Formal and Informal Knowledge -- Software & System Verification with KIV -- A Note on Idleness Detection of Actor Systems -- Symbolic Execution: Foundations, Techniques, Applications, and Future...”

Full text 

Table of Contents: “...: a Field-based, Self-organising Approach -- Processes and Languages -- Formal Choreographic Languages -- A Model of Actors and Grey Failures -- Soft Concurrent Constraint Programming with Local Variables -- Runtime Veri cation and Monitor Synthesis -- A...”

Full text 

Table of Contents: “... and Responsibilities -- Case Studies and Experiences -- Can SysML Be Used for Enterprise Modelling? -- A Collaborative Model for Connecting Product Design and Assembly Line Design: an Aeronautical Case -- Assignment of Actors to Activities at Process-oriented Applications...”

Full text 

Table of Contents: “...Modeling and analyzing resource-sensitive actors: A tutorial introduction -- Manifestly Phased Communication via Shared Session Types -- Deconfined Global Types for Asynchronous Sessions -- Relating Functional and Imperative Session Types -- Safe Session...”

Full text 

Table of Contents: “... Tracing and Outbreak Investigation -- Convergence Proof for Actor-Critic Methods Applied to PPO and RUDDER -- Revival of MAS Technologies in Industry -- From Strategy to Code: Achieving Strategical Alignment in Software Development Projects through Conceptual...”

Full text 

Table of Contents: “... trajectories to design a predictive geofence algorithm -- Online Shielding for Stochastic Systems -- Verification of Eventual Consensus in Synod Using a Failure-Aware Actor Model -- An Infrastructure for Faithful Execution of Remote Attestation Protocols...”

Full text 

Table of Contents: “... and Opportunities -- How to Redesign Government Processes for Proactive Public Services? -- Digital Services and Open Government -- Understanding Actor Roles in Inter-organizational Digital Public Services -- Perceived and Actual Lock-in Effects Amongst Swedish Public...”

Full text 

Table of Contents: “... of Human Actors' Key Competencies -- Collaborative Plan to Reduce Inequalities among the Farms through Optimization -- Working beside Robots: A Glimpse into the Future -- Maintenance and Life-Cycle Management -- Supporting Predictive Maintenance in Virtual...”

Full text 

Table of Contents: “... Diagnosis for Embedded DSLs by Two-Stage Specialized Type Rules -- Actor Services: Modular Verification of Message Passing Programs -- Transfinite Step-indexing: Decoupling Concrete and Logical Steps -- A Higher-Order Abstract Syntax Approach to Verified...”

Full text 

Table of Contents: “... -- On Implementing a Monitor-Oriented Programming Framework for Actor Systems -- Towards a Thread-Local Proof Technique for Starvation Freedom -- Reasoning about Inheritance and Unrestricted Reuse in Object-Oriented Concurrent Systems -- A Formal Model of the Safety...”

Full text 

Full text 

Table of Contents: “...Enhanced Energy Efficiency with the Actor Model on Heterogeneous Architectures -- Evaluating the Cost and Robustness of Self-organizing Distributed Hash Tables -- Mignon: A Fast Decentralized Content Consumption Estimation in Large-Scale Distributed...”

Full text 

Table of Contents: “... in Polynomial Time -- Dynamics Security Policies and Process Opacity for Timed Process Algebras -- Estimating Development E_ort for Software Architectural Tactics -- Clone Detection in Reuse of Software Technical Documentation -- Modeling Actor Systems Using Dynamic...”

Full text