0803 Computer Software Concept

subject area of

• "Hypermeshes": Optical Interconnection Networks for Parallel Computing  Journal Articles
• 7-Norbornyl Cation Fact or Fiction? A QTAIM-DI-VISAB Computational Study  Journal Articles
• A Bayesian Approach for One-Shot Device Testing With Exponential Lifetimes Under Competing Risks  Journal Articles
• A Branching Time Logical System for Open Distributed Systems Development  Journal Articles
• A CSP model of Eiffel’s SCOOP  Journal Articles
• A Cellular Array for the Nonrestoring Extraction of Square Roots  Journal Articles
• A Comparative Study of Predictable DRAM Controllers  Journal Articles
• A Comparison of Tabular Expression-Based Testing Strategies  Journal Articles
• A Comparison of Two Simple Prediction Intervals for Exponential Distribution  Journal Articles
• A Compositional Automata-based Approach for Model Checking Multi-Agent Systems  Journal Articles
• A Computational Technique For Maximum Likelihood Estimation With Weibull Models  Journal Articles
• A General Purpose Approximate Goodness-of-Fit Test for Progressively Type-II Censored Data  Journal Articles
• A Hitchhiker's Guide to Model-Driven Engineering for Data-Centric Systems  Journal Articles
• A Matrix Factorization Model for Hellinger-Based Trust Management in Social Internet of Things  Journal Articles
• A Meta-Analysis of Multisample Type-II Censored Data With Parametric and Nonparametric Results  Journal Articles
• A Model Slicing Method for Workflow Verification  Journal Articles
• A Multiple-FPGA parallel computing architecture for real-time simulation of soft-object deformation  Journal Articles
• A New Mean-Field Method Suitable for Strongly Correlated Electrons: Computationally Facile Antisymmetric Products of Nonorthogonal Geminals  Journal Articles
• A New Method for Goodness-of-Fit Testing Based on Type-II Right Censored Samples  Journal Articles
• A Novel Algorithmic Approach to Aid Post-Silicon Delay Measurement and Clock Tuning  Journal Articles
• A Petri Net Semantics of a Simple Process Algebra for Mobility  Journal Articles
• A Petri net model for membrane systems with dynamic structure  Journal Articles
• A Precise Characterisation of Step Traces and Their Concurrent Histories  Journal Articles
• A Proposed Measure of Residual Life of Live Components of a Coherent System  Journal Articles
• A QTAIM and Electron Delocalization Computational Study of tert-Butylmethylene, Trimethylsilylmethylene, and Trimethylgermylmethylene. A New Method for Unambiguously Characterizing the Bonding between Pairs of Atoms in Reaction Intermediates  Journal Articles
• A Software Certification Consortium and its Top 9 Hurdles  Journal Articles
• A common subgraph correspondence mining framework for map search services  Journal Articles
• A compositional Petri net translation of general π -calculus terms  Journal Articles
• A contextual framework for combating identity theft  Journal Articles
• A correctness proof for combinator reduction with cycles  Journal Articles
• A fast algorithm of intra prediction modes pruning for HEVC based on decision trees and a new three-step search  Journal Articles
• A formal semantics for concurrent systems with a priority relation  Journal Articles
• A fuzzy matchmaking approach for Semantic Web Services with application to collaborative material selection  Journal Articles
• A mathematical and computational model for simulating complex dynamic cancer growth and metastasis  Journal Articles
• A methodology for dynamic enterprise process performance evaluation  Journal Articles
• A monadic framework for delimited continuations  Journal Articles
• A novel blind detector for additive noise steganography in JPEG decompressed images  Journal Articles
• A quality of service (QoS)-aware execution plan selection approach for a service composition process  Journal Articles
• A quantitative model of the initiation of DNA replication in Saccharomyces cerevisiae predicts the effects of system perturbations  Journal Articles
• A query-retyping approach to model transformation co-evolution  Journal Articles
• A rational design process: How and why to fake it  Journal Articles
• A reflection on call-by-value  Conferences
• A review of Internet-based product information sharing and visualization  Journal Articles
• A simulation system for improving machining accuracy in milling  Journal Articles
• A survey on data center cooling systems: Technology, power consumption modeling and control strategy optimization  Journal Articles
• A survey on the design space of end-user-oriented languages for specifying robotic missions  Journal Articles
• A three-dimensional taxonomy for bidirectional model synchronization  Journal Articles
• A tutorial on metamodelling for grammar researchers  Journal Articles
• A two-layer optimal scheduling framework for energy savings in a data center for Cyber–Physical–Social Systems  Journal Articles
• A user‐assisted approach to component clustering  Journal Articles
• A verification-driven framework for iterative design of controllers  Journal Articles
• ACM Transactions on Design Automation of Electronic Systems  Journal
• ACM Transactions on Multimedia Computing, Communications, and Applications (TOMCCAP)  Journal
• ACM Transactions on Programming Languages and Systems  Journal
• ACM Transactions on Software Engineering and Methodology  Journal
• AN INTELLIGENT AGENT MOBILE EMISSIONS MODEL FOR URBAN ENVIRONMENTAL MANAGEMENT  Journal Articles
• APPROXIMABILITY IN THE GPAC  Journal Articles
• Accelerated Degradation Analysis for the Quality of a System Based on the Gamma Process  Journal Articles
• Accurate and Efficient Prediction of Post-Hartree–Fock Polarizabilities of Condensed-Phase Systems  Journal Articles
• Acta Informatica  Journal
• Active design reviews: Principles and practices  Journal Articles
• Adaptive blind image watermarking using edge pixel concentration  Journal Articles
• Adaptive control for geometric tracking in turning  Journal Articles
• Addenda and corrigenda  Journal Articles
• Adding A/Sync Places to the Synthesis Procedure for Whole-Place Operations Nets with Localities  Journal Articles
• Advances in Computers  Journal
• Aerial image dehazing using a deep convolutional autoencoder  Journal Articles
• Aesthetic-aware image retargeting based on foreground–background separation and PSO optimization  Journal Articles
• Agent-based collaborative product design engineering: An industrial case study  Journal Articles
• Algebraic Composition of Function Tables  Journal Articles
• An Algebra of Pure Quantum Programming  Journal Articles
• An Algebraic Approach to Refinement with Fair Choice  Journal Articles
• An Analysis of Hypermesh NoCs in FPGAs  Journal Articles
• An Iterative Array for Multiplication of Signed Binary Numbers  Journal Articles
• An Optimized Cell BE Special Function Library Generated by Coconut  Journal Articles
• An adaptive LSB matching steganography based on octonary complexity measure  Journal Articles
• An adaptive agent for case description in diagnostic CBR systems  Journal Articles
• An algebra of product families  Journal Articles
• An efficient high payload ±1 data embedding scheme  Journal Articles
• An extended account of contract monitoring strategies as patterns of communication  Journal Articles
• An integrated feature-based dynamic control system for on-line machining, inspection and monitoring  Journal Articles
• An object model for dynamic mixins  Journal Articles
• Anatomical location of injected microglia in different activation states and time course of injury determines survival of retinal ganglion cells after optic nerve crush.  Journal Articles
• Applied Computing Review  Journal
• Approximate MLE of the scale parameter of the Rayleigh distribution with censoring  Journal Articles
• Approximate MLEs for the location and scale parameters of the extreme value distribution with censoring  Journal Articles
• Approximate MLEs for the location and scale parameters of the half-logistic distribution with type-II right-censoring  Journal Articles
• Architecture description languages for high-integrity real-time systems  Journal Articles
• Architecture of a Terabit Free-Space Intelligent Optical Backplane  Journal Articles
• Atomic Charges and the Electrostatic Potential Are Ill-Defined in Degenerate Ground States  Journal Articles
• Automated Parametrization of AMBER Force Field Terms from Vibrational Analysis with a Focus on Functionalizing Dinuclear Zinc(II) Scaffolds  Journal Articles
• Automated Software Engineering  Journal
• Automated Software Engineering: Special Issue on Precise Semantics for Software Modeling Techniques  Books
• Automatic generation of UML profile graphical editors for Papyrus  Journal Articles
• Autopsy Data Analysis for a Series System With Active Redundancy Under a Load-Sharing Model  Journal Articles
• BMC Systems Biology  Journal
• BON-CASE: An Extensible CASE Tool for Formal Specification and Reasoning.  Journal Articles
• Behavior-Based Access Control for Distributed Healthcare Environment  Journal Articles
• Benchmarking  Journal
• Benchmarking bidirectional transformations: theory, implementation, application, and assessment  Journal Articles
• Best Constant-Stress Accelerated Life-Test Plans With Multiple Stress Factors for One-Shot Device Testing Under a Weibull Distribution  Journal Articles
• Blended modeling in commercial and open-source model-driven software engineering tools: A systematic study  Journal Articles
• BlessMark: a blind diagnostically-lossless watermarking framework for medical applications based on deep neural networks  Journal Articles
• Bridging proprietary modelling and open-source model management tools: the case of PTC Integrity Modeller and Epsilon  Journal Articles
• CLOVER: an agent-based approach to systems interoperability in cooperative design systems  Journal Articles
• CORRECTION  Journal Articles
• COSHH: A classification and optimization based scheduler for heterogeneous Hadoop systems  Journal Articles
• COSY ? a system specification language based on paths and processes  Journal Articles
• CPS in little pieces: composing partial continuations  Journal Articles
• Calculation of Fukui Functions Without Differentiating to the Number of Electrons. 3. Local Fukui Function and Dual Descriptor  Journal Articles
• Cameo: an alternative model of concurrency for Eiffel  Conferences
• Canonical prefixes of Petri net unfoldings  Journal Articles
• Categorical foundations for structured specifications in Z  Journal Articles
• Categorical semantics of parallel program design  Conferences
• Channel Selection Algorithm Based on Gibbs Sampler for Optimal QoM in Multi-Channel Wireless Networks  Journal Articles
• Characterization of the Chemical Behavior of the Low Excited States through a Local Chemical Potential  Journal Articles
• Characterizing Black-box Composition Operators via Generated Tailored Benchmarks.  Journal Articles
• Clafer: unifying class and feature modeling  Journal Articles
• Cloud/haze detection in airborne videos using a convolutional neural network  Journal Articles
• Code Cloning in Smart Contracts on the Ethereum Platform: An Extended Replication Study  Journal Articles
• Collaborative Model-Driven Software Engineering — A systematic survey of practices and needs in industry  Journal Articles
• Collaborative computing technologies and systems  Journal Articles
• Collaborative design: New methodologies and technologies  Journal Articles
• Collaborative engineering: From concurrent engineering to enterprise collaboration  Journal Articles
• Combining Genetic Programming and Model Checking to Generate Environment Assumptions  Journal Articles
• Comments on "A Simplified Definition of Walsh Functions"  Journal Articles
• Comments on ?A comparison of two synchronizing concepts by P.B. Hansen?  Journal Articles
• Comparison of manual and automated marking of student programs  Journal Articles
• Computational Vector-Magnitude-Based Range Determination for Scientific Abstract Data Types  Journal Articles
• Computer Languages  Journal
• Computer Standards and Interfaces  Journal
• Computer supported collaborative design: Retrospective and perspective  Conferences
• Computers & graphics  Journal
• Computers and Electrical Engineering  Journal
• Computers in industry (Print)  Journal
• Computing Second-Order Functional Derivatives with Respect to the External Potential  Journal Articles
• Computing covers from matchings with permutations  Journal Articles
• Conceptual Density-Functional Theory for General Chemical Reactions, Including Those That Are Neither Charge- nor Frontier-Orbital-Controlled. 1. Theory and Derivation of a General-Purpose Reactivity Indicator  Journal Articles
• Conceptual Density-Functional Theory for General Chemical Reactions, Including Those That Are Neither Charge- nor Frontier-Orbital-Controlled. 2. Application to Molecules Where Frontier Molecular Orbital Theory Fails  Journal Articles
• Conceptual modeling of data base operations  Journal Articles
• Concern-oriented language development (COLD): Fostering reuse in language engineering  Journal Articles
• Concurrency Computation Practice and Experience  Journal
• Consistent and complementary formal theories of the semantics of programming languages  Journal Articles
• Constraint programming for type inference in flexible model-driven engineering  Conferences
• Contents for a Model-Based Software Engineering Body of Knowledge  Journal Articles
• Context-aware saliency detection for image retargeting using convolutional neural networks  Journal Articles
• Cooperative Token-Ring Scheduling For Input-Queued Switches  Journal Articles
• Correction to "A Comparison of Two Simple Prediction Intervals for Exponential Distribution"  Journal Articles
• Correction to 'Approximate MLE of the scale parameter of the Rayleigh distribution with censoring' (Aug 89 355-357)  Journal Articles
• Correction to The Proof Of Theorem 2 In "parallel Signature Analysis Design With Bounds On Allasing"  Journal Articles
• Correction to “a rational design process: How and why to fake it”  Journal Articles
• Correction to: Multiple model synchronizationwith multiary delta lenses with amendment andK-Putput  Journal Articles
• Correction: Robust watermarking using diffusion of logo into auto-encoder feature maps  Journal Articles
• Corrections on "Optimal Step-Stress Test Under Progressive Type-I Censoring  Journal Articles
• Correctness of Monadic State: An Imperative Call-by-Need Calculus  Conferences
• DFT infrastructure for broadside two-pattern test of core-based SOCs  Journal Articles
• DISCO: Time-Compositional Cache Coherence for Multi-Core Real-Time Embedded Systems  Journal Articles
• DYNAMIC KNOWLEDGE EXTRACTION FROM SOFTWARE SYSTEMS USING SEQUENTIAL PATTERN MINING  Journal Articles
• Deep Semantic Mapping for Heterogeneous Multimedia Transfer Learning Using Co-Occurrence Data  Journal Articles
• Defining the meaning of tabular mathematical expressions  Journal Articles
• Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance  Journal Articles
• Desert Island Column.  Journal Articles
• Design and Implementation of Holistic Scheduling and Efficient Storage for FlexRay  Journal Articles
• Design and Specification of the Minimal Subset of an Operating System Family  Journal Articles
• Design principles for practical self-routing nonblocking switching networks with O(N·log N) bit-complexity  Journal Articles
• Designing Predictable Cache Coherence Protocols for Multi-Core Real-Time Systems  Journal Articles
• Designing Software for Ease of Extension and Contraction  Journal Articles
• Distributed model validation with Epsilon  Journal Articles
• Divergence-Based Robust Inference Under Proportional Hazards Model for One-Shot Device Life-Test  Journal Articles
• Dual Grid Methods for Finding the Reaction Path on Reduced Potential Energy Surfaces  Journal Articles
• Dynamic Optimal Countermeasure Selection for Intrusion Response System  Journal Articles
• Dynamic manufacturing scheduling using both functional and resource related agents  Journal Articles
• Dynamic scheduling for heterogeneous Desktop Grids  Journal Articles
• Dynamite  Journal Articles
• E-Tester: a Contract-Aware and Agent-Based Unit Testing Framework for Eiffel.  Journal Articles
• EM Algorithm for One-Shot Device Testing With Competing Risks Under Weibull Distribution  Journal Articles
• ERC ? An object-oriented refinement calculus for Eiffel  Journal Articles
• Editorial  Journal Articles
• Editorial  Journal Articles
• Editorial  Journal Articles
• Editorial  Journal Articles
• Editorial of the Special Issue on CSCW in Design  Journal Articles
• Editorial of the special issue on knowledge sharing in collaborative design environments  Journal Articles
• Efficient Analysis of DynAlloy Specifications  Journal Articles
• Efficient parallel graph trimming by arc-consistency  Journal Articles
• Electronic Notes in Theoretical Computer Science  Journal
• Embeddings of Star Graphs into Optical Meshes without Bends  Journal Articles
• Embracing the laws of physics: Three reversible models of computation  Journal Articles
• Embracing the laws of physics: Three reversible models of computation  Chapters
• Empirical Software Engineering  Journal
• End-to-end delay control of multimedia applications over multihop wireless links  Journal Articles
• Engineering Mobile Apps for Disaster Management: The Case of COVID-19 Apps in the Google Play Store  Journal Articles
• Engineering model transformations with transML  Journal Articles
• Epsilon Flock: a model migration language  Journal Articles
• Eugenia: towards disciplined and automated development of GMF-based graphical model editors  Journal Articles
• Evolving models in Model-Driven Engineering: State-of-the-art and future challenges  Journal Articles
• Exact Inference for Laplace Quantile, Reliability, and Cumulative Hazard Functions Based on Type-II Censored Data  Journal Articles
• Exact Nonparametric Inference for Component and System Lifetime Distributions Based on Joint Signatures  Journal Articles
• Exact Nonparametric Meta-Analysis of Lifetime Data From Systems With Known Signatures  Journal Articles
• Exceptions in Concurrent Eiffel.  Journal Articles
• Expectation Maximization Algorithm for One Shot Device Accelerated Life Testing with Weibull Lifetimes, and Variable Parameters over Stress  Journal Articles
• Exploring PSI-MI XML Collections Using DescribeX  Journal Articles
• Exploring Tabular Verification and Refinement  Journal Articles
• Exposing Implementation Details of Embedded DRAM Memory Controllers through Latency-based Analysis  Journal Articles
• Faithful Modeling of Product Lines with Kripke Structures and Modal Logic  Journal Articles
• FedSup: A communication-efficient federated learning fatigue driving behaviors supervision approach  Journal Articles
• Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages  Journal Articles
• Foreword to the special section on negative results in software engineering  Journal Articles
• Formal Aspects of Computing  Journal
• Formal methods in system design  Journal
• Formal semantics of a class of high-level primitives for coordinating concurrent processes  Journal Articles
• Formal verification and validation of embedded systems: the UML-based MADES approach  Journal Articles
• Formal verification of function blocks applied to IEC 61131-3  Journal Articles
• Foundations of the trace assertion method of module interface specification  Journal Articles
• Framed temporal logic programming  Journal Articles
• Framework for robust blind image watermarking based on classification of attacks  Journal Articles
• From Reversible Programs to Univalent Universes and Back  Journal Articles
• Functional documents for computer systems  Journal Articles
• Functional feasibility analysis of variability-intensive data flow-oriented applications over highly-configurable platforms  Journal Articles
• Fundamentals of modelling concurrency using discrete relational structures  Journal Articles
• Future generations computer systems  Journal
• GUEST EDITORS' INTRODUCTION  Journal Articles
• Game Development using Design-by-Contract.  Journal Articles
• Gaussian Elimination: A case study in efficient genericity with MetaOCaml  Conferences
• Generating Cyclic-Random Sequences in a Constrained Space for In-System Validation  Journal Articles
• Genericity for model management operations  Journal Articles
• Genetic algorithms in agent-based manufacturing scheduling systems  Journal Articles
• Goodness of Fit Using a New Estimate of Kullback-Leibler Information Based on Type II Censored Data  Journal Articles
• Goodness-of-Fit Test Based on Kullback-Leibler Information for Progressively Type-II Censored Data  Journal Articles
• Goodness-of-Fit Tests Based on Spacings for Progressively Type-II Censored Data From a General Location-Scale Distribution  Journal Articles
• Grand challenges in model-driven engineering: an analysis of the state of the research  Journal Articles
• Gravity  Journal Articles
• Guest Editorial: Special Issue on Cyber-Physical Systems and Services  Journal Articles
• Guest editorial to the special issue on Success Stories in Model Driven Engineering  Journal Articles
• Guest editorial to the special issue on model transformation  Journal Articles
• Guest editorial to the special section on MODELS 2018  Journal Articles
• Guest editorial to the theme issue on traceability in model-driven engineering  Journal Articles
• Handbook of Practical Logic and Automated Reasoning, by John Harrison, Cambridge University Press, 2009 ISBN 9780521899574  Journal Articles
• Heterogeneous Differential-Private Federated Learning: Trading Privacy for Utility Truthfully  Journal Articles
• Heterogeneous Notations for Pure Formal Method Integration  Journal Articles
• Heterogeneous megamodel management using collection operators  Journal Articles
• Hierarchical Temporal Specifications of Dynamically Reconfigurable Component Based Systems  Journal Articles
• Hierarchical watermarking framework based on analysis of local complexity variations  Journal Articles
• Higher order data types  Journal Articles
• Hirshfeld-E Partitioning: AIM Charges with an Improved Trade-off between Robustness and Accurate Electrostatics  Journal Articles
• Holistic thermal-aware workload management and infrastructure control for heterogeneous data centers using machine learning  Journal Articles
• How do microservices evolve? An empirical analysis of changes in open-source microservice repositories  Journal Articles
• How to Compute the Fukui Matrix and Function for Systems with (Quasi-)Degenerate States  Journal Articles
• Hybrid surrogate model for online temperature and pressure predictions in data centers  Journal Articles
• IEEE Security and Privacy  Journal
• IEEE Software  Journal
• IEEE Transactions on Dependable and Secure Computing  Journal
• IEEE Transactions on Parallel and Distributed Systems  Journal
• IEEE Transactions on Reliability  Journal
• IEEE Transactions on Services Computing  Journal
• IEEE Transactions on Software Engineering  Journal
• IEEE transactions on computers  Journal
• IET Software  Journal
• IETE Journal of Research  Journal
• Image retargeting using nonparametric semantic segmentation  Journal Articles
• Implementability of Requirements in the Four-Variable Model  Journal Articles
• Improving the SAT modulo ODE approach to hybrid systems analysis by combining different enclosure methods  Journal Articles
• Industrial Management and Data Systems  Journal
• Inequational Deduction as Term Graph Rewriting  Journal Articles
• Inference for a Simple Step-Stress Model With Type-II Censoring, and Weibull Distributed Lifetimes  Journal Articles
• Information and Software Technology  Journal
• Initial Hardness Response and Hardness Profiles in the Study of Woodward–Hoffmann Rules for Electrocyclizations  Journal Articles
• Inspection's role in software quality assurance  Journal Articles
• Integrated Computer-Aided Engineering  Journal
• Integrating BON and Object-Z  Journal Articles
• Integrating BON and Object-Z.  Journal Articles
• Integration of sequential scenarios  Conferences
• Integration of transcriptional inputs at promoters of the arabinose catabolic pathway  Journal Articles
• Interface Contracts for Workflow+ Models: an Analysis of Uncertainty across Models.  Journal Articles
• International Journal of Computer Networks and Communications  Journal
• International Journal of Computers and their Applications  Journal
• International Journal of Parallel Programming  Journal
• International Journal of Software Engineering and Knowledge Engineering  Journal
• International Journal on Software Tools for Technology Transfer  Journal
• Invariants and paradigms of concurrency theory  Journal Articles
• Investigating the Linear Response Function under Approximations Following the Coupled-Perturbed Approach for Atoms and Molecules  Journal Articles
• Iterative criteria-based approach to engineering the requirements of software development methodologies  Journal Articles
• Jisuanji Xuebao/Chinese Journal of Computers  Journal
• Joint data center cooling and workload management: A thermal-aware approach  Journal Articles
• Journal of Chemical Theory and Computation  Journal
• Journal of Computer Security  Journal
• Journal of Computer Virology and Hacking Techniques  Journal
• Journal of Functional Programming  Journal
• Journal of Object Technology  Journal
• Journal of Parallel and Distributed Computing  Journal
• Journal of Software Engineering and Applications  Journal
• Journal of Software-Evolution and Process  Journal
• Journal of Supercomputing  Journal
• Journal of Systems Architecture  Journal
• Journal of Systems and Software  Journal
• Journal of integrative bioinformatics  Journal
• KNOWLEDGE-BASED REASONING ENHANCED CONTROL SYSTEM FORIN-SITUBIOREMEDIATION PROCESSES  Journal Articles
• Knowledge-Driven User Behavior Pattern Discovery for System Security Enhancement  Journal Articles
• Lazy Evaluation and Delimited Control  Journal Articles
• Lessons learned from building model-driven development tools  Journal Articles
• Leveraging live machine learning and deep sleep to support a self-adaptive efficient configuration of battery powered sensors  Journal Articles
• Lies, Damned Lies and UML2Java.  Journal Articles
• Likelihood Inference Based on Left Truncated and Right Censored Data From a Gamma Distribution  Journal Articles
• Likelihood Inference Under Proportional Hazards Model for One-Shot Device Testing  Journal Articles
• Linear Inference for Type-II Censored Lifetime Data of Reliability Systems With Known Signatures  Journal Articles
• Linear Programming-Based Affinity Scheduling of Independent Tasks on Heterogeneous Computing Systems  Journal Articles
• Linearized Coupled Cluster Correction on the Antisymmetric Product of 1-Reference Orbital Geminals  Journal Articles
• Localized model transformations for building large-scale transformations  Journal Articles
• Logical Methods in Computer Science  Journal
• L∞-Constrained near-lossless image compression using weighted finite automata encoding  Journal Articles
• MSiT: A Cross-Machine Fault Diagnosis Model for Machine-Level CNC Spindle Motors  Journal Articles
• Mapping Quantum Chemical Dynamics Problems to Spin-Lattice Simulators  Journal Articles
• Mapping Trigger Conditions onto Trigger Units during Post-silicon Validation and Debugging  Journal Articles
• Maximizing cover probability by using multivariate normal distributions  Journal Articles
• Mean Residual Life Function, Associated Orderings and Properties  Journal Articles
• Merged processes: a new condensed representation of Petri net behaviour  Journal Articles
• Message oriented programming—A resource based methodology  Journal Articles
• Metamodel-based model conformance and multiview consistency checking  Journal Articles
• Minimal Basis Iterative Stockholder: Atoms in Molecules for Force-Field Development  Journal Articles
• Minimum-Distance Parametric Estimation Under Progressive Type-I Censoring  Journal Articles
• Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties  Journal Articles
• Model Mis-Specification Analyses of Weibull and Gamma Models Based on One-Shot Device Test Data  Journal Articles
• Model checking timed properties of healthcare processes  Journal Articles
• Model consistency as a heuristic for eventual correctness  Journal Articles
• Model synchronization based on triple graph grammars: correctness, completeness and invertibility  Journal Articles
• Model-based tool support for Tactical Data Links: an experience report from the defence domain  Journal Articles
• Model-driven software development. By Thomas Stahl and Markus Volter. Published by John Wiley & Sons, New York, 2006. ISBN: 0470025700, 444 pages. Price £33.99. Soft Cover  Journal Articles
• Modeling Parameters of a Load-Sharing System Through Link Functions in Sequential Order Statistics Models and Associated Inference  Journal Articles
• Modeling biological gradient formation: combining partial differential equations and Petri nets  Journal Articles
• Modelling Agile Backlogs as Composable Artifacts to support Developers and Product Owners.  Journal Articles
• Modelling Opacity Using Petri Nets  Conferences
• Modular array structure for non-restoring square root circuit  Journal Articles
• Monadic encapsulation of effects: a revised approach (extended version)  Journal Articles
• Multi-stage programming with functors and monads: Eliminating abstraction overhead from generic code  Journal Articles
• Multimedia Tools and Applications  Journal
• Multiple Model Synchronization with Multiary Delta Lenses with Amendment and K-Putput  Preprints
• Multiple model synchronization with multiary delta lenses with amendment andK-Putput  Journal Articles
• Multiple scan chains for power minimization during test application in sequential circuits  Journal Articles
• Multiple-Stress Model for One-Shot Device Testing Data Under Exponential Distribution  Journal Articles
• Natural Computing  Journal
• Neural network solution for a real-time no-reference video quality assessment of H.264/AVC video bitstreams  Journal Articles
• No-reference stereo image quality assessment based on discriminative sparse representation  Journal Articles
• NoC-Based FPGA Acceleration for Monte Carlo Simulations with Applications to SPECT Imaging  Journal Articles
• Nonconfidential Patient Types in Emergency Clinical Decision Support  Journal Articles
• Nonvariational Orbital Optimization Techniques for the AP1roG Wave Function  Journal Articles
• Not by equations alone: Reasoning with extensible effects  Journal Articles
• OR Spectrum  Journal
• On Improving Backwards Verification of Timed Automata (Extended Abstract)  Conferences
• On Using Lossy Compression for Repeatable Experiments during Silicon Debug  Journal Articles
• On Utilizing Model Transformation for the Performance Analysis of Queueing Networks  Journal Articles
• On a formal semantics of tabular expressions  Journal Articles
• On iterative constructs  Journal Articles
• On requirement verification for evolving Statecharts specifications  Journal Articles
• On satisfying timing constraints in hard-real-time systems  Conferences
• On the Design and Development of Program Families  Journal Articles
• On the Permutation Capability of Multistage Interconnection Networks  Journal Articles
• On the design and specification of message oriented programs  Journal Articles
• On the expressiveness of subset-sum representations  Journal Articles
• On the universality of multipath multistage interconnection networks  Journal Articles
• On tractability and congruence distributivity  Journal Articles
• Ontology maintenance in high level architecture federation development and execution process  Journal Articles
• Opportunities in intelligent modeling assistance  Journal Articles
• Optimal Burn-In Policy for Highly Reliable Products Using Gamma Degradation Process  Journal Articles
• Optimal Design for Accelerated-Stress Acceptance Test Based on Wiener Process  Journal Articles
• Optimal Design for Degradation Tests Based on Gamma Processes With Random Effects  Journal Articles
• Optimal Step-Stress Accelerated Degradation Test Plan for Gamma Degradation Processes  Journal Articles
• Optimal Step-Stress Test Under Progressive Type-I Censoring  Journal Articles
• Optimization in Computer Engineering—Theory and Applications: Book Review of Chapter 8—Applying Graph Coloring to Frequency Assignment  Journal Articles
• Order Restricted Inference for Exponential Step-Stress Models  Journal Articles
• PISCOT: A Pipelined Split-Transaction COTS-Coherent Bus for Multi-Core Real-Time Systems  Journal Articles
• PMC  Journal Articles
• PREDICTIVE TRACES IN HYBRID SYSTEMS  Journal Articles
• Panoptes  Journal Articles
• Paradigm for compliant motion control in environments with unknown or variable dynamics  Journal Articles
• Parallel computing strategies in the analysis of the inhibiting effect of price limits on futures prices  Journal Articles
• Parallel implementation of the extended square-root covariance filter for tracking applications  Journal Articles
• Partial evaluation of Maple  Journal Articles
• Patient attitudes toward physicians  Journal Articles
• Personal assistant agents for collaborative design environments  Journal Articles
• Petri Nets for Biologically Motivated Computing  Journal Articles
• Point and interval estimation for Gaussian distribution, based on progressively type-II censored samples  Journal Articles
• Point/Counterpoint  Journal Articles
• Power-aware linear programming based scheduling for heterogeneous computer clusters  Journal Articles
• Precise documentation of well-structured programs  Journal Articles
• Predicate logic for software engineering  Journal Articles
• Predictive traces in hybrid systems  Conferences
• Preface  Journal Articles
• Preface  Journal Articles
• Preface to the JOT Special Issue dedicated to Martin Gogolla on his 65th Birthday.  Journal Articles
• Preface to the JOT Special Issue dedicated to Prof. Antonio Vallecillo on his 60th Birthday.  Journal Articles
• Preface to the JOT issue on 18th European Conference on Modelling Foundations and Applications (ECMFA 2022).  Journal Articles
• Preface to the JOT special issue containing the ECMFA 2020 selected papers.  Journal Articles
• Principles for modeling language design  Journal Articles
• Prinsimp  Journal Articles
• Priority scheduling versus pre-run-time scheduling  Journal Articles
• Progressive Data Retrieval for Distributed Networked Storage  Journal Articles
• PuRSUE -from specification of robotic environments to synthesis of controllers  Journal Articles
• Putting Operational Techniques to the Test: A Syntactic Theory for Behavioral Verilog  Conferences
• Pyramidal modeling of geometric distortions for retargeted image quality evaluation  Journal Articles
• Quantum Arrows in Haskell  Journal Articles
• R Journal  Journal
• Real-Time Systems  Journal
• Real-time collaborative multi-level modeling by conflict-free replicated data types  Journal Articles
• Real-time lossless compression of microarray images by separate compaction of foreground and background  Journal Articles
• Reasoning about static and dynamic properties in alloy  Journal Articles
• ReaxFF Molecular Dynamics Simulation for the Graphitization of Amorphous Carbon: A Parametric Study  Journal Articles
• Recursion and Petri nets  Journal Articles
• Reduced latency DRAM for multi-core safety-critical real-time systems  Journal Articles
• Refinement and Development of Programs from Relational Specifications  Journal Articles
• Refinement via Consistency Checking in MDA  Journal Articles
• Reflections on Surrogate-Assisted Search-Based Testing: A Taxonomy and Two Replication Studies based on Industrial ADAS and Simulink Models  Journal Articles
• Relational structures model of concurrency  Journal Articles
• Reliability Inference on Composite Dynamic Systems Based on Burr Type-XII Distribution  Journal Articles
• Reliability sampling plans for lognormal distribution, based on progressively-censored samples  Journal Articles
• Repository mining for changes in Simulink and Stateflow models  Journal Articles
• Requirements Engineering  Journal
• Requirements Scenarios Formalization Technique  Journal Articles
• Requirements-based monitors for real-time systems  Journal Articles
• Research of incoherence rotated chaotic measurement matrix in compressed sensing  Journal Articles
• Reversible computation vs. reversibility in Petri nets  Journal Articles
• Rigidity Driven Underwater Sensor Self-Organized Deployment  Journal Articles
• Rigorous identification and encoding of trace-links in model-driven engineering  Journal Articles
• Robust Inference for One-Shot Device Testing Data Under Weibull Lifetime Model  Journal Articles
• Robust image watermarking scheme using bit-plane of hadamard coefficients  Journal Articles
• Robust watermarking using diffusion of logo into auto-encoder feature maps  Journal Articles
• Runtime translation of OCL-like statements on Simulink models: Expanding domains and optimising queries  Journal Articles
• SCO link sharing in Bluetooth voice access networks  Journal Articles
• SECG: The SCOOP-to-Eiffel Code Generator.  Journal Articles
• Scheduling processes with release times, deadlines, precedence and exclusion relations  Journal Articles
• Science of Computer Programming  Journal
• Scientific Annals of Computer Science  Journal
• Search-based Software Testing Driven by Automatically Generated and Manually Defined Fitness Functions  Journal Articles
• Sequent calculi and abstract machines  Journal Articles
• Signature required: Making Simulink data flow and interfaces explicit  Journal Articles
• Simple and efficient motion estimation algorithm by continuum search  Journal Articles
• Simply Invertible Matrices  Journal Articles
• Simulating the behavior of software modules by trace rewriting  Journal Articles
• Simulation relations for fault-tolerance  Journal Articles
• Single image rain/snow removal using distortion type information  Journal Articles
• Software Design Trends Supporting Multiconcern Assurance  Journal Articles
• Software Structures: A Careful Look  Journal Articles
• Software Systems Engineering programmes a capability approach  Journal Articles
• Software Testing Verification and Reliability  Journal
• Software and Systems Modeling (SoSyM)  Journal
• Software engineering practices and Simulink: bridging the gap  Journal Articles
• Software engineering programs are not computer science programs  Journal Articles
• Software tools for safety-critical software development  Journal Articles
• Some advanced control strategies for modern machine tools  Journal Articles
• Special Issue on Service-Oriented Collaborative Computing and Applications  Journal Articles
• Special Issue on the 6th and 7th International Conferences on Software Language Engineering (SLE 2013 and SLE 2014)  Journal Articles
• Special Section: QoS in Grid and Cloud  Journal Articles
• Special issue on Model Based Engineering for Embedded Systems Design  Journal Articles
• Specification Patterns for Robotic Missions  Journal Articles
• Specifying and Reasoning about CPS through the Lens of the NIST CPS Framework  Journal Articles
• Speed-adaptive multi-copy routing for vehicular delay tolerant networks  Journal Articles
• Stand-alone data manipulation programs  Journal Articles
• State Space Reduction for Dynamic Process Creation  Journal Articles
• Statistical Inference of Component Lifetimes With Location-Scale Distributions From Censored System Failure Data With Known Signature  Journal Articles
• Step coverability algorithms for communicating systems  Journal Articles
• Step semantics of boolean nets  Journal Articles
• Step traces  Journal Articles
• Stochastic Comparisons of Series and Parallel Systems With Generalized Exponential Components  Journal Articles
• Strategy based semantics for mobility with time and access permissions  Journal Articles
• Stress-testing remote model querying APIs for relational and graph-based stores  Conferences
• Study on localizability judgment in underwater sensor networks based on skeleton extraction and rigidity theory  Journal Articles
• Surface accuracy control in end milling using adaptive state tracking  Journal Articles
• Surveying Rule Inheritance in Model-to-Model Transformation Languages.  Journal Articles
• Surveying Rule Inheritance in Model-to-Model Transformation Languages.  Journal Articles
• Sustaining human health: A requirements engineering perspective  Journal Articles
• Symmetric Nonlocal Weighted Density Approximations from the Exchange-Correlation Hole of the Uniform Electron Gas  Journal Articles
• Synchronizing events in replicated systems  Journal Articles
• Synchronous resource allocation: modeling, capacity, and optimization  Journal Articles
• Synthesis of Hidden Subgroup Quantum Algorithms and Quantum Chemical Dynamics  Journal Articles
• Synthesis of Petri nets with localities  Journal Articles
• TACO: Efficient SAT-Based Bounded Verification Using Symmetry Breaking and Tight Bounds  Journal Articles
• TOrPEDO: witnessing model correctness with topological proofs  Journal Articles
• Tabular Verification and Refinement  Journal Articles
• Temporal theories as modularisation units for concurrent system specification  Journal Articles
• Testing Exponentiality Based on Kullback-Leibler Information With Progressively Type-II Censored Data  Journal Articles
• The ForeMoSt approach to building valid model-based safety arguments  Journal Articles
• The Gradient Curves Method:  An Improved Strategy for the Derivation of Molecular Mechanics Valence Force Fields from ab Initio Data  Journal Articles
• The Merlin-Randell problem of train journeys  Journal Articles
• The Modular Structure of Complex Systems  Journal Articles
• The Significance of Parameters in Charge Equilibration Models  Journal Articles
• The Single Model Principle.  Journal Articles
• The Tabular Method for Relational Documentation  Journal Articles
• The crs Package: Nonparametric Regression Splines for Continuous and Categorical Predictors  Journal Articles
• The impact of e-commerce capabilities on agricultural firms’ performance gains: the mediating role of organizational agility  Journal Articles
• The logic of software design  Journal Articles
• The methodology of mining cognitive maps based on data resources  Journal Articles
• The role of inspection in software quality assurance  Journal Articles
• Theory and Practice of Logic Programming  Journal
• Thermodynamic Justification for the Parabolic Model for Reactivity Indicators with Respect to Electron Number and a Rigorous Definition for the Electrophilicity: The Essential Role Played by the Electronic Entropy  Journal Articles
• Timestamp Temporal Logic (TTL) for Testing the Timing of Cyber-Physical Systems  Journal Articles
• Toward Evidence-Based Software Engineering: Lessons Learned in Healthcare Application Development  Journal Articles
• Towards Optimisation of Model Queries: A Parallel Execution Approach.  Journal Articles
• Towards a cooperative distributed manufacturing management framework  Journal Articles
• Towards a cooperative distributed manufacturing management framework  Journal Articles
• Towards a service-oriented cyber–physical systems of systems for smart city mobility applications  Journal Articles
• Trace Diagnostics for Signal-Based Temporal Properties  Journal Articles
• Trade-Offs in Test Data Compression and Deterministic X-Masking of Responses  Journal Articles
• Transactions on Embedded Computing Systems  Journal
• Transformations of normal and inverted function tables  Journal Articles
• Translating Probability Density Functions: From R to BUGS and Back Again  Journal Articles
• Two implementation relations and the correctness of communicating replicated processes  Journal Articles
• Two-Phase Degradation Process Model With Abrupt Jump at Change Point Governed by Wiener Process  Journal Articles
• Type inference in flexible model-driven engineering using classification algorithms  Journal Articles
• Understanding and improving UML package merge  Conferences
• Update Transformations in the Small with the Epsilon Wizard Language.  Conferences
• Use of symmetry in prediction-error field for lossless compression of 3D MRI images  Journal Articles
• Using Net Refinement to Compute the Fixpoint of a Recursive Expression  Journal Articles
• Using autonomous components to improve runtime qualities of software  Journal Articles
• Using horizontal prefetching to circumvent the jump problem  Journal Articles
• Using test oracles generated from program documentation  Journal Articles
• Using the ratio of means as the effect size measure in combining results of microarray experiments  Journal Articles
• Utilizing big data for batch process modeling and control  Journal Articles
• Verification of bounded Petri nets using integer programming  Journal Articles
• WebBlow: a Web/agent-based multidisciplinary design optimization environment  Journal Articles
• What is a purely functional language?  Journal Articles
• When are methods complementary?  Journal Articles
• When is the Fukui Function Not Normalized? The Danger of Inconsistent Energy Interpolation Models in Density Functional Theory  Journal Articles
• Wireless Mesh Network Performance for Urban Search and Rescue Missions  Journal Articles
• XAI for intrusion detection system: comparing explanations based on global and local scope  Journal Articles
• XRound: A reversible template language and its application in model-based security analysis  Journal Articles
• glmmTMB Balances Speed and Flexibility Among Packages for Zero-inflated Generalized Linear Mixed Modeling  Journal Articles
• “ Adore ”, a logical meta-model supporting business process evolution  Journal Articles
• “Formal methods” technology transfer will fail  Journal Articles