yusuke1997/dblp-id-title huggingface dataset:
Compositional training for Safe AI-based Cyber-Physical Systems
Formal methods and software reliability
Bringing Hardware and Software Closer Together with Termination Analysis
Keynote talk III: Trusted cloud: How to make the cloud more secure
Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2019, La Jolla, CA, USA, October 9-11, 2019
Keynote talk IIP: Proving (and revisiting) what programs do not
Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2014, Lausanne, Switzerland, October 19-21, 2014
Performance-aware scheduling of multicore time-critical systems
FAST: Formal specification driven test harness generation
Efficient reachability analysis of parametric linear hybrid systems with time-triggered transitions
Safety and Progress Proofs of a Reactive Autonomous Racing Algorithm
Using Reo for formal specification and verification of system designs
Self-Powering Dataflow Networks - Concepts and Implementation
Design, Implementation, and Validation of a New Class of Interface Circuits for Latency-Insensitive Design
Efficient compilation and execution of synchronous programs via type-state programming
Constraint-Behavior Contracts: A Formalism for Specifying Physical Systems
Codesign of dependable systems: A component-based modeling language
A new synthesis procedure for atomic rules containing multi-cycle function blocks
5th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2007), May 30 - June 1st, Nice, France
Mixed symbolic representations for model checking software programs
A Comparison of Two SystemC/TLM Semantics for Formal Verification
Dependence Analysis and Automated Partitioning for Scalable Formal Analysis of SystemC Designs
A design case study: CPU vs. GPGPU vs. FPGA
Model and program repair via SAT solving
Security analysis of cloud-connected industrial control systems using combinatorial testing
Stately: An FSM Design Tool
Synthesis of programs from temporal property specifications
Three-valued logic in bounded model checking
Model-free PAC Time-Optimal Control Synthesis with Reinforcement Learning
Is formal being squeezed out of functional verification?
Structural operational semantics for supporting multi-cycle operations in RTL HDLs
Harnessing Multiple BMC Engines Together for Efficient Formal Verification
Automatic and configurable instrumentation of C programs with temporal assertion checkers
Efficient code synthesis from synchronous dataflow graphs
Formal verification of complex systems: model-based and data-driven methods
Bounded model checking of infinite state systems: exploiting the automata hierarchy
One-dimensional Search Algorithms for Hardware/Software Partitioning
Formal modelling and transformations of processor instruction sets
An efficient algorithm for monitoring practical TPTL specifications
McCharts and Multiclock FSMs for modeling large scale systems
Elevate embedded real-time programming with a synchronous language
Extended abstract: a race-free hardware modeling language
Combining ACL2 and a v-calculus Model-Checker to Verify System-Level Designs
Interactive verification of synchronous systems
Rule-Based Approaches for Equivalence Checking of SpecC Programs
System design extreme makeover
A novel approach to Real-time contract based reasoning for Hybrid Systems
Modeling and verifying context-aware non-monotonic reasoning agents
Modular compilation of guarded atomic actions
Formal Modeling and Verification of Rate Adaptive Pacemakers for Heart Failure
The SystemJ approach to system-level design
Feldspar: A domain specific language for digital signal processing algorithms
Proving transaction and system-level properties of untimed SystemC TLM designs
Service-oriented software and systems engineering - a vision for the automotive domain
Modeling observability in adaptive systems to defend against advanced persistent threats
Fast CPU-based DNA exact sequence aligner
Towards a Unified Execution Model for Transactions in TLM
Hyperproperties of real-valued signals
Extended abstract: an environment for design verification of smart card systems using attack simulation in SystemC
A hardware accelerated system for deep packet inspection
On the deployment problem of embedded systems
Designers want proofs - but show me the money
Static driver verifier, a formal verification tool for Windows device drivers
A Generalised Approach to Supervisor Synthesis
A Methodology for Automating Co-Scheduling for Reconfigurable Computing Systems
Function interface models for hardware compilation
High-level optimization of integer multipliers over a finite bit-width with verification capabilities
Understanding loops: The influence of the decomposition of Karp, Miller, and Winograd
Model Order Reduction of Nonlinear Circuit using Proper Orthogonal Decomposition and Nonlinear Autoregressive with eXogenous input (NARX) Neural Network
7th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2009), July 13-15, 2009, Cambridge, Massachusetts, USA
Virtual prototyping AADL architectures in a polychronous model of computation
Runtime Verification of Timed Properties in Autonomous Robots
A compositional approach for real-time machine learning
Extraction of missing formal assumptions in under-constrained designs
Reducing power with activity trigger analysis
Specification of precise timing in synchronous dataflow models
Three-valued asynchronous distributed runtime verification
Desynchronization: From Macro-step to Micro-step
Ensuring Strong Replaceability of Assume-guarantee Contract for Feedback Composition
A framework for high-assurance quasi-synchronous systems
REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency
Extended abstract: estimation times of on-chip multiprocessor stream-oriented applications
Detecting security leaks in hybrid systems with information flow analysis
MEMOCODE 2014 software design contest: Space Invaders emulator
Releasing VDM proof obligations with SMT solvers
Optimal compilation for exposed datapath architectures with buffered processing units by SAT solvers
4th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2006), 27-29 July 2006, Embassy Suites, Napa, California, USA
A Reinforcement-Learning Style Algorithm for Black Box Automata
High-throughput stream categorization and intrusion detection on GPU
Structure-aware CNF obfuscation for privacy-preserving SAT solving
A System Verilog Rewriting System for RTL Abstraction with Pentium Case Study
Runtime Verification for Clinically Interpretable Arrhythmia Classification
A framework for heterogeneous formal modeling and compositional verification of avionics systems
Unified dataflow model for the analysis of data and pipeline parallelism, and buffer sizing
Optimising the Scheduling of System Level Logical Execution Time Systems
Modular verification of synchronization with reentrant locks
Cost-efficient implementation of k-NN algorithm on multi-core processors
6th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2008), June 5-7, 2008, Anaheim, CA, USA
Incremental modelling and verification of the PCI Express transaction layer
Ranking structure in communication fabrics
An architecturally-integrated, systems-based hazard analysis for medical applications
LOTOS Code Generation for Model Checking of STBus Based SoC: the STBus interconnect
Formal engineering frameworks in maritime domain awareness
On improving rare event simulation for probabilistic safety analysis
Petri Net Based Interface Analysis for Fast IP-Core Integration
Low-power hardware synthesis from TRS-based specifications
Formal Methods for Cryogenic Cyber Physical Systems (CCPS)
Equivalence checking for synchronous elastic circuits
Temporal Refinement Using SMT and Model Checking with an Application to Physical-Layer Protocols
Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2017, Vienna, Austria, September 29 - October 02, 2017
SEESAW: a tool for detecting memory vulnerabilities in protocol stack implementations
Safety Assurance for Autonomous Systems with Multiple Sensor Modalities
A semantic-driven synthesis flow for platform-based design
Shepard: A fast exact match short read aligner
Perception-based Runtime Monitoring and Verification for Human-Robot Construction Systems
MEMOCODE 2015 design contest: Continuous skyline computation
Liam: an actor based programming model for HDLs
Contract-based Component Selection Using Behaviors
Polynomial word-level verification of arithmetic circuits
Formal feature analysis of hybrid automata
QTWTL: Quality Aware Time Window Temporal Logic for Performance Monitoring
High Level Verification of Control Intensive Systems Using Predicate Abstraction
Refinemant verification of fair transition systems can contribute to PLTL model checking
Extended abstract: polynomial model-based evaluation of the branch coverage metric for functional verification of hardware systems
Efficient continuous skyline computation on multi-core processors based on Manhattan distance
From clock-driven to data-driven models
Designing application specific circuits with concurrent C# programs
Yise - a novel framework for boolean networks using y-inverter graphs
Vacuity Analysis by Fault Simulation
Distributing C# methods and threads over Ethernet-connected FPGAs using Kiwi
CROME: Contract-Based Robotic Mission Specification
Integrating design and verification - from simple idea to practical system
A formal approach to system level design: metamodels and unified design environments
Verification condition generation for hybrid systems
The ephemeral history register: flexible scheduling for rule-based designs
Hardware Acceleration of Matrix Multiplication on a Xilinx FPGA
Design contest overview: Combined architecture for network stream categorization and intrusion detection (CANSCID)
A correlation preserving performance analysis for stream processing systems
From visual to logical formalisms for SoC validation
Formal Verification of an Intel XScale Processor Model with Scoreboarding, Specialized Execution Pipelines, and Impress Data-Memory Exceptions
Model-based, mutation-driven test case generation via heuristic-guided branching search
A Contract-Based Approach to Scheduling and Verification of Dynamic Dataflow Networks
MEMOCODE 2008 Co-Design Contest
Keynote talk I: Building a high-assurance unpiloted air vehicle
An equivalence checker for hardware-dependent embedded system software
Interdependent cache analyses for better precision and safety
802.11a transmitter: a case study in microarchitectural exploration
Synchronous neural networks for cyber-physical systems
Hyperproperty-Constrained Secure Reinforcement Learning
Automatic synthesis of cache-coherence protocol processors using Bluespec
Assertion-based flow monitoring of SystemC models
Combining control and data abstraction in the verification of hybrid systems
Predictable multithreading of embedded applications using PRET-C
Encoding and monitoring responsibility sensitive safety rules for automated vehicles in signal temporal logic
High-throughput Pipelined Mergesort
Towards integrating statistical model checking into property-based testing
The BUSpec platform for automated generation of verification aids for standard bus protocols
Lightweight Formal Method for Robust Routing in Track-based Traffic Control Systems
UCLID5: Integrating Modeling, Verification, Synthesis and Learning
Synchronization verification in system-level design with ILP solvers
Passive testing of production systems based on model inference
Keynote talk III: A framework for modeling architectures and their properties
From Use Cases to System Implementation: Statechart Based Co-design
Synthesizing distributed scheduling implementation for probabilistic component-based systems
A regular expression matching using non-deterministic finite automaton
13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015, Austin, TX, USA, September 21-23, 2015
System modeling and verification with UCLID
1st ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2003), 24-26 June 2003, Mont Saint-Michel, France, Proceedings
Concurrent execution system for action languages
A high performance systolic architecture for k-NN classification
MEMOCODE 2007 Co-Design Contest
The quest for average response time
Local and global fairness in concurrent systems
Time Aware Compilation Verified: A Category-Theoretic Approach in Rocq
A flexible schema for generating explanations in lazy theory propagation
LTSs for translation validation of (multi-clocked) SIGNAL specifications
FERAL - Framework for simulator coupling on requirements and architecture level
Keynote talk III: Industry pulse: Trends in function verification
Security-driven metrics and models for efficient evaluation of logic encryption schemes
Component-based hardware/software co-verification
A GPU implementation of tiled belief propagation on Markov Random Fields
A multi-core version of FreeRTOS verified for datarace and deadlock freedom
Extended abstract: a formal design approach from software oriented UML descriptions to hardware oriented RTL
A timeless model for the verification of quasi-periodic distributed systems
Causal analysis of probabilistic counterexamples
Tutorial I: Syntax-guided synthesis
Local Causal Reasoning of a Safety-Critical Subway System
ATLAS: Automatic Term-level abstraction of RTL designs
Scalable Actor Networks with CAL
Towards Dependability Metrics for Neural Networks
Panel: Nano-computing - do we need new formal approaches?
Extended abstract: on the property-based verification in SoC design flow founded on transaction level modeling
Towards Equivalence Checking Between TLM and RTL Models
A cross-layer approach to heterogeneity and reliability
MEMOCODE 2013 hardware/software co-design contest: Stereo matching
On the Use of a High-Level Fault Model to Check Properties Incompleteness
Classification of General Data Flow Actors into Known Models of Computation
Process algebra semantics & reachability analysis for micro-architectural models of communication fabrics
Computing Invariants for Parameter Abstraction
Keynote talk I: Syntax-guided synthesis
Compositional verification for secure loading of smart card applets
Extended abstract: requirements modeling within iterative, incremental processes
Formal Verification of Security Properties on RISC-V Processors
The battle of accountable voting systems
Combining type-checking with model-checking for system verification
An abstraction-refinement framework for priority-driven scheduling of static dataflow graphs
Learning optimal decisions for stochastic hybrid systems
Verification Driven Formal Architecture and Microarchitecture Modeling
Keynote talk I: How to prove hybrid systems
Numerical stability analysis of floating-point computations using software model checking
Symbolic inner loop parallelisation for massively parallel processor arrays
A flexible formal verification framework for industrial scale validation
Fast and adaptive BP-based multi-core implementation for stereo matching
Formal property verification in a conformance testing framework
Bridging CSP and C++ with Selective Formalism and Executable Specifications
Formal Verification of the Stall Invariant Property for Latency-Insensitive RTL Modules
Safe Integration of Learning in SystemC using Timed Contracts and Model Checking
FPGA-based combined architecture for stream categorization and intrusion detection
A Contrastive Plan Explanation Framework for Hybrid System Models
It's a Matter of Time: Modeling and Analysis of Time Dependent Systems Using Scenario-Aware Dataflow
Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMCODE 2012, Arlington, VA, USA, July 16-17, 2012
Real-time Scheduling of I/O Transfers for Massively Parallel Processor Arrays
Automated extraction of scenario sequences from disciplined dataflow networks
Are interface theories equivalent to contract theories?
RTL bug localization through LTL specification mining (WIP)
Verifying the concentration property of permutation networks by BDDs
Extended abstract: organizing automaton specifications to achieve faithful representation
Logic analysis and optimization with quick identification of invariants through one time frame analysis
MEMOCODE 2016 design contest: K-means clustering
Logical Synchrony Plus Functional Processes Entail Observable Determinacy
Securing implantable medical devices with runtime enforcement hardware
Rigorous system level modeling and analysis of mixed HW/SW systems
The Co-operative Evolution of Buildings and Cities
Connecting Qualities of Social Use with Spatial Qualities
The Kumamoto-Kyoto-MIT Collaborative Project: A Case Study of the Design Studio of the Future
Experience in Building a Cooperative Distributed Organization: Lessons for Cooperative Buildings
Working Place for the Knowledge Economy
A Swivel Chair as an Input Device
Ambient Displays: Turning Architectural Space into an Interface between People and Digital Information
Progress of MUSE (Making User Friendly Spaces): A Context-Aware Assistant for Orientation
A Prototype Intelligent Environment
OWL: An Object-Oriented Framework for Intelligent Home and Office Applications
Design of the Swisshouse: A Physical/ Virtual Cooperative Workspace
A Time for Talk and a Time for Silence
Integrated Architecture of Electronic Mall Systems - How Strategies, Processes and Organizations Influence Information System Design
The Aware Home: A Living Laboratory for Ubiquitous Computing Research
Roomware for Cooperative Buildings: Integrated Design of Architectural Spaces and Information Spaces
Passage: Physical Transportation of Digital Information in Cooperative Buildings
Sustainability of New Work Practises and Building Concepts
Multiple-Computer User Interfaces: A Cooperative Environment Consisting of Multiple Digital Devices
Cooperative Buildings, Integrating Information, Organization, and Architecture, Second International Workshop, CoBuild'99, Pittsburgh, USA, October 1-2, 1999, Proceedings
Matching Information and Ambient Media
The Dwelling as a Place for Work
Law Enforcement of Working Space Requirements in Office Buildings - The Policy of the Labour Inspectorate in the Netherlands
The Metaphor of Virtual Rooms in the Cooperative Learning Environment CLear
The Importance of Homes in Technology Research
The Studio: Reflections and Issues Arising
An Agent-Based Telecooperation Framework
The Collaborative Building: Mediating between Climate and Interior Quality
Bringing the Marks on a Whiteboard to Electronic Life
Predator: A Distributed Location Service and Example Applications
Meeting Capture in a Media Enriched Conference Room
The GSA Adaptable Workplace Laboratory
Organizing Space in Time - Discovering Existing Resources
Cooperative Buildings, Integrating Information, Organization, and Architecture, First International Workshop, CoBuild'98, Darmstadt, Germany, February 1998, Proceedings
Going Public: Collaborative Systems Design for Multidisciplinary Conversations
Complex Construction Kits for Coupled Real and Virtual Engineering Workspaces
A Room of Your Own: What Do We Learn about Support of Teamwork from Assessing Teams in Dedicated Project Rooms?
The Timeless Way: Making Living Cooperative Buildings with Design Patterns
Measuring Work Factors: A Case Study to Identify Relationships among Work Activities, Styles and an Environment
Future@Work: An Experimental Exhibit Investigating Integrated Workplace Design
The Invisible Interface: Increasing the Power of the Environment through Calm Technology
Cooperative Buildings - The Case of office VISION
Observing Cognitive Work in Offices
A Room Management System
Boeing Operations Fleet Support: A Case Study in Integrated Workplace Design
Adaptive Rooms, Virtual Collaboration and Cognitive Workflow
Understanding Technology in Domestic Environments: Lessons for Cooperative Buildings
Video Mediated Communication for Domestic Environments - Architectural and Technological Design
Peculiarities of changes in the structure of intellectual and personal qualities of students of the ICT vocation
Advantages and limitations of large language models in chemistry education: A comparative analysis of ChatGPT, Gemini and Copilot
CoCalc: an integrated environment for open science education in informatics and mathematics
Teaching computer game development with Unity engine: a case study
Proceedings of the IX International Workshop on Professional Retraining and Life-Long Learning using ICT: Person-oriented Approach (3L-Person 2024) co-located with 19th International Conference on ICT in Education, Research, and Industrial Applications (ICTERI 2024), Lviv, Ukraine, September 23, 2024
Proceedings of the VII International Workshop on Professional Retraining and Life-Long Learning using ICT: Person-oriented Approach (3L-Person 2022), Virtual Event, Kryvyi Rih, Ukraine, October 25, 2022
Online training of youth volunteers for projecting socially significant actions in the COVID-19 pandemic
Synergy of virtual learning environments in the context of implementing the principles of remote learning for higher education applicants: economic aspect
Developing digital learning aids for pre-service IT specialists using the functional approach in holistic vocational training
Web information educational assistant service with focus on artificial intelligence and smart systems technologies
Exploring the potential of immersive technologies in university education worldwide
Multilevel continuing professional teaching for vocational education specialists
Inquiry-based learning for enhancing students' interest in mathematical research: a case study on approximation theory and Fourier series
Automation of checking student assignments in IT-related subjects based on AI systems
English language training for IT professionals at Ukrainian universities: pedagogical conditions and content
Proceedings of the VIII International Workshop on Professional Retraining and Life-Long Learning using ICT: Person-oriented Approach (3L-Person 2023), Virtual Event, Kryvyi Rih, Ukraine, October 25, 2023
Informatization of education: driving force for integration of modern higher education in the global information space
Adaptive learning system based on cognitive independence
Internet resources for foreign language education in primary school: challenges and opportunities
The use of artificial intelligence in teaching students programming languages
Serverless computing for data processing in open learning and research environments
Developing professional stability of future socionomic specialists using cloud technologies in blended learning
Designing a cloud-oriented methodological system for training science and mathematics teachers in scientific lyceums
Computer system for distance learning with integrated artificial intelligence
Analysis of digital technologies in Ukraine: problems and prospects
YouTube as an open resource for foreign language learning: a case study of German
Using STACK to support adaptive mathematics learning in LMS Moodle
Digital resources for developing key competencies in Ukrainian education: teachers' experience and challenges
Advancing lifelong learning and professional development through ICT: insights from the 3L-Person 2023 workshop
An algorithm for compiling an electronic multilingual terminological dictionary
ICT for food safety education: a case study of an Erasmus+ Jean Monnet Module on EU food safety control
Integrating formative assessment into higher education learning environment
Advancing lifelong learning with AI-enhanced ICT: A review of 3L-Person 2024
ICT for disaster-resilient education and training - Introduction to the workshop
Developing digital and ICT literacy skills for future foreign language teachers: a comparative and action research approach
Designing and evaluating ESP courses on Moodle for enhancing language skills in online learning
Interactive teaching methods with visualization for technical and economic students
Development of digital competencies in immersive cloud-based educational environment