Codice:
E100308
ISSN:
0302-9743
2512-2010
Dati Generali
Pubblicazioni (152)
A DSL for MAPE patterns representation in self-adapting systems
Contributo in Atti di convegnoA Java vs. C++ performance evaluation: a 3D modeling benchmark
Contributo in Atti di convegnoA Logic-Based Approach to Combinatorial Testing with Constraints
Contributo in Atti di convegnoA Multiclass Robust Twin Parametric Margin Support Vector Machine with an Application to Vehicles Emissions
Contributo in Atti di convegnoA Reuse-Oriented Development Process for Component-based Robotic Systems
Contributo in Atti di convegnoA Runtime Safety Enforcement Approach by Monitoring and Adaptation
Contributo in Atti di convegnoA Tale of Six Countries: eParticipation Research from an Administration and Political Perspective
Contributo in Atti di convegnoA control-theoretic approach to self-adaptive systems and an application to cloud-based software
Contributo in Atti di convegnoA scenario-based validation language for ASMs
Contributo in Atti di convegnoASMETA Tool Set for Rigorous System Design
Contributo in Atti di convegnoAccess control for the shuffle index
Contributo in Atti di convegnoAccess privacy in the cloud
Capitolo di libroAn Efficient Dynamic Bandwidth Allocation Algorithm for Quality of Service Networks
Contributo in Atti di convegnoAn Executable Semantics of the SystemC UML Profile
Contributo in Atti di convegnoAn overview of open source software systems for smart development of virtual environments
Contributo in Atti di convegnoArtists as HRI pioneers: A creative approach to developing novel interactions for living with robots
Contributo in Atti di convegnoAsm2C++: A tool for code generation from abstract state machines to Arduino
Contributo in Atti di convegnoAsmetaA: Animator for abstract state machines
Contributo in Atti di convegnoAsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications
Contributo in Atti di convegnoAssurance Case Arguments in the Large: The CERN LHC Machine Protection System
Contributo in Atti di convegnoAutomated Phenotype-Based Clustering of Clinical Reports Using Large Language Models
Contributo in Atti di convegnoAutomatic Identification of Below-Knee Residuum Anatomical Zones
Capitolo di libroAutomatic Model Driven Animation of SCR Specifications
Capitolo di libroAutomatic below-knee prosthesis socket design: A preliminary approach
Contributo in Atti di convegnoAutomatic test generation with ASMETA for the Mechanical Ventilator Milano controller
Contributo in Atti di convegnoBringing Access Control Tree to Big Data
Contributo in Atti di convegnoBusiness Process Adaptability Metrics for QoS-Based Service Compositions
Contributo in Atti di convegnoCOSYS: A computational infrastructure for systems biology
Contributo in Atti di convegnoCombining Satisfiability Solving and Heuristics to Constrained Combinatorial Interaction Testing
Contributo in Atti di convegnoComparisons of visual activity primitives for voice activity detection
Contributo in Atti di convegnoCompositional Simulation of Abstract State Machines for Safety Critical Systems
Contributo in Atti di convegnoConformance testing
Contributo in Atti di convegnoControlled Query Evaluation in OWL 2 QL: A "Longest Honeymoon" Approach
Contributo in Atti di convegnoControlled Query Evaluation over Prioritized Ontologies with Expressive Data Protection Policies
Contributo in Atti di convegnoCoordinated execution of heterogeneous service-oriented components by Abstract State Machines
Contributo in Atti di convegnoCorrection of weighted orthology and paralogy relations. Complexity and algorithmic results
Contributo in Atti di convegnoCovering a Graph with Densest Subgraphs
Contributo in Atti di convegnoCovering with clubs: Complexity and approximability
Contributo in Atti di convegnoDealing with incompleteness in automata-based model checking
Contributo in Atti di convegnoDense Temporal Subgraphs in Protein-Protein Interaction Networks
Contributo in Atti di convegnoDiscrete Time Portfolio Selection with Lévy Processes
Contributo in Atti di convegnoDistributed Query Evaluation over Encrypted Data
Contributo in Atti di convegnoDynamic Resource Allocation in Communication Networks
Contributo in Atti di convegnoEffective Computation of Maximal Sound Approximations of Description Logic Ontologies
Contributo in Atti di convegnoEfficient Combinatorial Test Generation Based on Multivalued Decision Diagrams
Contributo in Atti di convegnoEliminating Flakiness: Deterministic Control for Validating Nondeterministic Asmeta Specifications
Contributo in Atti di convegnoEnabling Real-World Medicine with Data Lake Federation: A Research Perspective
Contributo in Atti di convegnoEncoding Abstract State Machines in PVS
Capitolo di libroEngineering Self-adaptive Microservice Applications: An Experience Report
Contributo in Atti di convegnoEngineering of Trust Analysis-Driven Digital Twins for a Medical Device
Contributo in Atti di convegnoEvent-based runtime verification of temporal properties using time basic Petri nets
Contributo in Atti di convegnoExploring Semi-bent Boolean Functions Arising from Cellular Automata
Contributo in Atti di convegnoExtending Local Search in Geometric Semantic Genetic Programming
Contributo in Atti di convegnoExtending Mandatory Access Control Policies in Android
Contributo in Atti di convegnoFibonacci representations of homogeneous weighted majority games
Capitolo di libroFilling the Gaps: Predicting Missing Joints of Human Poses Using Denoising Autoencoders
Contributo in Atti di convegnoFinancial Risk Modeling with Markov Chains
Capitolo di libroFinding disjoint paths on edge-colored graphs: A multivariate complexity analysis
Contributo in Atti di convegnoFine-Grained Disclosure of Access Policies
Contributo in Atti di convegnoFixed-Parameter Algorithms for Scaffold Filling
Contributo in Atti di convegnoFrom Concept to Code: Unveiling a Tool for Translating Abstract State Machines into Java Code
Contributo in Atti di convegnoFrom OWL to DL-Lite through efficient ontology approximation
Contributo in Atti di convegnoGPU Accelerated Analysis of Treg-Teff Cross Regulation in Relapsing-Remitting Multiple Sclerosis
Contributo in Atti di convegnoGraph-based ontology classification in OWL 2 QL
Contributo in Atti di convegnoHead and face design for a new humanoid service robot
Contributo in Atti di convegnoHey, Robot! An Investigation of Getting Robot's Attention Through Touch
Contributo in Atti di convegnoHigh Performance Computing for Haplotyping: Models and Platforms
Contributo in Atti di convegnoHow to assure correctness and safety of medical software: The hemodialysis machine case study
Contributo in Atti di convegnoImproving Cutting Plane Generation with 0-1 Inequalities by Bi-criteria Separation
Contributo in Atti di convegnoInconsistency-tolerant semantics for description logics
Contributo in Atti di convegnoInformation strategies for open government in Europe: EU regions opening up the data on structural funds
Contributo in Atti di convegnoIntegrated QoS- and Vulnerability-Driven Self-adaptation for Microservices Applications
Contributo in Atti di convegnoIntegrating Goal Model Analysis with Iterative Design
Contributo in Atti di convegnoIntegrating UML static and dynamic views and formalizing the interaction mechanism of UML state machines
Contributo in Atti di convegnoIntegrating Uncertainty Into U-Net Robustness Evaluation Under Natural MRI Alterations: Application to Kidney Segmentation
Contributo in Atti di convegnoIntegrating topological proofs with model checking to instrument iterative design
Contributo in Atti di convegnoInteractive testing and repairing of regular expressions
Contributo in Atti di convegnoKnowledge Discovery from Geo-Located Tweets for Supporting Advanced Big Data Analytics: A Real-Life Experience
Contributo in Atti di convegnoLow Cost Hand-Tracking Devices to Design Customized Medical Devices
Capitolo di libroMapping Analysis in Ontology-Based Data Access: Algorithms and Complexity
Contributo in Atti di convegnoMatrix Completion for the Prediction of Yearly Country and Industry-Level CO2 Emissions
Contributo in Atti di convegnoMaximum Expected Utility of Markovian Predicted Wealth
Capitolo di libroModeling synchronization/communication patterns in Vision-Based Robot Control applications using ASMs
Contributo in Atti di convegnoModeling the MVM-Adapt System by Compositional I/O Abstract State Machines
Contributo in Atti di convegnoModelling spatial heterogeneity and macromolecular crowding with membrane systems
Contributo in Atti di convegnoMulti-robot LTL planning under uncertainty
Contributo in Atti di convegnoOn robust lot sizing problems with storage deterioration, with applications to heat and power cogeneration
Contributo in Atti di convegnoOn the Complexity of the l-diversity Problem
Contributo in Atti di convegnoOn the Fixed Parameter Tractability and Approximability of the Minimum Error Correction Problem
Contributo in Atti di convegnoOn the Tractability of Covering a Graph with 2-Clubs
Contributo in Atti di convegnoOn the generation of cutting planes which maximize the bound improvement
Contributo in Atti di convegnoOpen government data ecosystems: Linking transparency for innovation with transparency for participation and accountability
Contributo in Atti di convegnoOptimal Test Suite Generation for Modified Condition Decision Coverage Using SAT Solving
Contributo in Atti di convegnoParameterized complexity and approximation issues for the colorful components problems
Contributo in Atti di convegnoPodcast Generator and Pluriversiradio: an educational interactive experience
Contributo in Atti di convegnoPower-Controlled Directional Medium Access Control for Wireless Mesh Networks
Contributo in Atti di convegnoPractical update management in ontology-based data access
Contributo in Atti di convegnoPreface [to Data and Applications Security and Privacy XXXII]
Capitolo di libroProtecting resources and regulating access in cloud-based object storage
Capitolo di libroQuery Disambiguation Based on Novelty and Similarity User's Feedback
Contributo in Atti di convegnoQuery rewriting for inconsistent DL-lite ontologies
Contributo in Atti di convegnoReformulation of Some Indices Using Null Player Free Winning Coalitions
Capitolo di libroRobot-mediated interviews: Do robots possess advantages over human interviewers when talking to children with special needs?
Contributo in Atti di convegnoSoft Spatial Querying on JSON Data Sets
Contributo in Atti di convegnoSoftware variability composition and abstraction in robot control systems
Contributo in Atti di convegnoSolidarity Measures
Capitolo di libroSupporting Concurrency in Private Data Outsourcing
Contributo in Atti di convegnoSupporting verification-driven incremental distributed design of components
Contributo in Atti di convegnoTRIO specification of a steam boiler controller
Capitolo di libroThe ARCH-COMP Friendly Verification Competition for Continuous and Hybrid Systems
Contributo in Atti di convegnoThe Mechanical Lung Ventilator Case Study
Contributo in Atti di convegnoThe PERISCOPE Data Atlas: A Demonstration of Release v1.2
Contributo in Atti di convegnoThe Role of Beauty in the Sustainable Regeneration of the Historical Centres: The Upper Town of Bergamo
Contributo in Atti di convegnoTime-scale transformations: effects on VaR models
Capitolo di libroTimeline Cover in Temporal Graphs: Exact and Approximation Algorithms
Contributo in Atti di convegnoTowards Assessing Data Bias in Clinical Trials
Contributo in Atti di convegnoTowards Mapping Analysis in Ontology-Based Data Access
Contributo in Atti di convegnoTowards Online Testing Under Uncertainty Using Model-Based Reinforcement Learning
Contributo in Atti di convegnoTransforming Games with Affinities from Characteristic into Normal Form
Capitolo di libroUnified syntax for abstract state machines
Contributo in Atti di convegnoUpdating DL-Lite ontologies through first-order queries
Contributo in Atti di convegnoUser-Centered Policy Interventions for Future Cities
Contributo in Atti di convegnoUsing model checking to generate tests from requirements specifications
Contributo in Atti di convegnoUsing spin to generate tests from ASM specifications
Contributo in Atti di convegnoValidation of constraints among configuration parameters using search-based combinatorial interaction testing
Contributo in Atti di convegnoValidation of transformation from abstract state machine models to C++ code
Contributo in Atti di convegnoVirtual Tailor for Garment Design
Capitolo di libroVisual Notation and Patterns for Abstract State Machines
Contributo in Atti di convegnoformal MVC: A Pattern for the Integration of ASM Specifications in UI Development
Contributo in Atti di convegnoNo Results Found