yusuke1997/dblp-id-title huggingface dataset:
Information Leakage as a Scheduling Resource
Using CSP||B Components: Application to a Platoon of Vehicles
SMT-Based Formal Verification of a TTEthernet Synchronization Function
Waiting for Locks: How Long Does It Usually Take?
Model-Based Testing of Electronic Passports
Modelling and Analysing ERTMS Hybrid Level 3 with the mCRL2 Toolset
Monitoring of Spatio-Temporal Properties with Nonlinear SAT Solvers
Multiple Analyses, Requirements Once: - Simplifying Testing and Verification in Automotive Model-Based Development
Structural Test Coverage Criteria for Integration Testing of LUSTRE/SCADE Programs
A Model-Based Framework for the Specification and Analysis of Hierarchical Scheduling Systems
Learning-Based Testing the Sliding Window Behavior of TCP Implementations
Distributed Colored Petri Net Model-Checking with Cyclades
Automated Incremental Synthesis of Timed Automata
A Modeling Language for Security Threats of IoT Systems
Verifying the Mathematical Library of an UAV Autopilot with Frama-C
A Note on Refinement in Hierarchical Transition Systems
UPPAAL-Based Modeling and Verification of ROS 2 Multi-threaded Execution and Operating System Reservations
Optimizing the Robustness of Software against Communication Latencies in Distributed Reactive Embedded Systems
Analysis of a Session-Layer Protocol in mCRL2
Attacking Large Industrial Code with Bi-abductive Inference
Simulation-Based Performance Analysis of a Medical Image-Processing Architecture
ProB2-UI: A Java-Based User Interface for ProB
Model Checking a Server-Side Micro Payment Protocol
Past Time LTL Runtime Verification for Microcontroller Binary Code
Formal Verification with Isabelle/HOL in Practice: Finding a Bug in the GCC Scheduler
An Outline Workflow for Practical Formal Verification from Software Requirements to Object Code
Formal Verification of an Industrial UML-like Model using mCRL2
Automated Property-Based Testing from AADL Component Contracts
Utilising $${\mathbb {K}}$$ Semantics for Collusion Detection in Android Applications
Formalising the Dezyne Modelling Language in mCRL2
Hierarchical Modeling and Formal Verification. An Industrial Case Study Using Reo and Vereofy
Sampling-Based Reactive Motion Planning with Temporal Logic Constraints and Imperfect State Information
Formal Methods for Industrial Critical Systems, 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings
Query Checking for Linear Temporal Logic
Automated Extraction of Abstract Behavioural Models from JMS Applications
Workflow Nets Verification: SMT or CLP?
Towards the Automated Verification of Weibull Distributions for System Failure Rates
Evaluating the Effectiveness of Digital Twins Through Statistical Model Checking with Feedback and Perturbations
Heuristics for ioco -Based Test-Based Modelling
Supporting Railway Innovations with Formal Modelling and Verification
Predicate Abstraction and Such..
Compositional Verification in Action
Runtime Verification of Typical Requirements for a Space Critical SoC Platform
Integration of Formal Analysis into a Model-Based Software Development Process
Formal Verification of a Rover Anti-collision System
Introducing Time in an Industrial Application of Model-Checking
A Safety Flasher Developed with the CLEARSY Safety Platform
Formally Verified Timing Computation for Non-deterministic Horizontal Turns During Aircraft Collision Avoidance Maneuvers
Multimodal Model Predictive Runtime Verification for Safety of Autonomous Cyber-Physical Systems
Fuzzing an Industrial Proprietary Protocol
Study on the Barriers to the Industrial Adoption of Formal Methods
Formal Methods: Applications and Technology, 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected Papers
Modeling and Verifying Timed Compensable Workflows and an Application to Health Care
Formal Verification of OIL Component Specifications using mCRL2
Spatial Model Checking for Smart Stations - Research Challenges
On the Validation of an Interlocking System by Model-Checking
Fighting State Space Explosion: Review and Evaluation
Incremental Development of a Safety Critical System Combining formal Methods and DSMLs - - Application to a Railway System -
An Open Alternative for SMT-Based Verification of Scade Models
Randomized Reachability Analysis in Uppaal: Fast Error Detection in Timed Systems
From Informal Requirements to Property-Driven Formal Validation
Virtual Integration for Pattern-Based Contracts with the Kind2 Model Checker
Formal Methods for Industrial Critical Systems, 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers
Auditing User-Provided Axioms in Software Verification Conditions
A Formal Model of Identity Mixer
Satisfiability at Microsoft
Toward a formal model for component interfaces for real-time systems
Developing a Decision Support Tool for Dam Management with SPIN
Formal Modelling and Verification of an Interlocking Using mCRL2
Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and - 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings
Evaluating Quality of Service for Service Level Agreements
Generating Domain-Specific Interactive Validation Documents
Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-linear and Linear Analyses
On Combining Partial Order Reduction with Fairness Assumptions
Improving Static Analyses of C Programs with Conditional Predicates
Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software
The First Twenty-Five Years of Industrial Use of the B-Method
Verification of Decision Making Software in an Autonomous Vehicle: An Industrial Case Study
Evaluation and Comparison of Real-Time Systems Analysis Methods and Tools
A Unified Formalism for Monoprocessor Schedulability Analysis Under Uncertainty
Dynamic State Space Partitioning for External Memory Model Checking
Analysing Capacity Bottlenecks in Rail Infrastructure by Episode Mining
Refinement of Systems with an Attacker Focus
Blasting Linux Code
Analysis of Real-Time Properties of a Digital Hydraulic Power Management System
Formal Verification of a Programmable Hypersurface
Reconstructing the High-Level Structure of Legacy Code via Software Model Checking: An Experience Report
Testing Logical Diagrams in Power Plants: A Tale of LTL Model Checking
Automatic Certification of Java Source Code in Rewriting Logic
Machine Checked Formal Proof of a Scheduling Protocol for Smartcard Personalization
Quantitative analysis of distributed randomized protocols
Transforming SOS Specifications to Linear Processes
Automatic Error Correction of Java Programs
Towards Reusable Formal Models for Custom Real-Time Operating Systems
UML 2.0 State Machines: Complete Formal Semantics Via core state machine
Automated Functional Safety Analysis of Automated Driving Systems
Verification of a Failure Management Protocol for Stateful IoT Applications
Modular Automated Verification of Flexible Manufacturing Systems with Metric Temporal Logic and Non-Standard Analysis
Visualising Event-B Models with B-Motion Studio
Sampling-Based Path Planning for Multi-robot Systems with Co-Safe Linear Temporal Logic Specifications
Computing Worst-Case Response Times in Real-Time Avionics Applications
Formal Monotony Analysis of Neural Networks with Mixed Inputs: An Asset for Certification
LearnLib: a library for automata learning and experimentation
Discovering Symmetries
Verification of Embedded Software: From Mars to Actions
Data-Driven Synthesis of Stochastic Fault Trees for Proactive Maintenance of Railway Vehicles
Formal Methods for Industrial Critical Systems - 20th International Workshop, FMICS 2015, Oslo, Norway, June 22-23, 2015 Proceedings
Model Classifications and Automated Verification
Microcontroller Assembly Synthesis from Timed Automaton Task Specifications
A Finite State Modeling of AFDX Frame Management Using Spin
Automatic Interoperability Test Case Generation Based on Formal Definitions
Eighth International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2003, Roros, Norway, June 5-7, 2003
Analyzing Unsatisfiability in Bounded Model Checking Using Max-SMT and Dual Slicing
HyRev: A Tool for the Automatic Generation of Real-Time Routines for Enabling Fail-Safe Control in a Class of Safety-Critical Embedded Systems Using Backwards Reachability Analysis
Automated Verification of Temporal Properties of Ladder Programs
Complex Digital System Design: A Methodology and Its Application to Medical Implants
Platform-Specific Restrictions on Concurrency in Model Checking of Java Programs
Can Flash Memory Help in Model Checking?
Skylines for Symbolic Energy Consumption Analysis
Range Analysis of Binaries with Minimal Effort
Applying Rely-Guarantee Reasoning on Concurrent Memory Management and Mailbox in μC/OS-II: A Case Study
Formal Analysis of the ACE Specification for Cache Coherent Systems-on-Chip
An Automated Semantic-Based Approach for Creating Tasks from Matlab Simulink Models
Model Checking the FlexRay Startup Phase
Tool Chain to Support Automated Formal Verification of Avionics Simulink Designs
On the Formal Verification of Optical Quantum Gates in HOL
Formal Analysis of a Triplex Sensor Voter in an Industrial Context
Robustness Verification of Deep Neural Networks Using Star-Based Reachability Analysis with Variable-Length Time Series Input
Model-Based Testing for Asynchronous Systems
Revisiting Bounded Reachability Analysis of Timed Automata Based on MILP
Embedded Network Protocols for Mobile Devices
What's in Common between Test, Model Checking, and Decision Procedures?
Automatic Conformance Testing of Safety Instrumented Systems for Offshore Oil Platforms
Formal Analysis of BPMN Models Using Event-B
The experience of ATX with the application of formal/rigorous techniques and methods in real projects
A SAT-Based Approach for the Construction of Reusable Control System Components
On the Formal Analysis of Photonic Signal Processing Systems
Model-Based Testing of a WAP Gateway: An Industrial Case-Study
Instantiating generic charts for railway interlocking systems
Verification of AUTOSAR Software Architectures with Timed Automata
Formal Verification of the Implementability of Timing Requirements
Probabilistic Verification for Reliable Network-on-Chip System Design
Successful Use of Incremental BMC in the Automotive Industry
Formal Methods for Industrial Critical Systems - 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012. Proceedings
Model checking software with well-defined APIs: the socket case
Pattern-Based Verification of ROS 2 Nodes Using UPPAAL
Specification and Verification Using Alloy of Optimistic Access Control for Distributed Collaborative Editors
A Complete Formal Specification and Verification of the BESW Software Control System of the Maeslant Storm Surge Barrier
Building Correct Cyber-Physical Systems: Why We Need a Multiview Contract Theory
Innovative Adult Learning with Innovative Technologies
Distance education at the College of Gjøvik
Exploring the Role of Informal Learning in Real-Life Learning
Information and Communication Technologies and Real-Life Learning, New Education for the Knowledge Society, December 2004, Melbourne, Australia, working conference organised by IFIP Working Group 3.2 (Informatics and ICT in Higher Education) and IFIP Working Group 3.4 (Professional and Vocational Education in Information Technology)
Moving towards an Effective Electronic Training Environment
Teaching of Programming with a Programmer's Theory of Programming
Meeting the needs of industry: a bold new curriculum in informatic science
Using an intellignet tutor to facilitate collaborative learning
Multimedia opportunities
Internet-studies communication and information technology (CIT)
Providing Masters Level Computing Students with Real-Life Learning Experiences Via Capstone Projects
Computing: The Shape of an Evolving Discipline
Informatics and informatics professionals: a conceptual framework
Profiles of informatics graduates as demanded by the market
Innovation in learning and innovations in technology: seventeen cases
Real-Life Learning: Why, What and How?
VirtualBusinessTeams for Professional Development and Team Learning
Investigating the use of interactive hypermedia systems
Educatiaon in Scientific Visualization
Student Experiments in Object-Oriented Modeling
Pathways in Real-Life Learning
Representing a body of knowledge for teaching, learning and assessment
Teaching Programming Broadly and Deeply: The Kernel Language Approach
Benchmark Standards for Computing in the UK
Co-operative work between schools and a university with ISDN multimedia communications
Teaching informatics to nonprofessionals: why, what and how
Marketing programming to nonprogrammers
A taxonomy for computer science
The profession of university teaching: Multimedia in context
European informatics, skills structure (EISS)
Real Life Learning: The Challenge of Creating and Establishing the Role of Online and Virtual Learning Environments for All
In Real-Life Learning, What is Meant by 'Real'?
Interactive Multimedia in University Education: Designing for Change in Teaching and Learning, Proceedings of the IFIP TC3/WG3.2 Working Conference on the Seign, Implementation and Evaluation of Interactive Multimedia in University Settings, Melbourne, Victoria, Australia, 6-8 July, 1994
Interactive Learning and Researching with Visualization
Learning from other people's dialogues: questions about computer-based answers
A Computing Program for Scientists and Engineers - What is The Core of Computing
Technology classroom design and support at the Pennsylvania State University
Work Integrated Learning in Information Technology Education
Computer science education at the cross-roads
Co-operative work within habilitation through videophones and computers: simple technology, great visions and some experiences
Virtual Corporate Training Systems
Computer-Assisted Scientific-Computation/Simulation-Software-Development System. Including a Visualization System
Learning through and by Visualisation: A Case of Inter-media Translation
Panel on Lifelong Learning
Classifying information systems education by method engineering
IT-Innovation
Informatics Curricula and Teaching Methods, IFIP TC3 / WG3.2 Conference on Informatics Curricula, Teaching Methods and Best Practics (ICTEM 2002), July 10-12, 2002, Florianópolis, SC, Brazil
Learning Programming by Solving Problems
Sunrise: From local and institutional to global and personal computing
Upgrading adults through flexible learning: experiences from JITOL and NITOL
Working Conference Participant Discussions
Scientific Visualization Efforts in North Carolina Education
Design Implications for Interactive Learning Systems
The virtual campus: ECU's developmental path
Assessing Instructional Technology
University Education Uses of Visualization in Scientific Computing, Proceedings of the IFIP WG3.2 Working Conference on Visualization in Scientific Computing: Uses in University Education, Irvine, CA, USA, 28-30 July, 1993
Building University Electronic Educational Environments, IFIP TC3 WG3.2/3.6 International Working Conference on Building University Electronic Educational Environments, August 4-6, 1999, Irvine, California, USA
Real Life Learning: The Developing Importance of Formal and Informal Professional Communities of Practice
Multimedia in an undergraduate course in land information: From pen to interactive programming
Evaluating technology - based learning
Real-Life Learning in Higher Education
Using ICT in a Problem-Based Learning Approach
Directions and Challenges in Informatics Education
Design strategies of naive multimedia developers: Student difficulties in implementing constructivist paradigms in courseware
Higher Education: Learning in Real-Life
The role of formative evaluation in the progress of multimedia
Reflections from a slick surface: Design issues in interactive multimedia
Exploring user interfaces to improve learning outcomes
DAViT : A Software Engineering Environment for Distributed Programs
Barefoot multimedia, or, All is not what it seems, Moriarty
Intelligent Learning Objects
Informatics for noninformatics
Social learning systems: an overview
Experiences and Practices in Modeling Distance Learning Curricula for Capillary Approaches and Limited ICT Resource Scenarios
From Graduate to Undergraduate
Computing and education at the university level
Informatics education: trends, problems and the future
The book is dead, long live the book: Designing interactive publications
Building Electronic Educational Environments: Why, What and How?
The Design of a Flexible Hypermedia System
Investigating colaborative distance learning in small groups which use audio conferencing and a shared workplace
Learning from the ICT Industry Real-Life Context
A cognitive tool for learning mathematics
How to do more with less?
Learning from other disciplines: pedagogic models within computer science and from elsewhere
DEDICATED - Learning on Networked Multimedia Platforms
TC3 Task Force on Lifelong Learning
Collaborative work on informatics education of noninformatics students: a pilot project proposal
Meeting Diverse User Needs
Specifying and comparing informatics curricula through UCSIR
An experimental project for network-mediated professional specialization: distance learning scenario design and support systems
Commonalities and Differences in Electronic Educational Environments
A Structural Model of the Information Systems Professional
CATWEB: A Tool for Developing Courses for the Web and from the Web
Co-operative learning in the distance education of adults: why, how and first results from the Co-Learn Project
How to avoid inadequate evaluation of software for learning
Illustrated Mathematics: Visualizations for Classroom Use
Virtual mobility and distributed laboratories: supporting collaborative research with knowledge technology
Introduction to computing: a course in computer science fundamentals
Knowledge Acquisition in Small Businesses
Informatics in curricula for noninformaticsstudents: engineering and science
The Challenge of Visualizing Microscopic Molecular Worlds in Chemical Education
A common core of concepts for informatics majors
Evaluation ... a reflection: Evaluation issues in interactive
Creating Web-based Scenarios to Support Distance Learners
Computer science education in Japanese universities
Experiences and Challenges in Fostering Industry and University Collaborations
Input/Output for CS1 Course in Java
Product pedagogy as the foundation for computer supported collaborative learning
Teacher Training on the Job
Informatics in Higher Education, Views on informatics and non-informatics curricula, IFIP TC3/WG3.2 International Conference on Informatics (computer science) as a Discipline and in Other Disciplines: waht is common? 17-20 August 1997, Enschede, The Netherlands
Munics: Multimedia for Problem-Based Learning in Computer Science
Laplace's Equation on a Rectangle: A Maple-AVS Connection
Information overload in the information age
The Use of ICT in the Delivery of Online Services
Programming Strategies using an Actor-Based Environment
Multimedia: So much promise - so little progress
Understanding central concepts of statistics and experimental design in the social sciences
Teaching introductory computer science as a science of information
A Model for University Seminars held in Companies
Modelling the virtual campus
Teaching Programming and Problem Solving
Integrating Data Management, Visualization, and Instruction: the Object is Objects
Designing educational computer games
Informatics: the core and the presentation
Variations in Computing Science's Disciplinary Diversity
Real-Life Learning in Virtual Communities of Technology
Communities of Practice in Higher Education
The Swiss Virtual Campus: Present Situation and Challenges
Simulating Real-Life Problems
Trends in teaching informatics.
Variety in Views of University Curriculum Schemes for Informatics/Computing/ICT
Reflections from a fast-flowing stream: Implementation issues in interactive multimedia
The role of evaluation in curriculum design and innovation: A case study of a computer-based approach to teaching veterinary systematic bacteriology and mycology
Patterns of Curriculum Design
Towards informatics as a discipline: search for identity
A visual mapping approach to the evaluation of multimedia learning materials
Electronic performance support systems in higher education
Combining learning and assessment
Visualization of Neural Networking Using NeuroGraph
Designing for change in laboratory teaching: Pharmacology and physiology
Combined Research and Curriculum Development of Web and Java Based Educational Modules with Immersive Virtual Enviroments
Impacts of interdisciplinary dialogue to computer science education
The use of interactive multimedia in open and distance education: Emerging trends and developments
Use and misuse of taxonomies of learning: integrated educational goals in computer science curricula
Increasing access to higher education using ISDN conferencing to create a virtual classroom. A model from the University of Sunderland
Multimedia On-Demand and the Organization of Educational Systems
Issues in the Assessment of Real-Life Learning with ICT
Knowledge Work Management
Better Learning Online?
The Industry and Education Nexus
Encapsulating Real-Life Experience
Evaluating technology-based learning: Which model?
Getting Interactive Media into Schools
Experiences with a Hybrid Distance Education Model in Central and Eastern Europe
Customization of Industrial Training
Teaching Computer Graphics and Scientific Visualization Using the Dataflow, Block Diagram Language Data Explorer
Re-engineering University Services to Manage ICT in Education
The virtual cybercampus: Towards the future - a medical perspective
Implementing a Generalized Drag-and-Drop in X
Experiences with Tripwire: The Evaluation and Writing of a Security Tool
Software Design for Installability
USENIX Applications Development Symposium Proceedings 1994, Toronto, Ontario, Canada, April 25-28, 1994
SPP - Low Tech, Practical, UNIX Software Portability
Creating a Configurable Compiler Driver for System V Release 4
Dagger: A Tool to Generate Program Graphs
Jam - Make(1) Redux
Wrapping DCE/OSF Client/Server Applications
Design, Distribution, and Management of Object Oriented Software
Application Development With a UIMS
Spanning the Technology Generation Gap: Experiences Upgrading a Network Management Application to Unix
Porting and Maintaining with X and Motif: A Project Retrospective
Better Widget Design: A Practioner's Approach
The cube and the advantages of assimilation
Evaluating learning resources for reusability: the "dner & learning objects" study
Triple bottom line for online learning investments
Practices-based can make online perfect: studyage online
Can one size fit all? The case study of a cd rom in teacher education
Does gender influence discussion forum participation in online education?
Seachange: design of online quiz questions to foster deep learning
Simassessment: enhancing academics' understanding of assessment through computer simulation
Implementing and supporting virtual learning environments (VLES)
It takes more than metadata and stories of success: understanding barriers to reuse of computer-facilitated learning resources
Interlearn - A tool for collaborative learning
A five-level approach to the large-scale development and delivery of online programs
The cahllenge of change: introducing flexible learning into a traditional medical and health sciences faculty
Technical architecture of the RDN virtual training suite: a national e-learning resource for the UK
Centralised decentralised professional development models: supporting the long term use of information and communication technology (ICT) in higher education
Rethinking e-learning design on generative learning principles
The online university: the students' perspective
Implementing a computer training package to accomodate an increasingly computer literate cohort