Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Boris Motruk, Jonas Diemer, Rainer Buchty, Rolf Ernst, Mladen Berekovic |
IDAMC: A Many-Core Platform with Run-Time Monitoring for Mixed-Criticality. |
HASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Amel Mammar, Marc Frappier, Raphaël Chane-Yack-Fa |
Proving the Absence Property Pattern Using the B Method. |
HASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Mark Allison, Karl A. Morris, Zhenyu Yang, Peter J. Clarke, Fábio M. Costa |
Towards Reliable Smart Microgrid Behavior Using Runtime Model Synthesis. |
HASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Wenke Zhang, Favyen Bastani, I-Ling Yen, Kevin Hulin, Farokh B. Bastani, Latifur Khan |
Real-Time Anomaly Detection in Streams of Execution Traces. |
HASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Simon Struck, Michael Lipaczewski, Frank Ortmeier, Matthias Güdemann |
Multi-objective Optimization of Formal Specifications. |
HASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Michael Lipaczewski, Simon Struck, Frank Ortmeier |
Using Tool-Supported Model Based Safety Analysis - Progress and Experiences in SAML Development. |
HASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Hong Lu, Li Zhang, Zhao Liu |
A MDA-based Approach for Developing Simulation-Oriented Combat Flows. |
HASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Karl A. Morris, Jinpeng Wei, Peter J. Clarke, Fábio M. Costa |
Towards Adaptable Middleware to Support Service Delivery Validation in i-DSML Execution Engines. |
HASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Piergiuseppe Bettassa Copet, Alfredo Pironti 0001, Davide Pozza, Riccardo Sisto, Pietro Vivoli |
Visual Model-Driven Design, Verification and Implementation of Security Protocols. |
HASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Kavyashree Jamboti, Peter Liggesmeyer |
A Framework for Generating Integrated Component Fault Trees from Architectural Views. |
HASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Raul Schmidlin Fajardo Silva, Guillermo Marcus |
Device Mechanism: A Structured Device Driver Development Approach. |
HASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jiexin Zhang 0002, Yang Liu 0003, Jing Sun 0002, Jin Song Dong, Jun Sun 0001 |
Model Checking Software Architecture Design. |
HASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Anthony Sargeant, Paul Townend, Jie Xu 0007, Karim Djemame |
Evaluating the Dependability of Dynamic Binding in Web Services. |
HASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | João Figueiras, Jesper Grønbæk, Andrea Ceccarelli, Hans-Peter Schwefel |
GPS and Electronic Fence Data Fusion for Positioning within Railway Worksite Scenarios. |
HASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Puntitra Sawadpong, Edward B. Allen, Byron J. Williams |
Exception Handling Defects: An Empirical Study. |
HASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Muhammad Afzaal, Cesario Di Sarno, Luigi Coppolino, Salvatore D'Antonio, Luigi Romano |
A Resilient Architecture for Forensic Storage of Events in Critical Infrastructures. |
HASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Ceccarelli, Andrea Bondavalli, João Figueiras, Boris Malinowsky, Jurij Wakula, Francesco Brancati, Carlo Dambra, Andrea Seminatore |
Design and Implementation of Real-Time Wearable Devices for a Safety-Critical Track Warning System. |
HASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sean Banerjee, Bojan Cukic, Donald A. Adjeroh |
Automated Duplicate Bug Report Classification Using Subsequence Matching. |
HASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | |
14th International IEEE Symposium on High-Assurance Systems Engineering, HASE 2012, Omaha, NE, USA, October 25-27, 2012 |
HASE |
2012 |
DBLP BibTeX RDF |
|
1 | Thomas Ruhroth, Jan Jürjens |
Supporting Security Assurance in the Context of Evolution: Modular Modeling and Analysis with UMLsec. |
HASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Hossain Shahriar, Mohammad Zulkernine |
Information-Theoretic Detection of SQL Injection Attacks. |
HASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Huu Nghia Nguyen, Pascal Poizat, Fatiha Zaïdi |
Online Verification of Value-Passing Choreographies through Property-Oriented Passive Testing. |
HASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Leon Wu, Gail E. Kaiser |
An Autonomic Reliability Improvement System for Cyber-Physical Systems. |
HASE |
2012 |
DBLP DOI BibTeX RDF |
|
1 | David Lo 0001, Hong Cheng 0001, Xiaoyin Wang |
Bug Signature Minimization and Fusion. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Wuliang Sun, Robert B. France, Indrakshi Ray |
Supporting Iterative Development of Robust Operation Contracts in UML Requirements Models. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Mladen A. Vouk, Pierre Mouallem |
On High-Assurance Scientific Workflows. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Hicham Assoudi, Hakim Lounis |
Self-Healing Data Exchange Process under Evolving Schemas: A New Mapping Adaptation Approach Based on Self-Optimization. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Taghi M. Khoshgoftaar (eds.) |
13th IEEE International Symposium on High-Assurance Systems Engineering, HASE 2011, Boca Raton, FL, USA, November 10-12, 2011 |
HASE |
2011 |
DBLP BibTeX RDF |
|
1 | Mustapha Mjit, Pierre-Philippe J. Beaujean, David J. Vendittis |
Smart Vibration Monitoring System for an Ocean Turbine. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Chuanqi Tao, Bixin Li, Jerry Gao 0002 |
Regression Testing of Component-Based Software: A Systematic Practise Based on State Testing. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Mingjie Lin, Yu Bai 0004, John Wawrzynek |
Discriminatively Fortified Computing with Reconfigurable Digital Fabric. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Chetan Mutha, Carol S. Smidts |
An Early Design Stage UML-Based Safety Analysis Approach for High Assurrance Software Systems. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Manasi Peshave, Farokh B. Bastani, I-Ling Yen |
High-Assurance Reconfigurable Multicore Processor Based Systems. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Rui Yang, Zhenyu Chen 0001, Baowen Xu, W. Eric Wong, Jie Zhang |
Improve the Effectiveness of Test Case Generation on EFSM via Automatic Path Feasibility Analysis. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Mazen El Maarabani, Ana R. Cavalli, Iksoon Hwang, Fatiha Zaïdi |
Verification of Interoperability Security Policies by Model Checking. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Atif Mashkoor, Jean-Pierre Jacquot |
Guidelines for Formal Domain Modeling in Event-B. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Vishesh Ved, Vivek Tyagi, Ankur Agarwal, Abhijit S. Pandya |
Personal Health Record System and Integration Techniques with Various Electronic Medical Record Systems. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jianwen Li, Zheng Wang 0005, Yongxin Zhao, Geguang Pu, Yanxia Qi, Bin Gu 0006 |
An Event-B Interpretation for SPARDL Model. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Mehrdad Sabetzadeh, Davide Falessi, Lionel C. Briand, Stefano Di Alesio, Dag McGeorge, Vidar Åhjem, Jonas Borg |
Combining Goal Models, Expert Elicitation, and Probabilistic Simulation for Qualification of New Technology. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Pratik Maheshwari, Byong-Su Seol, Jong-Sung Lee, Jae-Deok Lim, Sahra Sedigh, David Pommerenke |
Software-Based Instrumentation for Localization of Faults Caused by Electrostatic Discharge. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Yingying Zhang, Emmanuel Rodriguez, Hao Zheng 0001, Chris J. Myers |
A Behavioral Analysis Approach for Efficient Partial Order Reduction. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Hajime Fujita 0002, Yutaka Ishikawa |
Anytime Available Single IP Address Cluster. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ricardo Paharsingh, Olivia Das |
An Availability Model of a Virtual TMR System with Applications in Cloud/Cluster Computing. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Simin Nadjm-Tehrani, Maria Vasilevskaya |
Towards a Security Domain Model for Embedded Systems. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Dongeun Lee 0001, Heonshik Shin, Eunjeong Park |
Modeling Recovery Strategies in Service-Oriented Architecture Using a Markov Decision Process. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ilya Lopatkin, Alexei Iliasov, Alexander B. Romanovsky, Yuliya Prokhorova, Elena Troubitsyna |
Patterns for Representing FMEA in Formal Specification of Control Systems. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Zahid A. Syed, Sean Banerjee, Qi Cheng, Bojan Cukic |
Effects of User Habituation in Keystroke Dynamics on Password Security Policy. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Md. Emdadul Haque, Fan Wei, Takehiro Gouda, Xiaodong Lu, Kinji Mori |
Autonomous Online Expansion Technology for ZigBee Wireless Sensor Networks. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Randall Wald, Taghi M. Khoshgoftaar, John C. Sloan |
Using Feature Selection to Determine Optimal Depth for Wavelet Packet Decomposition of Vibration Signals for Ocean System Reliability. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Mehrdad Sabetzadeh, Shiva Nejati, Lionel C. Briand, Anne-Heidi Evensen Mills |
Using SysML for Modeling of Safety-Critical Software-Hardware Interfaces: Guidelines and Industry Experience. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Dhaussy, Jean-Charles Roger, Frédéric Boniol |
Reducing State Explosion with Context Modeling for Model-Checking. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Vivek Tyagi, Abhijit S. Pandya, Ankur Agarwal, Bassem Alhalabi |
Validation of Object Recognition Framework on Android Mobile Platform. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | John C. Sloan, Taghi M. Khoshgoftaar |
Ensemble Coordination for Discrete Event Control. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Michaël Lauer, Jérôme Ermont, Frédéric Boniol, Claire Pagetti |
Worst Case Temporal Consistency in Integrated Modular Avionics Systems. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Hein, Debmalya Biswas, Leonardo A. Martucci, Max Mühlhäuser |
Conflict Detection and Lifecycle Management for Access Control in Publish/Subscribe Systems. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Mario Bernhart, Stefan Reiterer, Kilian Matt, Andreas Mauczka, Thomas Grechenig |
A Task-Based Code Review Process and Tool to Comply with the DO-278/ED-109 Standard for Air Traffic Managment Software Development: An Industrial Case Study. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Zhongxing Yu, Hai Hu, Chenggang Bai, Kai-Yuan Cai, W. Eric Wong |
GUI Software Fault Localization Using N-gram Analysis. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ayman A. Amin, Alan Colman, Lars Grunske |
Using Automated Control Charts for the Runtime Evaluation of QoS Attributes. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Maña, José Fran. Ruiz |
A Security Modelling Framework for Systems of Embedded Components. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Yongxin Zhao, Zheng Wang 0005, Hao Xiao, Jing Ping, Geguang Pu, Jifeng He 0001, Huibiao Zhu |
A Unifying Approach to Validating Specification-Oriented XML Constraints. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | André Pflüger, Wolfgang Golubski, Stefan Queins |
Model Driven Validation of System Architectures. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Tushar Deshpande, Panagiotis Katsaros, Stylianos Basagiannis, Scott A. Smolka |
Formal Analysis of the DNS Bandwidth Amplification Attack and Its Countermeasures Using Probabilistic Model Checking. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Douglas Rodrigues, Daniel F. Pigatto, Júlio Cezar Estrella, Kalinka Regina Lucas Jaquie Castelo Branco |
Comparison and Analysis of Cryptographic Algorithms Aiming Performance Improvement in Secure Web Services. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Stéphane Louise, Matthieu Lemerre, Christophe Aussaguès, Vincent David |
The OASIS Kernel: A Framework for High Dependability Real-Time Systems. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Aritra Bandyopadhyay, Sudipto Ghosh |
On the Effectiveness of the Tarantula Fault Localization Technique for Different Fault Classes. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ali Kanso, Ferhat Khendek, Anik Mishra, Maria Toeroe |
Integrating Legacy Applications for High Availability: A Case Study. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ying Wang, Chunming Hu, Bo Li 0005 |
VMDetector: A VMM-based Platform to Detect Hidden Process by Multi-view Comparison. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Kunming Nie, Li Zhang 0029 |
On the Relationship between Preprocessor-Based Software Variability and Software Defects. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ingrid A. Buckley, Eduardo B. Fernández |
Enumerating Software Failures to Build Dependable Distributed Applications. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Debmalya Biswas, Valtteri Niemi |
Transforming Privacy Policies to Auditing Specifications. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Wenbing Zhao 0001, P. M. Melliar-Smith, Louise E. Moser |
Leader-Determined Membership Protocol. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Lance Fiondella, Sanguthevar Rajasekaran, Swapna S. Gokhale |
Efficient System Reliability with Correlated Component Failures. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Si Liu 0001, Yongxin Zhao, Huibiao Zhu, Qin Li 0002 |
A Calculus for Mobile Ad Hoc Networks from a Group Probabilistic Perspective. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Javier González 0001, Antonio Muñoz 0001, Antonio Maña |
Multi-layer Monitoring for Cloud Computing. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Michael F. Siok, Jeff Tian |
Benchmarking Embedded Software Development Project Performance. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Victor L. Winter, Jonathan Guerrero, Carl Reinke, James T. Perry |
Monarch: A High-Assurance Java-to-Java (J2j) Source-Code Migrator. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Andrea Ceccarelli, Marco Vieira, Andrea Bondavalli |
A Testing Service for Lifelong Validation of Dynamic SOA. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Qian Wang, Huibiao Zhu |
Animating the Approach of Deriving Operational Semantics from Algebraic Semantics for Web Services. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Sami S. Alwakeel, Shaker S. AlGhanmi |
A Real Time Window-Based Local Call Admission Control Algorithm for IP Networks. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Janell Duhaney, Taghi M. Khoshgoftaar, John C. Sloan, Bassem Alhalabi, Pierre P. Beaujean |
A Dynamometer for an Ocean Turbine Prototype: Reliability through Automated Monitoring. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Herbert Hecht |
So Much to Learn from One Accident Crash of 737 on 25 February 2009. |
HASE |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Nikolaos Alexiou 0001, Stylianos Basagiannis, Panagiotis Katsaros, Tushar Deshpande, Scott A. Smolka |
Formal Analysis of the Kaminsky DNS Cache-Poisoning Attack Using Probabilistic Model Checking. |
HASE |
2010 |
DBLP DOI BibTeX RDF |
Cache Poisoning, DNS, Probabilistic Model Checking |
1 | Marco Gribaudo, Anne Remke |
Hybrid Petri Nets with General One-Shot Transitions for Dependability Evaluation of Fluid Critical Infrastructures. |
HASE |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Yutaka Matsuno, Hiroki Takamura, Yutaka Ishikawa |
A Dependability Case Editor with Pattern Library. |
HASE |
2010 |
DBLP DOI BibTeX RDF |
assurance cases, dependability |
1 | Shige Wang |
Domain-Specific Feature Modeling for High Integrity Vehicle Control System Functional Design. |
HASE |
2010 |
DBLP DOI BibTeX RDF |
vehicle control systems, feature models, domain-specific modeling, product line engineering |
1 | Thomas Bochot, Pierre Virelizier, Hélène Waeselynck, Virginie Wiels |
Paths to Property Violation: A Structural Approach for Analyzing Counter-Examples. |
HASE |
2010 |
DBLP DOI BibTeX RDF |
Analysis of counterexamples, SCADE models, structural paths |
1 | Luca Pazzi, Matteo Interlandi, Marco Pradelli |
Automatic Fault Behavior Detection and Modeling by a State-Based Specification Method. |
HASE |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Jérémie Guiochet, Damien Martin-Guillerez, David Powell |
Experience with Model-Based User-Centered Risk Assessment for Service Robots. |
HASE |
2010 |
DBLP DOI BibTeX RDF |
HAZOP, UML, safety, Risk assessment, autonomous systems, service robot |
1 | Naeem Seliya, Taghi M. Khoshgoftaar, Jason Van Hulse |
Predicting Faults in High Assurance Software. |
HASE |
2010 |
DBLP DOI BibTeX RDF |
classification, software measurements, bagging, defect prediction, imbalanced data, data sampling |
1 | Fadi Wedyan, Sudipto Ghosh |
A Dataflow Testing Approach for Aspect-Oriented Programs. |
HASE |
2010 |
DBLP DOI BibTeX RDF |
aspect-oriented programming, dataflow, AspectJ, test coverage, test criteria |
1 | Giuliana Santos Veronese, Miguel Correia 0001, Alysson Neves Bessani, Lau Cheuk Lung |
EBAWA: Efficient Byzantine Agreement for Wide-Area Networks. |
HASE |
2010 |
DBLP DOI BibTeX RDF |
wide-area networks, byzantine fault tolerance |
1 | Richard H. Carver, Jeff Yu Lei |
A Stateful Approach to Testing Monitors in Multithreaded Programs. |
HASE |
2010 |
DBLP DOI BibTeX RDF |
monitor, concurrent programming, reachability testing |
1 | Yunja Choi, Hoon Jang |
Reverse Engineering Abstract Components for Model-Based Development and Verification of Embedded Software. |
HASE |
2010 |
DBLP DOI BibTeX RDF |
Reverse-engineering, component, abstraction |
1 | Cuauhtemoc Munoz, Steve Roach |
Automated Testing of LTL Formula Generation by Prospec. |
HASE |
2010 |
DBLP DOI BibTeX RDF |
Prospec, Specification Pattern System, automated testing, LTL |
1 | Frantz Iwu |
Scalable Fualt Detection for FPGAs. |
HASE |
2010 |
DBLP DOI BibTeX RDF |
FPGAs, Analysis, Component-based design |
1 | Marin Bertier, Achour Mostéfaoui, Gilles Trédan |
Low-Cost Secret-Sharing in Sensor Networks. |
HASE |
2010 |
DBLP DOI BibTeX RDF |
Malicious Behavior, Sensor Network, Reliability, Distributed Algorithm, Wireless Communication, Resiliency |
1 | Liangliang Xiao, Yunqi Ye, I-Ling Yen, Farokh B. Bastani |
Evaluation and Comparisons of Dependable Distributed Storage Designs for Clouds. |
HASE |
2010 |
DBLP DOI BibTeX RDF |
access performance, security, replication, availability, secret sharing, erasure coding, Distributed storage systems |
1 | Franck Barbier, Cyril Ballagny |
Proved Metamodels as Backbone for Software Adaptation. |
HASE |
2010 |
DBLP DOI BibTeX RDF |
model driven development, component-based development, software adaptation |
1 | Cobra Rahmani, Azad H. Azadmanesh, Harvey P. Siy |
Architecture-Based Reliability Modeling of Web Services Using Petri Nets. |
HASE |
2010 |
DBLP DOI BibTeX RDF |
architecture-based reliability modeling, service oriented architecture, software reliability, web service composition, stochastic petri net |
1 | Salvatore Distefano, Francesco Longo 0001, Marco Scarpa |
Symbolic Representation Techniques in Dynamic Reliability Evaluation. |
HASE |
2010 |
DBLP DOI BibTeX RDF |
Dynamic Reliability, Conservation of Reliability, Phase Type Distributions, Kronecker Algebra |