---
_id: '51381'
author:
- first_name: Mohammed
full_name: Abdelrahem, Mohammed
id: '95179'
last_name: Abdelrahem
orcid: 0000-0002-0545-9799
- first_name: 'Ali '
full_name: 'Abdallah, Ali '
last_name: Abdallah
- first_name: 'Antonella '
full_name: 'Pasqualone, Antonella '
last_name: Pasqualone
citation:
ama: 'Abdelrahem M, Abdallah A, Pasqualone A. The multiplicity of halal standards:
a case study of application to slaughterhouses. Journal of Ethnic Foods.
2021;8:7. doi:10.1186/s42779-021-00084-6'
apa: 'Abdelrahem, M., Abdallah, A., & Pasqualone, A. (2021). The multiplicity
of halal standards: a case study of application to slaughterhouses. Journal
of Ethnic Foods, 8:7. https://doi.org/10.1186/s42779-021-00084-6'
bibtex: '@article{Abdelrahem_Abdallah_Pasqualone_2021, title={The multiplicity of
halal standards: a case study of application to slaughterhouses}, volume={8:7},
DOI={10.1186/s42779-021-00084-6},
journal={ Journal of Ethnic Foods}, author={Abdelrahem, Mohammed and Abdallah,
Ali and Pasqualone, Antonella }, year={2021} }'
chicago: 'Abdelrahem, Mohammed, Ali Abdallah, and Antonella Pasqualone. “The Multiplicity
of Halal Standards: A Case Study of Application to Slaughterhouses.” Journal
of Ethnic Foods 8:7 (2021). https://doi.org/10.1186/s42779-021-00084-6.'
ieee: 'M. Abdelrahem, A. Abdallah, and A. Pasqualone, “The multiplicity of halal
standards: a case study of application to slaughterhouses,” Journal of Ethnic
Foods, vol. 8:7, 2021, doi: 10.1186/s42779-021-00084-6.'
mla: 'Abdelrahem, Mohammed, et al. “The Multiplicity of Halal Standards: A Case
Study of Application to Slaughterhouses.” Journal of Ethnic Foods, vol.
8:7, 2021, doi:10.1186/s42779-021-00084-6.'
short: M. Abdelrahem, A. Abdallah, A. Pasqualone, Journal of Ethnic Foods 8:7 (2021).
date_created: 2024-02-19T00:49:03Z
date_updated: 2026-05-09T00:14:58Z
department:
- _id: '469'
doi: 10.1186/s42779-021-00084-6
keyword:
- halal standards
- halal food
- slaughterhouses
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://journalofethnicfoods.biomedcentral.com/articles/10.1186/s42779-021-00084-6
oa: '1'
publication: ' Journal of Ethnic Foods'
publication_status: published
quality_controlled: '1'
status: public
title: 'The multiplicity of halal standards: a case study of application to slaughterhouses'
type: journal_article
user_id: '95179'
volume: 8:7
year: '2021'
...
---
_id: '20543'
author:
- first_name: Lisa
full_name: Nguyen Quang Do, Lisa
last_name: Nguyen Quang Do
- first_name: Stefan
full_name: Krüger, Stefan
last_name: Krüger
- first_name: Patrick
full_name: Hill, Patrick
last_name: Hill
- first_name: Karim
full_name: Ali, Karim
last_name: Ali
- first_name: Eric
full_name: Bodden, Eric
id: '59256'
last_name: Bodden
orcid: 0000-0003-3470-3647
citation:
ama: Nguyen Quang Do L, Krüger S, Hill P, Ali K, Bodden E. Debugging Static Analysis.
IEEE Transactions on Software Engineering. Published online 2018:1-1. doi:10.1109/TSE.2018.2868349
apa: Nguyen Quang Do, L., Krüger, S., Hill, P., Ali, K., & Bodden, E. (2018).
Debugging Static Analysis. IEEE Transactions on Software Engineering, 1–1.
https://doi.org/10.1109/TSE.2018.2868349
bibtex: '@article{Nguyen Quang Do_Krüger_Hill_Ali_Bodden_2018, title={Debugging
Static Analysis}, DOI={10.1109/TSE.2018.2868349},
journal={IEEE Transactions on Software Engineering}, author={Nguyen Quang Do,
Lisa and Krüger, Stefan and Hill, Patrick and Ali, Karim and Bodden, Eric}, year={2018},
pages={1–1} }'
chicago: Nguyen Quang Do, Lisa, Stefan Krüger, Patrick Hill, Karim Ali, and Eric
Bodden. “Debugging Static Analysis.” IEEE Transactions on Software Engineering,
2018, 1–1. https://doi.org/10.1109/TSE.2018.2868349.
ieee: 'L. Nguyen Quang Do, S. Krüger, P. Hill, K. Ali, and E. Bodden, “Debugging
Static Analysis,” IEEE Transactions on Software Engineering, pp. 1–1, 2018,
doi: 10.1109/TSE.2018.2868349.'
mla: Nguyen Quang Do, Lisa, et al. “Debugging Static Analysis.” IEEE Transactions
on Software Engineering, 2018, pp. 1–1, doi:10.1109/TSE.2018.2868349.
short: L. Nguyen Quang Do, S. Krüger, P. Hill, K. Ali, E. Bodden, IEEE Transactions
on Software Engineering (2018) 1–1.
date_created: 2020-11-30T09:32:12Z
date_updated: 2022-01-06T06:54:29Z
department:
- _id: '76'
doi: 10.1109/TSE.2018.2868349
keyword:
- Debugging
- Static analysis
- Tools
- Computer bugs
- Standards
- Writing
- Encoding
- Testing and Debugging
- Program analysis
- Development tools
- Integrated environments
- Graphical environments
- Usability testing
language:
- iso: eng
main_file_link:
- url: http://www.bodden.de/pubs/tse18debugging.pdf
page: 1-1
publication: IEEE Transactions on Software Engineering
publication_identifier:
issn:
- 2326-3881
status: public
title: Debugging Static Analysis
type: journal_article
user_id: '5786'
year: '2018'
...
---
_id: '48857'
abstract:
- lang: eng
text: 'While finding minimum-cost spanning trees (MST) in undirected graphs is solvable
in polynomial time, the multi-criteria minimum spanning tree problem (mcMST) is
NP-hard. Interestingly, the mcMST problem has not been in focus of evolutionary
computation research for a long period of time, although, its relevance for real
world problems is easy to see. The available and most notable approaches by Zhou
and Gen as well as by Knowles and Corne concentrate on solution encoding and on
fairly dated selection mechanisms. In this work, we revisit the mcMST and focus
on the mutation operators as exploratory components of evolutionary algorithms
neglected so far. We investigate optimal solution characteristics to discuss current
mutation strategies, identify shortcomings of these operators, and propose a sub-tree
based operator which offers what we term Pareto-beneficial behavior: ensuring
convergence and diversity at the same time. The operator is empirically evaluated
inside modern standard evolutionary meta-heuristics for multi-criteria optimization
and compared to hitherto applied mutation operators in the context of mcMST.'
author:
- first_name: Jakob
full_name: Bossek, Jakob
id: '102979'
last_name: Bossek
orcid: 0000-0002-4121-4668
- first_name: Christian
full_name: Grimme, Christian
last_name: Grimme
citation:
ama: 'Bossek J, Grimme C. A Pareto-Beneficial Sub-Tree Mutation for the Multi-Criteria
Minimum Spanning Tree Problem. In: 2017 IEEE Symposium Series on Computational
Intelligence (SSCI). ; 2017:1–8. doi:10.1109/SSCI.2017.8285183'
apa: Bossek, J., & Grimme, C. (2017). A Pareto-Beneficial Sub-Tree Mutation
for the Multi-Criteria Minimum Spanning Tree Problem. 2017 IEEE Symposium Series
on Computational Intelligence (SSCI), 1–8. https://doi.org/10.1109/SSCI.2017.8285183
bibtex: '@inproceedings{Bossek_Grimme_2017, title={A Pareto-Beneficial Sub-Tree
Mutation for the Multi-Criteria Minimum Spanning Tree Problem}, DOI={10.1109/SSCI.2017.8285183},
booktitle={2017 IEEE Symposium Series on Computational Intelligence (SSCI)}, author={Bossek,
Jakob and Grimme, Christian}, year={2017}, pages={1–8} }'
chicago: Bossek, Jakob, and Christian Grimme. “A Pareto-Beneficial Sub-Tree Mutation
for the Multi-Criteria Minimum Spanning Tree Problem.” In 2017 IEEE Symposium
Series on Computational Intelligence (SSCI), 1–8, 2017. https://doi.org/10.1109/SSCI.2017.8285183.
ieee: 'J. Bossek and C. Grimme, “A Pareto-Beneficial Sub-Tree Mutation for the Multi-Criteria
Minimum Spanning Tree Problem,” in 2017 IEEE Symposium Series on Computational
Intelligence (SSCI), 2017, pp. 1–8, doi: 10.1109/SSCI.2017.8285183.'
mla: Bossek, Jakob, and Christian Grimme. “A Pareto-Beneficial Sub-Tree Mutation
for the Multi-Criteria Minimum Spanning Tree Problem.” 2017 IEEE Symposium
Series on Computational Intelligence (SSCI), 2017, pp. 1–8, doi:10.1109/SSCI.2017.8285183.
short: 'J. Bossek, C. Grimme, in: 2017 IEEE Symposium Series on Computational Intelligence
(SSCI), 2017, pp. 1–8.'
date_created: 2023-11-14T15:58:54Z
date_updated: 2023-12-13T10:44:28Z
department:
- _id: '819'
doi: 10.1109/SSCI.2017.8285183
extern: '1'
keyword:
- Convergence
- Encoding
- Euclidean distance
- Evolutionary computation
- Heating systems
- Optimization
- Standards
language:
- iso: eng
page: 1–8
publication: 2017 IEEE Symposium Series on Computational Intelligence (SSCI)
publication_status: published
status: public
title: A Pareto-Beneficial Sub-Tree Mutation for the Multi-Criteria Minimum Spanning
Tree Problem
type: conference
user_id: '102979'
year: '2017'
...
---
_id: '48856'
abstract:
- lang: eng
text: There exist many optimal or heuristic priority rules for machine scheduling
problems, which can easily be integrated into single-objective evolutionary algorithms
via mutation operators. However, in the multi-objective case, simultaneously applying
different priorities for different objectives may cause severe disruptions in
the genome and may lead to inferior solutions. In this paper, we combine an existing
mutation operator concept with new insights from detailed observation of the structure
of solutions for multi-objective machine scheduling problems. This allows the
comprehensive integration of priority rules to produce better Pareto-front approximations.
We evaluate the extended operator concept compared to standard swap mutation and
the stand-alone components of our hybrid scheme, which performs best in all evaluated
cases.
author:
- first_name: Jakob
full_name: Bossek, Jakob
id: '102979'
last_name: Bossek
orcid: 0000-0002-4121-4668
- first_name: Christian
full_name: Grimme, Christian
last_name: Grimme
citation:
ama: 'Bossek J, Grimme C. An Extended Mutation-Based Priority-Rule Integration Concept
for Multi-Objective Machine Scheduling. In: 2017 IEEE Symposium Series on Computational
Intelligence (SSCI). ; 2017:1–8. doi:10.1109/SSCI.2017.8285224'
apa: Bossek, J., & Grimme, C. (2017). An Extended Mutation-Based Priority-Rule
Integration Concept for Multi-Objective Machine Scheduling. 2017 IEEE Symposium
Series on Computational Intelligence (SSCI), 1–8. https://doi.org/10.1109/SSCI.2017.8285224
bibtex: '@inproceedings{Bossek_Grimme_2017, title={An Extended Mutation-Based Priority-Rule
Integration Concept for Multi-Objective Machine Scheduling}, DOI={10.1109/SSCI.2017.8285224},
booktitle={2017 IEEE Symposium Series on Computational Intelligence (SSCI)}, author={Bossek,
Jakob and Grimme, Christian}, year={2017}, pages={1–8} }'
chicago: Bossek, Jakob, and Christian Grimme. “An Extended Mutation-Based Priority-Rule
Integration Concept for Multi-Objective Machine Scheduling.” In 2017 IEEE Symposium
Series on Computational Intelligence (SSCI), 1–8, 2017. https://doi.org/10.1109/SSCI.2017.8285224.
ieee: 'J. Bossek and C. Grimme, “An Extended Mutation-Based Priority-Rule Integration
Concept for Multi-Objective Machine Scheduling,” in 2017 IEEE Symposium Series
on Computational Intelligence (SSCI), 2017, pp. 1–8, doi: 10.1109/SSCI.2017.8285224.'
mla: Bossek, Jakob, and Christian Grimme. “An Extended Mutation-Based Priority-Rule
Integration Concept for Multi-Objective Machine Scheduling.” 2017 IEEE Symposium
Series on Computational Intelligence (SSCI), 2017, pp. 1–8, doi:10.1109/SSCI.2017.8285224.
short: 'J. Bossek, C. Grimme, in: 2017 IEEE Symposium Series on Computational Intelligence
(SSCI), 2017, pp. 1–8.'
date_created: 2023-11-14T15:58:54Z
date_updated: 2023-12-13T10:44:36Z
department:
- _id: '819'
doi: 10.1109/SSCI.2017.8285224
extern: '1'
keyword:
- Evolutionary computation
- Processor scheduling
- Schedules
- Scheduling
- Sociology
- Standards
- Statistics
language:
- iso: eng
page: 1–8
publication: 2017 IEEE Symposium Series on Computational Intelligence (SSCI)
publication_status: published
status: public
title: An Extended Mutation-Based Priority-Rule Integration Concept for Multi-Objective
Machine Scheduling
type: conference
user_id: '102979'
year: '2017'
...
---
_id: '3542'
abstract:
- lang: eng
text: "We study the historical development of Slovenian Accounting Standards (SAS)
and their association with accounting quality (AQ). We focus on private firms
where the financial reporting process is characterised by low demand for high-quality
reporting. We investigate three distinct editions of SAS since 1994 and test how
their development towards international standards is related to AQ. Aggregate
earnings management measures indicate that the use of accounting discretion decreases
with less earnings smoothing over time. The main features of AQ have been consistent
throughout historical development. Asymmetric timeliness of earnings, the ability
of earnings to predict future cash flows, and the ability of accruals to mitigate
mismatching are all present throughout. We also document typical departures from
properties of high AQ. For example, accruals do not (always) facilitate timely
recognition of losses. However, these can be attributed to the overwhelming influence
of reporting incentives (e.g. taxation, debt, size) rather than to the (lower)
quality of accounting standards.\r\n\r\n\r\n \r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n\r\n
\r\n\r\n\r\n\r\n Full Article \r\n Figures & data \r\n References \r\n
Citations \r\n \r\n Metrics \r\n Reprints & Permissions \r\n PDF \r\n \r\n
\r\n\r\n\r\n\r\n\r\nAbstract\r\n\r\n\r\nWe study the historical development of
Slovenian Accounting Standards (SAS) and their association with accounting quality
(AQ). We focus on private firms where the financial reporting process is characterised
by low demand for high-quality reporting. We investigate three distinct editions
of SAS since 1994 and test how their development towards international standards
is related to AQ. Aggregate earnings management measures indicate that the use
of accounting discretion decreases with less earnings smoothing over time. The
main features of AQ have been consistent throughout historical development. Asymmetric
timeliness of earnings, the ability of earnings to predict future cash flows,
and the ability of accruals to mitigate mismatching are all present throughout.
We also document typical departures from properties of high AQ. For example, accruals
do not (always) facilitate timely recognition of losses. However, these can be
attributed to the overwhelming influence of reporting incentives (e.g. taxation,
debt, size) rather than to the (lower) quality of accounting standards."
author:
- first_name: Aljosa
full_name: Valentincic, Aljosa
last_name: Valentincic
- first_name: Ales
full_name: Novak, Ales
last_name: Novak
- first_name: Urska
full_name: Kosi, Urska
id: '54068'
last_name: Kosi
citation:
ama: Valentincic A, Novak A, Kosi U. Accounting quality in private firms during
the transition towards international standards. Accounting in Europe. 2017;14(3):358-387.
doi:10.1080/17449480.2017.1378821
apa: Valentincic, A., Novak, A., & Kosi, U. (2017). Accounting quality in private
firms during the transition towards international standards. Accounting in
Europe, 14(3), 358–387. https://doi.org/10.1080/17449480.2017.1378821
bibtex: '@article{Valentincic_Novak_Kosi_2017, title={Accounting quality in private
firms during the transition towards international standards}, volume={14}, DOI={10.1080/17449480.2017.1378821},
number={3}, journal={Accounting in Europe}, author={Valentincic, Aljosa and Novak,
Ales and Kosi, Urska}, year={2017}, pages={358–387} }'
chicago: 'Valentincic, Aljosa, Ales Novak, and Urska Kosi. “Accounting Quality in
Private Firms during the Transition towards International Standards.” Accounting
in Europe 14, no. 3 (2017): 358–87. https://doi.org/10.1080/17449480.2017.1378821.'
ieee: 'A. Valentincic, A. Novak, and U. Kosi, “Accounting quality in private firms
during the transition towards international standards,” Accounting in Europe,
vol. 14, no. 3, pp. 358–387, 2017, doi: 10.1080/17449480.2017.1378821.'
mla: Valentincic, Aljosa, et al. “Accounting Quality in Private Firms during the
Transition towards International Standards.” Accounting in Europe, vol.
14, no. 3, 2017, pp. 358–87, doi:10.1080/17449480.2017.1378821.
short: A. Valentincic, A. Novak, U. Kosi, Accounting in Europe 14 (2017) 358–387.
date_created: 2018-07-11T08:57:03Z
date_updated: 2023-01-24T15:34:31Z
department:
- _id: '551'
- _id: '635'
- _id: '186'
doi: 10.1080/17449480.2017.1378821
intvolume: ' 14'
issue: '3'
jel:
- M41
- C23
- L21
- P20
keyword:
- private firms
- accounting quality
- development of accounting standards
- IFRS-like standards
- Slovenia
language:
- iso: eng
page: 358-387
publication: Accounting in Europe
publication_status: published
status: public
title: Accounting quality in private firms during the transition towards international
standards
type: journal_article
user_id: '54068'
volume: 14
year: '2017'
...
---
_id: '11816'
abstract:
- lang: eng
text: In this paper, we consider the Maximum Likelihood (ML) estimation of the parameters
of a GAUSSIAN in the presence of censored, i.e., clipped data. We show that the
resulting Expectation Maximization (EM) algorithm delivers virtually biasfree
and efficient estimates, and we discuss its convergence properties. We also discuss
optimal classification in the presence of censored data. Censored data are frequently
encountered in wireless LAN positioning systems based on the fingerprinting method
employing signal strength measurements, due to the limited sensitivity of the
portable devices. Experiments both on simulated and real-world data demonstrate
the effectiveness of the proposed algorithms.
author:
- first_name: Manh Kha
full_name: Hoang, Manh Kha
last_name: Hoang
- first_name: Reinhold
full_name: Haeb-Umbach, Reinhold
id: '242'
last_name: Haeb-Umbach
citation:
ama: 'Hoang MK, Haeb-Umbach R. Parameter estimation and classification of censored
Gaussian data with application to WiFi indoor positioning. In: 38th International
Conference on Acoustics, Speech, and Signal Processing (ICASSP 2013). ; 2013:3721-3725.
doi:10.1109/ICASSP.2013.6638353'
apa: Hoang, M. K., & Haeb-Umbach, R. (2013). Parameter estimation and classification
of censored Gaussian data with application to WiFi indoor positioning. In 38th
International Conference on Acoustics, Speech, and Signal Processing (ICASSP 2013)
(pp. 3721–3725). https://doi.org/10.1109/ICASSP.2013.6638353
bibtex: '@inproceedings{Hoang_Haeb-Umbach_2013, title={Parameter estimation and
classification of censored Gaussian data with application to WiFi indoor positioning},
DOI={10.1109/ICASSP.2013.6638353},
booktitle={38th International Conference on Acoustics, Speech, and Signal Processing
(ICASSP 2013)}, author={Hoang, Manh Kha and Haeb-Umbach, Reinhold}, year={2013},
pages={3721–3725} }'
chicago: Hoang, Manh Kha, and Reinhold Haeb-Umbach. “Parameter Estimation and Classification
of Censored Gaussian Data with Application to WiFi Indoor Positioning.” In 38th
International Conference on Acoustics, Speech, and Signal Processing (ICASSP 2013),
3721–25, 2013. https://doi.org/10.1109/ICASSP.2013.6638353.
ieee: M. K. Hoang and R. Haeb-Umbach, “Parameter estimation and classification of
censored Gaussian data with application to WiFi indoor positioning,” in 38th
International Conference on Acoustics, Speech, and Signal Processing (ICASSP 2013),
2013, pp. 3721–3725.
mla: Hoang, Manh Kha, and Reinhold Haeb-Umbach. “Parameter Estimation and Classification
of Censored Gaussian Data with Application to WiFi Indoor Positioning.” 38th
International Conference on Acoustics, Speech, and Signal Processing (ICASSP 2013),
2013, pp. 3721–25, doi:10.1109/ICASSP.2013.6638353.
short: 'M.K. Hoang, R. Haeb-Umbach, in: 38th International Conference on Acoustics,
Speech, and Signal Processing (ICASSP 2013), 2013, pp. 3721–3725.'
date_created: 2019-07-12T05:28:48Z
date_updated: 2022-01-06T06:51:09Z
department:
- _id: '54'
doi: 10.1109/ICASSP.2013.6638353
keyword:
- Gaussian processes
- Global Positioning System
- convergence
- expectation-maximisation algorithm
- fingerprint identification
- indoor radio
- signal classification
- wireless LAN
- EM algorithm
- ML estimation
- WiFi indoor positioning
- censored Gaussian data classification
- clipped data
- convergence properties
- expectation maximization algorithm
- fingerprinting method
- maximum likelihood estimation
- optimal classification
- parameters estimation
- portable devices sensitivity
- signal strength measurements
- wireless LAN positioning systems
- Convergence
- IEEE 802.11 Standards
- Maximum likelihood estimation
- Parameter estimation
- Position measurement
- Training
- Indoor positioning
- censored data
- expectation maximization
- signal strength
- wireless LAN
language:
- iso: eng
main_file_link:
- open_access: '1'
url: https://groups.uni-paderborn.de/nt/pubs/2013/HoHa2013.pdf
oa: '1'
page: 3721-3725
publication: 38th International Conference on Acoustics, Speech, and Signal Processing
(ICASSP 2013)
publication_identifier:
issn:
- 1520-6149
related_material:
link:
- description: Poster
relation: supplementary_material
url: https://groups.uni-paderborn.de/nt/pubs/2013/HoHa2013_Poster.pdf
status: public
title: Parameter estimation and classification of censored Gaussian data with application
to WiFi indoor positioning
type: conference
user_id: '44006'
year: '2013'
...
---
_id: '36919'
abstract:
- lang: eng
text: Faced with increasing demands on energy efficiency, current electronic systems
operate according to complex power management schemes including more and more
fine-grained voltage frequency scaling and power shutdown scenarios. Consequently,
validation of the power design intent should begin as early as possible at electronic
system-level (ESL) together with first executable system specifications for integrity
tests. However, today's system-level design methodologies usually focus on the
abstraction of digital logic and time, so that typical low-power aspects cannot
be considered so far. In this paper, we present a high-level modeling approach
on top of the SystemC/TLM standard to simulate power distribution and voltage
based implications in a "loosely-timed" functional execution context. The approach
reuses legacy TLM models and prevents the need for detailed lock-step process
synchronization in contrast to existing methods. A case study derived from an
open source low-power design demonstrates the efficiency of our approach in terms
of simulation performance and testability.
author:
- first_name: Fabian
full_name: Mischkalla, Fabian
last_name: Mischkalla
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Mischkalla F, Müller W. Efficient Power-Intent Validation Using “Loosely-Timed”
Simulation Models: A Non-Invasive Approach. In: IEEE; 2013. doi:10.1109/PATMOS.2013.6662171'
apa: 'Mischkalla, F., & Müller, W. (2013). Efficient Power-Intent Validation
Using “Loosely-Timed” Simulation Models: A Non-Invasive Approach. 23rd International
Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS). https://doi.org/10.1109/PATMOS.2013.6662171'
bibtex: '@inproceedings{Mischkalla_Müller_2013, place={Karlsruhe}, title={Efficient
Power-Intent Validation Using “Loosely-Timed” Simulation Models: A Non-Invasive
Approach}, DOI={10.1109/PATMOS.2013.6662171},
publisher={IEEE}, author={Mischkalla, Fabian and Müller, Wolfgang}, year={2013}
}'
chicago: 'Mischkalla, Fabian, and Wolfgang Müller. “Efficient Power-Intent Validation
Using ‘Loosely-Timed’ Simulation Models: A Non-Invasive Approach.” Karlsruhe:
IEEE, 2013. https://doi.org/10.1109/PATMOS.2013.6662171.'
ieee: 'F. Mischkalla and W. Müller, “Efficient Power-Intent Validation Using ‘Loosely-Timed’
Simulation Models: A Non-Invasive Approach,” presented at the 23rd International
Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS), 2013,
doi: 10.1109/PATMOS.2013.6662171.'
mla: 'Mischkalla, Fabian, and Wolfgang Müller. Efficient Power-Intent Validation
Using “Loosely-Timed” Simulation Models: A Non-Invasive Approach. IEEE, 2013,
doi:10.1109/PATMOS.2013.6662171.'
short: 'F. Mischkalla, W. Müller, in: IEEE, Karlsruhe, 2013.'
conference:
name: 23rd International Workshop on Power and Timing Modeling, Optimization and
Simulation (PATMOS)
date_created: 2023-01-16T12:08:03Z
date_updated: 2023-01-16T12:08:17Z
department:
- _id: '672'
doi: 10.1109/PATMOS.2013.6662171
keyword:
- Time-varying systems
- Time-domain analysis
- Synchronization
- Context modeling
- Clocks
- Semantics
- Standards
language:
- iso: eng
place: Karlsruhe
publication_identifier:
eisbn:
- 978-1-4799-1170-7
publisher: IEEE
status: public
title: 'Efficient Power-Intent Validation Using "Loosely-Timed" Simulation Models:
A Non-Invasive Approach'
type: conference
user_id: '5786'
year: '2013'
...
---
_id: '37011'
abstract:
- lang: eng
text: Safety-critical automotive systems must fulfill hard real-time constraints
for reliability and safety. This paper presents a case study for the application
of an AUTOSAR-based language for timing modeling and analysis. We present and
apply the Timing Augmented Description Language (TADL) and demonstrate a methodology
for the development of a speed-adaptive steer-by-wire system. We examine the impact
of TADL and the methodology on the development process and the suitability and
interoperability of the applied tools with respect to the AUTOSAR-based tool chain
in the context of our case study.
author:
- first_name: Kay
full_name: Klobedanz, Kay
last_name: Klobedanz
- first_name: Christoph
full_name: Kuznik, Christoph
last_name: Kuznik
- first_name: Andre
full_name: Thuy, Andre
last_name: Thuy
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Klobedanz K, Kuznik C, Thuy A, Müller W. Timing Modeling and Analysis for
AUTOSAR-Based Software Development - A Case Study. In: Proceedings of DATE’10,
Dresden. IEEE; 2010. doi:10.1109/DATE.2010.5457125'
apa: Klobedanz, K., Kuznik, C., Thuy, A., & Müller, W. (2010). Timing Modeling
and Analysis for AUTOSAR-Based Software Development - A Case Study. Proceedings
of DATE’10, Dresden. 2010 Design, Automation & Test in Europe Conference
& Exhibition (DATE 2010), Dresden. https://doi.org/10.1109/DATE.2010.5457125
bibtex: '@inproceedings{Klobedanz_Kuznik_Thuy_Müller_2010, place={Dresden}, title={Timing
Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study},
DOI={10.1109/DATE.2010.5457125},
booktitle={Proceedings of DATE’10, Dresden}, publisher={IEEE}, author={Klobedanz,
Kay and Kuznik, Christoph and Thuy, Andre and Müller, Wolfgang}, year={2010} }'
chicago: 'Klobedanz, Kay, Christoph Kuznik, Andre Thuy, and Wolfgang Müller. “Timing
Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study.”
In Proceedings of DATE’10, Dresden. Dresden: IEEE, 2010. https://doi.org/10.1109/DATE.2010.5457125.'
ieee: 'K. Klobedanz, C. Kuznik, A. Thuy, and W. Müller, “Timing Modeling and Analysis
for AUTOSAR-Based Software Development - A Case Study,” presented at the 2010
Design, Automation & Test in Europe Conference & Exhibition (DATE 2010),
Dresden, 2010, doi: 10.1109/DATE.2010.5457125.'
mla: Klobedanz, Kay, et al. “Timing Modeling and Analysis for AUTOSAR-Based Software
Development - A Case Study.” Proceedings of DATE’10, Dresden, IEEE, 2010,
doi:10.1109/DATE.2010.5457125.
short: 'K. Klobedanz, C. Kuznik, A. Thuy, W. Müller, in: Proceedings of DATE’10,
Dresden, IEEE, Dresden, 2010.'
conference:
location: Dresden
name: 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)
date_created: 2023-01-17T09:19:36Z
date_updated: 2023-01-17T09:19:46Z
department:
- _id: '672'
doi: 10.1109/DATE.2010.5457125
keyword:
- Timing
- Programming
- Automotive engineering
- Application software
- Hardware
- Computer architecture
- Communication system software
- Software architecture
- Delay
- Software standards
language:
- iso: eng
place: Dresden
publication: Proceedings of DATE’10, Dresden
publisher: IEEE
status: public
title: Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case
Study
type: conference
user_id: '5786'
year: '2010'
...
---
_id: '37040'
abstract:
- lang: eng
text: Refinement of untimed TLM models into a timed HW/SW platform is a step by
step design process which is a trade-off between timing accuracy of the used models
and correct estimation of the final timing performance. The use of an RTOS on
the target platform is mandatory in the case real-time properties must be guaranteed.
Thus, the question is when the RTOS must be introduced in this step by step refinement
process. This paper proposes a four-level RTOS-aware refinement methodology that,
starting from an untimed TLM SystemC description of the whole system, progressively
introduce HW/SW partitioning, timing, device driver and RTOS functionalities,
till to obtain an accurate model of the final platform, where SW tasks run upon
an RTOS hosted by QEMU and HW components are modeled by cycle accurate TLM descriptions.
Each refinement level allows the designer to estimate more and more accurate timing
properties, thus anticipating design decisions without being constrained to leave
timing analysis to the final step of the refinement. The effectiveness of the
methodology has been evaluated in the design of two complex platforms.
author:
- first_name: Markus
full_name: Becker, Markus
last_name: Becker
- first_name: Giuseppe
full_name: Di Guglielmo, Giuseppe
last_name: Di Guglielmo
- first_name: Franco
full_name: Fummi, Franco
last_name: Fummi
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Graziano
full_name: Pravadelli, Graziano
last_name: Pravadelli
- first_name: Tao
full_name: Xie, Tao
last_name: Xie
citation:
ama: 'Becker M, Di Guglielmo G, Fummi F, Müller W, Pravadelli G, Xie T. RTOS-Aware
Refinement for TLM2.0-based HW/SW Design. In: Proceedings of DATE’10. IEEE;
2010. doi:10.1109/DATE.2010.5456965'
apa: Becker, M., Di Guglielmo, G., Fummi, F., Müller, W., Pravadelli, G., &
Xie, T. (2010). RTOS-Aware Refinement for TLM2.0-based HW/SW Design. Proceedings
of DATE’10. Design, Automation & Test in Europe Conference & Exhibition
(DATE 2010), Dresden. https://doi.org/10.1109/DATE.2010.5456965
bibtex: '@inproceedings{Becker_Di Guglielmo_Fummi_Müller_Pravadelli_Xie_2010, place={Dresden},
title={RTOS-Aware Refinement for TLM2.0-based HW/SW Design}, DOI={10.1109/DATE.2010.5456965},
booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Becker, Markus and
Di Guglielmo, Giuseppe and Fummi, Franco and Müller, Wolfgang and Pravadelli,
Graziano and Xie, Tao}, year={2010} }'
chicago: 'Becker, Markus, Giuseppe Di Guglielmo, Franco Fummi, Wolfgang Müller,
Graziano Pravadelli, and Tao Xie. “RTOS-Aware Refinement for TLM2.0-Based HW/SW
Design.” In Proceedings of DATE’10. Dresden: IEEE, 2010. https://doi.org/10.1109/DATE.2010.5456965.'
ieee: 'M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, and T. Xie,
“RTOS-Aware Refinement for TLM2.0-based HW/SW Design,” presented at the Design,
Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden,
2010, doi: 10.1109/DATE.2010.5456965.'
mla: Becker, Markus, et al. “RTOS-Aware Refinement for TLM2.0-Based HW/SW Design.”
Proceedings of DATE’10, IEEE, 2010, doi:10.1109/DATE.2010.5456965.
short: 'M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, T. Xie,
in: Proceedings of DATE’10, IEEE, Dresden, 2010.'
conference:
location: Dresden
name: Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)
date_created: 2023-01-17T10:47:29Z
date_updated: 2023-01-17T10:47:37Z
department:
- _id: '672'
doi: 10.1109/DATE.2010.5456965
keyword:
- Timing
- Hardware
- Operating systems
- Process design
- Accuracy
- Standards development
- Context modeling
- Real time systems
- Communication channels
- Microprogramming
language:
- iso: eng
place: Dresden
publication: Proceedings of DATE’10
publication_identifier:
eisbn:
- 978-3-9810801-6-2
publisher: IEEE
status: public
title: RTOS-Aware Refinement for TLM2.0-based HW/SW Design
type: conference
user_id: '5786'
year: '2010'
...
---
_id: '37039'
abstract:
- lang: eng
text: Refinement of untimed TLM models into a timed HW/SW platform is a step by
step design process which is a trade-off between timing accuracy of the used models
and correct estimation of the final timing performance. The use of an RTOS on
the target platform is mandatory in the case real-time properties must be guaranteed.
Thus, the question is when the RTOS must be introduced in this step by step refinement
process. This paper proposes a four-level RTOS-aware refinement methodology that,
starting from an untimed TLM SystemC description of the whole system, progressively
introduce HW/SW partitioning, timing, device driver and RTOS functionalities,
till to obtain an accurate model of the final platform, where SW tasks run upon
an RTOS hosted by QEMU and HW components are modeled by cycle accurate TLM descriptions.
Each refinement level allows the designer to estimate more and more accurate timing
properties, thus anticipating design decisions without being constrained to leave
timing analysis to the final step of the refinement. The effectiveness of the
methodology has been evaluated in the design of two complex platforms.
author:
- first_name: Markus
full_name: Becker, Markus
last_name: Becker
- first_name: Giuseppe
full_name: Di Guglielmo, Giuseppe
last_name: Di Guglielmo
- first_name: Franco
full_name: Fummi, Franco
last_name: Fummi
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Graziano
full_name: Pravadelli, Graziano
last_name: Pravadelli
- first_name: Tao
full_name: Xie, Tao
last_name: Xie
citation:
ama: 'Becker M, Di Guglielmo G, Fummi F, Müller W, Pravadelli G, Xie T. RTOS-Aware
Refinement for TLM2.0-based HW/SW Design. In: Proceedings of DATE’10. IEEE;
2010. doi:10.1109/DATE.2010.5456965'
apa: Becker, M., Di Guglielmo, G., Fummi, F., Müller, W., Pravadelli, G., &
Xie, T. (2010). RTOS-Aware Refinement for TLM2.0-based HW/SW Design. Proceedings
of DATE’10. Design, Automation & Test in Europe Conference & Exhibition
(DATE 2010), Dresden. https://doi.org/10.1109/DATE.2010.5456965
bibtex: '@inproceedings{Becker_Di Guglielmo_Fummi_Müller_Pravadelli_Xie_2010, place={Dresden},
title={RTOS-Aware Refinement for TLM2.0-based HW/SW Design}, DOI={10.1109/DATE.2010.5456965},
booktitle={Proceedings of DATE’10}, publisher={IEEE}, author={Becker, Markus and
Di Guglielmo, Giuseppe and Fummi, Franco and Müller, Wolfgang and Pravadelli,
Graziano and Xie, Tao}, year={2010} }'
chicago: 'Becker, Markus, Giuseppe Di Guglielmo, Franco Fummi, Wolfgang Müller,
Graziano Pravadelli, and Tao Xie. “RTOS-Aware Refinement for TLM2.0-Based HW/SW
Design.” In Proceedings of DATE’10. Dresden: IEEE, 2010. https://doi.org/10.1109/DATE.2010.5456965.'
ieee: 'M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, and T. Xie,
“RTOS-Aware Refinement for TLM2.0-based HW/SW Design,” presented at the Design,
Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden,
2010, doi: 10.1109/DATE.2010.5456965.'
mla: Becker, Markus, et al. “RTOS-Aware Refinement for TLM2.0-Based HW/SW Design.”
Proceedings of DATE’10, IEEE, 2010, doi:10.1109/DATE.2010.5456965.
short: 'M. Becker, G. Di Guglielmo, F. Fummi, W. Müller, G. Pravadelli, T. Xie,
in: Proceedings of DATE’10, IEEE, Dresden, 2010.'
conference:
location: Dresden
name: Design, Automation & Test in Europe Conference & Exhibition (DATE 2010)
date_created: 2023-01-17T10:44:46Z
date_updated: 2025-03-12T16:39:17Z
doi: 10.1109/DATE.2010.5456965
keyword:
- Timing
- Hardware
- Operating systems
- Process design
- Accuracy
- Standards development
- Context modeling
- Real time systems
- Communication channels
- Microprogramming
language:
- iso: eng
place: Dresden
publication: Proceedings of DATE’10
publication_identifier:
eisbn:
- 978-3-9810801-6-2
publisher: IEEE
status: public
title: RTOS-Aware Refinement for TLM2.0-based HW/SW Design
type: conference
user_id: '5786'
year: '2010'
...
---
_id: '37067'
abstract:
- lang: eng
text: IP-XACT is a well accepted standard for the exchange of IP components at Electronic
System and Register Transfer Level. Still, the creation and manipulation of these
descriptions at the XML level can be time-consuming and error-prone. In this paper,
we show that the UML can be consistently applied as an efficient and comprehensible
frontend for IP-XACT-based IP description and integration. For this, we present
an IP-XACT UML profile that enables UML-based descriptions covering the same information
as a corresponding IP-XACT description. This enables the automated generation
of IP-XACT component and design descriptions from respective UML models. In particular,
it also allows the integration of existing IPs with UML. To illustrate our approach,
we present an application example based on the IBM PowerPC Evaluation Kit.
author:
- first_name: Tim
full_name: Schattkowsky, Tim
last_name: Schattkowsky
- first_name: Tao
full_name: Xie, Tao
last_name: Xie
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Schattkowsky T, Xie T, Müller W. A UML Frontend for IP-XACT-based IP Management.
In: Proceedings of DATE’09. IEEE; 2009. doi:10.1109/DATE.2009.5090664'
apa: Schattkowsky, T., Xie, T., & Müller, W. (2009). A UML Frontend for IP-XACT-based
IP Management. Proceedings of DATE’09. Design, Automation & Test in
Europe Conference & Exhibition. https://doi.org/10.1109/DATE.2009.5090664
bibtex: '@inproceedings{Schattkowsky_Xie_Müller_2009, place={Nice, France}, title={A
UML Frontend for IP-XACT-based IP Management}, DOI={10.1109/DATE.2009.5090664},
booktitle={Proceedings of DATE’09}, publisher={IEEE}, author={Schattkowsky, Tim
and Xie, Tao and Müller, Wolfgang}, year={2009} }'
chicago: 'Schattkowsky, Tim, Tao Xie, and Wolfgang Müller. “A UML Frontend for IP-XACT-Based
IP Management.” In Proceedings of DATE’09. Nice, France: IEEE, 2009. https://doi.org/10.1109/DATE.2009.5090664.'
ieee: 'T. Schattkowsky, T. Xie, and W. Müller, “A UML Frontend for IP-XACT-based
IP Management,” presented at the Design, Automation & Test in Europe Conference
& Exhibition, 2009, doi: 10.1109/DATE.2009.5090664.'
mla: Schattkowsky, Tim, et al. “A UML Frontend for IP-XACT-Based IP Management.”
Proceedings of DATE’09, IEEE, 2009, doi:10.1109/DATE.2009.5090664.
short: 'T. Schattkowsky, T. Xie, W. Müller, in: Proceedings of DATE’09, IEEE, Nice,
France, 2009.'
conference:
name: Design, Automation & Test in Europe Conference & Exhibition
date_created: 2023-01-17T11:54:02Z
date_updated: 2023-01-17T11:54:07Z
department:
- _id: '672'
doi: 10.1109/DATE.2009.5090664
keyword:
- Unified modeling language
- XML
- Power system modeling
- Application software
- Master-slave
- Power system management
- Acceleration
- Scattering
- Software engineering
- Software standards
language:
- iso: eng
place: Nice, France
publication: Proceedings of DATE'09
publication_identifier:
isbn:
- 978-1-4244-3781-8
publisher: IEEE
status: public
title: A UML Frontend for IP-XACT-based IP Management
type: conference
user_id: '5786'
year: '2009'
...
---
_id: '39403'
abstract:
- lang: eng
text: The Unified Modeling Language (UML) has received wide acceptance as a standard
language in the field of software specification by means of different diagram
types. In a recent version of UML, the textual Object Constraint Language (OCL)
was introduced to support specification of constraints for UML models. But OCL
currently does not provide sufficient means to specify constraints over the dynamic
behavior of a model. This article presents an OCL extension that is consistent
with current OCL and enables modelers to specify state-related time-bounded constraints.
We consider the case study of a flexible manufacturing system and identify typical
real-time constraints. The constraints are presented in our temporal OCL extension
as well as in temporal logic formulae. For general application, we define a semantics
of our OCL extension by means of a time-bounded temporal logic based on Computational
Tree Logic (CTL).
author:
- first_name: Stephan
full_name: Flake, Stephan
last_name: Flake
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
citation:
ama: 'Flake S, Müller W. Specification of Real-Time Properties for UML Models. In:
Proceedings of HICSS-35. ; 2002. doi:10.1109/HICSS.2002.994469'
apa: Flake, S., & Müller, W. (2002). Specification of Real-Time Properties for
UML Models. Proceedings of HICSS-35. Proceedings of the 35th Annual Hawaii
International Conference on System Sciences, Big Island, HI, USA . https://doi.org/10.1109/HICSS.2002.994469
bibtex: '@inproceedings{Flake_Müller_2002, place={Big Island, HI, USA }, title={Specification
of Real-Time Properties for UML Models}, DOI={10.1109/HICSS.2002.994469},
booktitle={Proceedings of HICSS-35}, author={Flake, Stephan and Müller, Wolfgang},
year={2002} }'
chicago: Flake, Stephan, and Wolfgang Müller. “Specification of Real-Time Properties
for UML Models.” In Proceedings of HICSS-35. Big Island, HI, USA , 2002.
https://doi.org/10.1109/HICSS.2002.994469.
ieee: 'S. Flake and W. Müller, “Specification of Real-Time Properties for UML Models,”
presented at the Proceedings of the 35th Annual Hawaii International Conference
on System Sciences, Big Island, HI, USA , 2002, doi: 10.1109/HICSS.2002.994469.'
mla: Flake, Stephan, and Wolfgang Müller. “Specification of Real-Time Properties
for UML Models.” Proceedings of HICSS-35, 2002, doi:10.1109/HICSS.2002.994469.
short: 'S. Flake, W. Müller, in: Proceedings of HICSS-35, Big Island, HI, USA ,
2002.'
conference:
location: 'Big Island, HI, USA '
name: Proceedings of the 35th Annual Hawaii International Conference on System Sciences
date_created: 2023-01-24T10:22:12Z
date_updated: 2023-01-24T10:22:16Z
department:
- _id: '672'
doi: 10.1109/HICSS.2002.994469
keyword:
- Unified modeling language
- Logic
- Formal verification
- Real time systems
- Programming profession
- Vehicle dynamics
- Software standards
- Flexible manufacturing systems
- Electronics industry
- Protocols
language:
- iso: eng
place: 'Big Island, HI, USA '
publication: Proceedings of HICSS-35
publication_identifier:
isbn:
- 0-7695-1435-9
status: public
title: Specification of Real-Time Properties for UML Models
type: conference
user_id: '5786'
year: '2002'
...
---
_id: '39474'
abstract:
- lang: eng
text: Agent-based systems technologies are of emerging interest in the specification
and implementation of complex systems. This article introduces the CASA agent
development system which seamlessly combines the BDI (belief desire intention)
approach with the FIPA agent communication language standard and an integrated
specification of fuzzy controllers. The behavior of agents is defined by strategies
which basically correspond to extended guarded Horn clauses with priorities. The
presented concepts are introduced by an example from computer integrated manufacturing
(CIM). The example gives the specification of a fuzzy controller for a manufacturing
station in the context of a holonic manufacturing system (HMS).
author:
- first_name: Stephan
full_name: Flake, Stephan
last_name: Flake
- first_name: Christian
full_name: Geiger, Christian
last_name: Geiger
- first_name: G.
full_name: Lehrenfeld, G.
last_name: Lehrenfeld
- first_name: Wolfgang
full_name: Müller, Wolfgang
id: '16243'
last_name: Müller
- first_name: Volker
full_name: Paelke, Volker
last_name: Paelke
citation:
ama: 'Flake S, Geiger C, Lehrenfeld G, Müller W, Paelke V. Agent-Based Modeling
for Holonic Manufacturing Systems with Fuzzy Control. In: Proceedings of NAFIPS’99,
18th International Conference of the North American Fuzzy Information Processing
Society. IEEE; 1999. doi:10.1109/NAFIPS.1999.781697'
apa: Flake, S., Geiger, C., Lehrenfeld, G., Müller, W., & Paelke, V. (1999).
Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control. Proceedings
of NAFIPS’99, 18th International Conference of the North American Fuzzy Information
Processing Society. 18th International Conference of the North American Fuzzy
Information Processing Society - NAFIPS, New York, NY, USA . https://doi.org/10.1109/NAFIPS.1999.781697
bibtex: '@inproceedings{Flake_Geiger_Lehrenfeld_Müller_Paelke_1999, place={New York,
NY, USA }, title={Agent-Based Modeling for Holonic Manufacturing Systems with
Fuzzy Control}, DOI={10.1109/NAFIPS.1999.781697},
booktitle={Proceedings of NAFIPS’99, 18th International Conference of the North
American Fuzzy Information Processing Society}, publisher={IEEE}, author={Flake,
Stephan and Geiger, Christian and Lehrenfeld, G. and Müller, Wolfgang and Paelke,
Volker}, year={1999} }'
chicago: 'Flake, Stephan, Christian Geiger, G. Lehrenfeld, Wolfgang Müller, and
Volker Paelke. “Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy
Control.” In Proceedings of NAFIPS’99, 18th International Conference of the
North American Fuzzy Information Processing Society. New York, NY, USA : IEEE,
1999. https://doi.org/10.1109/NAFIPS.1999.781697.'
ieee: 'S. Flake, C. Geiger, G. Lehrenfeld, W. Müller, and V. Paelke, “Agent-Based
Modeling for Holonic Manufacturing Systems with Fuzzy Control,” presented at the
18th International Conference of the North American Fuzzy Information Processing
Society - NAFIPS, New York, NY, USA , 1999, doi: 10.1109/NAFIPS.1999.781697.'
mla: Flake, Stephan, et al. “Agent-Based Modeling for Holonic Manufacturing Systems
with Fuzzy Control.” Proceedings of NAFIPS’99, 18th International Conference
of the North American Fuzzy Information Processing Society, IEEE, 1999, doi:10.1109/NAFIPS.1999.781697.
short: 'S. Flake, C. Geiger, G. Lehrenfeld, W. Müller, V. Paelke, in: Proceedings
of NAFIPS’99, 18th International Conference of the North American Fuzzy Information
Processing Society, IEEE, New York, NY, USA , 1999.'
conference:
location: 'New York, NY, USA '
name: 18th International Conference of the North American Fuzzy Information Processing
Society - NAFIPS
date_created: 2023-01-24T11:21:53Z
date_updated: 2023-01-24T11:21:57Z
department:
- _id: '672'
doi: 10.1109/NAFIPS.1999.781697
keyword:
- Manufacturing systems
- Fuzzy control
- Multiagent systems
- Control systems
- Concurrent computing
- Specification languages
- Communication standards
- Standards development
- Communication system control
- Computer integrated manufacturing
language:
- iso: eng
place: 'New York, NY, USA '
publication: Proceedings of NAFIPS'99, 18th International Conference of the North
American Fuzzy Information Processing Society
publication_identifier:
isbn:
- 0-7803-5211-4
publisher: IEEE
status: public
title: Agent-Based Modeling for Holonic Manufacturing Systems with Fuzzy Control
type: conference
user_id: '5786'
year: '1999'
...