Deep eutectic solvents formed with unconventional carbon precursors were used for the preparation of hierarchical carbon monoliths and proved effective for doping the resulting carbons with nitrogen.
"}]},{"title":"Using the turbo principle for exploiting temporal and spectral correlations in speech presence probability estimation","doi":"10.1109/ICASSP.2013.6637771","date_updated":"2022-01-06T06:51:12Z","author":[{"last_name":"Vu","full_name":"Vu, Dang Hai Tran","first_name":"Dang Hai Tran"},{"first_name":"Reinhold","last_name":"Haeb-Umbach","id":"242","full_name":"Haeb-Umbach, Reinhold"}],"date_created":"2019-07-12T05:30:45Z","year":"2013","citation":{"bibtex":"@inproceedings{Vu_Haeb-Umbach_2013, title={Using the turbo principle for exploiting temporal and spectral correlations in speech presence probability estimation}, DOI={10.1109/ICASSP.2013.6637771}, booktitle={38th International Conference on Acoustics, Speech and Signal Processing (ICASSP 2013)}, author={Vu, Dang Hai Tran and Haeb-Umbach, Reinhold}, year={2013}, pages={863–867} }","mla":"Vu, Dang Hai Tran, and Reinhold Haeb-Umbach. “Using the Turbo Principle for Exploiting Temporal and Spectral Correlations in Speech Presence Probability Estimation.” 38th International Conference on Acoustics, Speech and Signal Processing (ICASSP 2013), 2013, pp. 863–67, doi:10.1109/ICASSP.2013.6637771.","short":"D.H.T. Vu, R. Haeb-Umbach, in: 38th International Conference on Acoustics, Speech and Signal Processing (ICASSP 2013), 2013, pp. 863–867.","apa":"Vu, D. H. T., & Haeb-Umbach, R. (2013). Using the turbo principle for exploiting temporal and spectral correlations in speech presence probability estimation. In 38th International Conference on Acoustics, Speech and Signal Processing (ICASSP 2013) (pp. 863–867). https://doi.org/10.1109/ICASSP.2013.6637771","chicago":"Vu, Dang Hai Tran, and Reinhold Haeb-Umbach. “Using the Turbo Principle for Exploiting Temporal and Spectral Correlations in Speech Presence Probability Estimation.” In 38th International Conference on Acoustics, Speech and Signal Processing (ICASSP 2013), 863–67, 2013. https://doi.org/10.1109/ICASSP.2013.6637771.","ieee":"D. H. T. Vu and R. Haeb-Umbach, “Using the turbo principle for exploiting temporal and spectral correlations in speech presence probability estimation,” in 38th International Conference on Acoustics, Speech and Signal Processing (ICASSP 2013), 2013, pp. 863–867.","ama":"Vu DHT, Haeb-Umbach R. Using the turbo principle for exploiting temporal and spectral correlations in speech presence probability estimation. In: 38th International Conference on Acoustics, Speech and Signal Processing (ICASSP 2013). ; 2013:863-867. doi:10.1109/ICASSP.2013.6637771"},"page":"863-867","publication_identifier":{"issn":["1520-6149"]},"keyword":["correlation methods","estimation theory","hidden Markov models","iterative methods","probability","spectral analysis","speech processing","2D HMM","SPP estimates","iterative algorithm","posterior probability estimation","spectral correlation","speech presence probability estimation","state-of-the-art SPP estimation algorithm","temporal correlation","turbo principle","two-dimensional hidden Markov model","Correlation","Decoding","Estimation","Iterative decoding","Noise","Speech","Vectors"],"language":[{"iso":"eng"}],"_id":"11917","user_id":"44006","department":[{"_id":"54"}],"abstract":[{"text":"In this paper we present a speech presence probability (SPP) estimation algorithmwhich exploits both temporal and spectral correlations of speech. To this end, the SPP estimation is formulated as the posterior probability estimation of the states of a two-dimensional (2D) Hidden Markov Model (HMM). We derive an iterative algorithm to decode the 2D-HMM which is based on the turbo principle. The experimental results show that indeed the SPP estimates improve from iteration to iteration, and further clearly outperform another state-of-the-art SPP estimation algorithm.","lang":"eng"}],"status":"public","type":"conference","publication":"38th International Conference on Acoustics, Speech and Signal Processing (ICASSP 2013)"},{"alternative_title":["Resonant cavity-enhanced OLED based on a columnar liquid crystal"],"user_id":"20179","department":[{"_id":"59"}],"_id":"39485","status":"public","type":"journal_article","doi":"10.1002/er.3127","author":[{"last_name":"Kasdorf","full_name":"Kasdorf, Olga","first_name":"Olga"},{"last_name":"Vollbrecht","full_name":"Vollbrecht, Joachim","first_name":"Joachim"},{"full_name":"Ohms, Benjamin","last_name":"Ohms","first_name":"Benjamin"},{"id":"20179","full_name":"Hilleringmann, Ulrich","last_name":"Hilleringmann","first_name":"Ulrich"},{"first_name":"Harald","full_name":"Bock, Harald","last_name":"Bock"},{"full_name":"Kitzerow, Heinz-S.","last_name":"Kitzerow","first_name":"Heinz-S."}],"volume":38,"date_updated":"2023-03-22T10:15:46Z","citation":{"ama":"Kasdorf O, Vollbrecht J, Ohms B, Hilleringmann U, Bock H, Kitzerow H-S. Enhanced organic light-emitting diode based on a columnar liquid crystal by integration in a microresonator. International Journal of Energy Research. 2013;38(4):452-458. doi:10.1002/er.3127","chicago":"Kasdorf, Olga, Joachim Vollbrecht, Benjamin Ohms, Ulrich Hilleringmann, Harald Bock, and Heinz-S. Kitzerow. “Enhanced Organic Light-Emitting Diode Based on a Columnar Liquid Crystal by Integration in a Microresonator.” International Journal of Energy Research 38, no. 4 (2013): 452–58. https://doi.org/10.1002/er.3127.","ieee":"O. Kasdorf, J. Vollbrecht, B. Ohms, U. Hilleringmann, H. Bock, and H.-S. Kitzerow, “Enhanced organic light-emitting diode based on a columnar liquid crystal by integration in a microresonator,” International Journal of Energy Research, vol. 38, no. 4, pp. 452–458, 2013, doi: 10.1002/er.3127.","bibtex":"@article{Kasdorf_Vollbrecht_Ohms_Hilleringmann_Bock_Kitzerow_2013, title={Enhanced organic light-emitting diode based on a columnar liquid crystal by integration in a microresonator}, volume={38}, DOI={10.1002/er.3127}, number={4}, journal={International Journal of Energy Research}, publisher={Hindawi Limited}, author={Kasdorf, Olga and Vollbrecht, Joachim and Ohms, Benjamin and Hilleringmann, Ulrich and Bock, Harald and Kitzerow, Heinz-S.}, year={2013}, pages={452–458} }","mla":"Kasdorf, Olga, et al. “Enhanced Organic Light-Emitting Diode Based on a Columnar Liquid Crystal by Integration in a Microresonator.” International Journal of Energy Research, vol. 38, no. 4, Hindawi Limited, 2013, pp. 452–58, doi:10.1002/er.3127.","short":"O. Kasdorf, J. Vollbrecht, B. Ohms, U. Hilleringmann, H. Bock, H.-S. Kitzerow, International Journal of Energy Research 38 (2013) 452–458.","apa":"Kasdorf, O., Vollbrecht, J., Ohms, B., Hilleringmann, U., Bock, H., & Kitzerow, H.-S. (2013). Enhanced organic light-emitting diode based on a columnar liquid crystal by integration in a microresonator. International Journal of Energy Research, 38(4), 452–458. https://doi.org/10.1002/er.3127"},"page":"452-458","intvolume":" 38","publication_status":"published","publication_identifier":{"issn":["0363-907X"]},"language":[{"iso":"eng"}],"keyword":["Energy Engineering and Power Technology","Fuel Technology","Nuclear Energy and Engineering","Renewable Energy","Sustainability and the Environment"],"publication":"International Journal of Energy Research","title":"Enhanced organic light-emitting diode based on a columnar liquid crystal by integration in a microresonator","date_created":"2023-01-24T11:30:04Z","publisher":"Hindawi Limited","year":"2013","issue":"4"},{"page":"452-458","intvolume":" 38","citation":{"chicago":"Kasdorf, Olga, Joachim Vollbrecht, Benjamin Ohms, Ulrich Hilleringmann, Harald Bock, and Heinz-Siegfried Kitzerow. “Enhanced Organic Light-Emitting Diode Based on a Columnar Liquid Crystal by Integration in a Microresonator.” International Journal of Energy Research 38, no. 4 (2013): 452–58. https://doi.org/10.1002/er.3127.","ieee":"O. Kasdorf, J. Vollbrecht, B. Ohms, U. Hilleringmann, H. Bock, and H.-S. Kitzerow, “Enhanced organic light-emitting diode based on a columnar liquid crystal by integration in a microresonator,” International Journal of Energy Research, vol. 38, no. 4, pp. 452–458, 2013, doi: 10.1002/er.3127.","ama":"Kasdorf O, Vollbrecht J, Ohms B, Hilleringmann U, Bock H, Kitzerow H-S. Enhanced organic light-emitting diode based on a columnar liquid crystal by integration in a microresonator. International Journal of Energy Research. 2013;38(4):452-458. doi:10.1002/er.3127","short":"O. Kasdorf, J. Vollbrecht, B. Ohms, U. Hilleringmann, H. Bock, H.-S. Kitzerow, International Journal of Energy Research 38 (2013) 452–458.","mla":"Kasdorf, Olga, et al. “Enhanced Organic Light-Emitting Diode Based on a Columnar Liquid Crystal by Integration in a Microresonator.” International Journal of Energy Research, vol. 38, no. 4, Hindawi Limited, 2013, pp. 452–58, doi:10.1002/er.3127.","bibtex":"@article{Kasdorf_Vollbrecht_Ohms_Hilleringmann_Bock_Kitzerow_2013, title={Enhanced organic light-emitting diode based on a columnar liquid crystal by integration in a microresonator}, volume={38}, DOI={10.1002/er.3127}, number={4}, journal={International Journal of Energy Research}, publisher={Hindawi Limited}, author={Kasdorf, Olga and Vollbrecht, Joachim and Ohms, Benjamin and Hilleringmann, Ulrich and Bock, Harald and Kitzerow, Heinz-Siegfried}, year={2013}, pages={452–458} }","apa":"Kasdorf, O., Vollbrecht, J., Ohms, B., Hilleringmann, U., Bock, H., & Kitzerow, H.-S. (2013). Enhanced organic light-emitting diode based on a columnar liquid crystal by integration in a microresonator. International Journal of Energy Research, 38(4), 452–458. https://doi.org/10.1002/er.3127"},"publication_identifier":{"issn":["0363-907X"]},"publication_status":"published","doi":"10.1002/er.3127","volume":38,"author":[{"full_name":"Kasdorf, Olga","last_name":"Kasdorf","first_name":"Olga"},{"first_name":"Joachim","last_name":"Vollbrecht","full_name":"Vollbrecht, Joachim"},{"first_name":"Benjamin","last_name":"Ohms","full_name":"Ohms, Benjamin"},{"last_name":"Hilleringmann","full_name":"Hilleringmann, Ulrich","id":"20179","first_name":"Ulrich"},{"full_name":"Bock, Harald","last_name":"Bock","first_name":"Harald"},{"full_name":"Kitzerow, Heinz-Siegfried","id":"254","last_name":"Kitzerow","first_name":"Heinz-Siegfried"}],"date_updated":"2023-03-22T10:33:48Z","status":"public","type":"journal_article","alternative_title":["Resonant cavity-enhanced OLED based on a columnar liquid crystal"],"department":[{"_id":"59"}],"user_id":"20179","_id":"39707","year":"2013","issue":"4","title":"Enhanced organic light-emitting diode based on a columnar liquid crystal by integration in a microresonator","date_created":"2023-01-24T18:27:25Z","publisher":"Hindawi Limited","publication":"International Journal of Energy Research","language":[{"iso":"eng"}],"keyword":["Energy Engineering and Power Technology","Fuel Technology","Nuclear Energy and Engineering","Renewable Energy","Sustainability and the Environment"]},{"publisher":"AEDERMACP (European Association for the Development of Renewable Energies and Power Quality)","date_updated":"2026-02-24T19:09:44Z","author":[{"first_name":"S.C.S.","full_name":"Jucá, S.C.S.","last_name":"Jucá"},{"last_name":"Carvalho","full_name":"Carvalho, P.C.M.","first_name":"P.C.M."},{"full_name":"Pereira, R.I.S.","last_name":"Pereira","first_name":"R.I.S."},{"first_name":"Dmitry","last_name":"Petrov","id":"8282","full_name":"Petrov, Dmitry"},{"first_name":"Ulrich","last_name":"Hilleringmann","id":"20179","full_name":"Hilleringmann, Ulrich"}],"date_created":"2023-01-24T11:47:52Z","title":"Design and Implementation of a High Temperature Control Monitoring Applied to Micro Thermoelectric Generators","doi":"10.24084/repqj11.425","publication_identifier":{"issn":["2172-038X","2172-038X"]},"publication_status":"published","year":"2013","page":"712-717","citation":{"ama":"Jucá SCS, Carvalho PCM, Pereira RIS, Petrov D, Hilleringmann U. Design and Implementation of a High Temperature Control Monitoring Applied to Micro Thermoelectric Generators. Renewable Energy and Power Quality Journal. Published online 2013:712-717. doi:10.24084/repqj11.425","ieee":"S. C. S. Jucá, P. C. M. Carvalho, R. I. S. Pereira, D. Petrov, and U. Hilleringmann, “Design and Implementation of a High Temperature Control Monitoring Applied to Micro Thermoelectric Generators,” Renewable Energy and Power Quality Journal, pp. 712–717, 2013, doi: 10.24084/repqj11.425.","chicago":"Jucá, S.C.S., P.C.M. Carvalho, R.I.S. Pereira, Dmitry Petrov, and Ulrich Hilleringmann. “Design and Implementation of a High Temperature Control Monitoring Applied to Micro Thermoelectric Generators.” Renewable Energy and Power Quality Journal, 2013, 712–17. https://doi.org/10.24084/repqj11.425.","short":"S.C.S. Jucá, P.C.M. Carvalho, R.I.S. Pereira, D. Petrov, U. Hilleringmann, Renewable Energy and Power Quality Journal (2013) 712–717.","bibtex":"@article{Jucá_Carvalho_Pereira_Petrov_Hilleringmann_2013, title={Design and Implementation of a High Temperature Control Monitoring Applied to Micro Thermoelectric Generators}, DOI={10.24084/repqj11.425}, journal={Renewable Energy and Power Quality Journal}, publisher={AEDERMACP (European Association for the Development of Renewable Energies and Power Quality)}, author={Jucá, S.C.S. and Carvalho, P.C.M. and Pereira, R.I.S. and Petrov, Dmitry and Hilleringmann, Ulrich}, year={2013}, pages={712–717} }","mla":"Jucá, S. C. S., et al. “Design and Implementation of a High Temperature Control Monitoring Applied to Micro Thermoelectric Generators.” Renewable Energy and Power Quality Journal, AEDERMACP (European Association for the Development of Renewable Energies and Power Quality), 2013, pp. 712–17, doi:10.24084/repqj11.425.","apa":"Jucá, S. C. S., Carvalho, P. C. M., Pereira, R. I. S., Petrov, D., & Hilleringmann, U. (2013). Design and Implementation of a High Temperature Control Monitoring Applied to Micro Thermoelectric Generators. Renewable Energy and Power Quality Journal, 712–717. https://doi.org/10.24084/repqj11.425"},"_id":"39507","department":[{"_id":"59"},{"_id":"977"}],"user_id":"8282","keyword":["Electrical and Electronic Engineering","Energy Engineering and Power Technology","Renewable Energy","Sustainability and the Environment"],"language":[{"iso":"eng"}],"publication":"Renewable Energy and Power Quality Journal","type":"journal_article","status":"public"},{"publication_identifier":{"isbn":["978-3-540-27863-4"]},"citation":{"chicago":"Flake, Stephan, Wolfgang Müller, Ulrich Pape, and Jürgen Ruf. “Specification and Formal Verification of Temporal Properties of Production Automation Systems.” In Integration of Software Specification Techniques for Applications in Engineering, edited by Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, and Engelbert Westkämper, 3147:206–26. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer-Verlag, 2004. https://doi.org/10.1007/978-3-540-27863-4_13.","ieee":"S. Flake, W. Müller, U. Pape, and J. Ruf, “Specification and Formal Verification of Temporal Properties of Production Automation Systems,” in Integration of Software Specification Techniques for Applications in Engineering, vol. 3147, H. Ehrig, W. Damm, J. Desel, M. Große-Rhode, W. Reif, E. Schnieder, and E. Westkämper, Eds. Berlin, Heidelberg: Springer-Verlag, 2004, pp. 206–226.","ama":"Flake S, Müller W, Pape U, Ruf J. Specification and Formal Verification of Temporal Properties of Production Automation Systems. In: Ehrig H, Damm W, Desel J, et al., eds. Integration of Software Specification Techniques for Applications in Engineering. Vol 3147. Lecture Notes in Computer Science. Springer-Verlag; 2004:206-226. doi:10.1007/978-3-540-27863-4_13","bibtex":"@inbook{Flake_Müller_Pape_Ruf_2004, place={Berlin, Heidelberg}, series={Lecture Notes in Computer Science}, title={Specification and Formal Verification of Temporal Properties of Production Automation Systems}, volume={3147}, DOI={10.1007/978-3-540-27863-4_13}, booktitle={Integration of Software Specification Techniques for Applications in Engineering}, publisher={Springer-Verlag}, author={Flake, Stephan and Müller, Wolfgang and Pape, Ulrich and Ruf, Jürgen}, editor={Ehrig, Hartmut and Damm, Werner and Desel, Jörg and Große-Rhode, Martin and Reif, Wolfgang and Schnieder, Eckehard and Westkämper, Engelbert}, year={2004}, pages={206–226}, collection={Lecture Notes in Computer Science} }","mla":"Flake, Stephan, et al. “Specification and Formal Verification of Temporal Properties of Production Automation Systems.” Integration of Software Specification Techniques for Applications in Engineering, edited by Hartmut Ehrig et al., vol. 3147, Springer-Verlag, 2004, pp. 206–26, doi:10.1007/978-3-540-27863-4_13.","short":"S. Flake, W. Müller, U. Pape, J. Ruf, in: H. Ehrig, W. Damm, J. Desel, M. Große-Rhode, W. Reif, E. Schnieder, E. Westkämper (Eds.), Integration of Software Specification Techniques for Applications in Engineering, Springer-Verlag, Berlin, Heidelberg, 2004, pp. 206–226.","apa":"Flake, S., Müller, W., Pape, U., & Ruf, J. (2004). Specification and Formal Verification of Temporal Properties of Production Automation Systems. In H. Ehrig, W. Damm, J. Desel, M. Große-Rhode, W. Reif, E. Schnieder, & E. Westkämper (Eds.), Integration of Software Specification Techniques for Applications in Engineering (Vol. 3147, pp. 206–226). Springer-Verlag. https://doi.org/10.1007/978-3-540-27863-4_13"},"intvolume":" 3147","page":"206-226","place":"Berlin, Heidelberg","author":[{"last_name":"Flake","full_name":"Flake, Stephan","first_name":"Stephan"},{"last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243","first_name":"Wolfgang"},{"first_name":"Ulrich","full_name":"Pape, Ulrich","last_name":"Pape"},{"full_name":"Ruf, Jürgen","last_name":"Ruf","first_name":"Jürgen"}],"volume":3147,"date_updated":"2022-10-20T09:26:15Z","doi":"10.1007/978-3-540-27863-4_13","type":"book_chapter","status":"public","editor":[{"last_name":"Ehrig","full_name":"Ehrig, Hartmut","first_name":"Hartmut"},{"first_name":"Werner","last_name":"Damm","full_name":"Damm, Werner"},{"first_name":"Jörg","full_name":"Desel, Jörg","last_name":"Desel"},{"full_name":"Große-Rhode, Martin","last_name":"Große-Rhode","first_name":"Martin"},{"first_name":"Wolfgang","full_name":"Reif, Wolfgang","last_name":"Reif"},{"first_name":"Eckehard","last_name":"Schnieder","full_name":"Schnieder, Eckehard"},{"first_name":"Engelbert","full_name":"Westkämper, Engelbert","last_name":"Westkämper"}],"series_title":"Lecture Notes in Computer Science","user_id":"5786","department":[{"_id":"672"}],"_id":"33825","year":"2004","date_created":"2022-10-20T09:25:53Z","publisher":"Springer-Verlag","title":"Specification and Formal Verification of Temporal Properties of Production Automation Systems","publication":"Integration of Software Specification Techniques for Applications in Engineering","abstract":[{"lang":"eng","text":"This article describes our approach for the specification and verification of production automation systems with real-time properties. We focus on the graphical MFERT notation and RT-OCL (Real-Time Object Constraint Language) for the specification of state-oriented real-time properties. RT-OCL is an extension of the Object Constraint Language (OCL) that is part of the Unified Modeling Language (UML). We introduce the formal semantics of RT-OCL based on a formal model of UML Class and State Diagrams and provide a mapping to temporal logics. The applicability of our approach is demonstrated by the case study of a manufacturing system with automated guided vehicles."}],"language":[{"iso":"eng"}],"keyword":["Model Check","Temporal Logic","Object Constraint Language","Abstract Syntax","Temporal Logic Formula"]},{"publisher":"Springer-Verlag","date_updated":"2022-12-15T11:38:47Z","date_created":"2022-12-15T11:38:20Z","author":[{"last_name":"Flake","full_name":"Flake, Stephan","first_name":"Stephan"},{"last_name":"Müller","full_name":"Müller, Wolfgang","id":"16243","first_name":"Wolfgang"}],"title":"An OCL Extension for Real-Time Constraints","doi":"10.1007/3-540-45669-4_8","publication_identifier":{"isbn":["978-3-540-45669-8"]},"year":"2002","place":"Berlin, Heidelberg","citation":{"mla":"Flake, Stephan, and Wolfgang Müller. “An OCL Extension for Real-Time Constraints.” Advances in Object Modelling with the OCL, edited by T. Clark and J. Warmer, Springer-Verlag, 2002, pp. 150–71, doi:10.1007/3-540-45669-4_8.","bibtex":"@inbook{Flake_Müller_2002, place={Berlin, Heidelberg}, title={An OCL Extension for Real-Time Constraints}, DOI={10.1007/3-540-45669-4_8}, booktitle={Advances in Object Modelling with the OCL}, publisher={Springer-Verlag}, author={Flake, Stephan and Müller, Wolfgang}, editor={Clark, T. and Warmer, J.}, year={2002}, pages={150–171} }","short":"S. Flake, W. Müller, in: T. Clark, J. Warmer (Eds.), Advances in Object Modelling with the OCL, Springer-Verlag, Berlin, Heidelberg, 2002, pp. 150–171.","apa":"Flake, S., & Müller, W. (2002). An OCL Extension for Real-Time Constraints. In T. Clark & J. Warmer (Eds.), Advances in Object Modelling with the OCL (pp. 150–171). Springer-Verlag. https://doi.org/10.1007/3-540-45669-4_8","ieee":"S. Flake and W. Müller, “An OCL Extension for Real-Time Constraints,” in Advances in Object Modelling with the OCL, T. Clark and J. Warmer, Eds. Berlin, Heidelberg: Springer-Verlag, 2002, pp. 150–171.","chicago":"Flake, Stephan, and Wolfgang Müller. “An OCL Extension for Real-Time Constraints.” In Advances in Object Modelling with the OCL, edited by T. Clark and J. Warmer, 150–71. Berlin, Heidelberg: Springer-Verlag, 2002. https://doi.org/10.1007/3-540-45669-4_8.","ama":"Flake S, Müller W. An OCL Extension for Real-Time Constraints. In: Clark T, Warmer J, eds. Advances in Object Modelling with the OCL. Springer-Verlag; 2002:150-171. doi:10.1007/3-540-45669-4_8"},"page":"150 - 171","_id":"34447","user_id":"5786","department":[{"_id":"672"}],"keyword":["Model Check Temporal Logic Object Constraint Language Execution Path Kripke Structure"],"language":[{"iso":"eng"}],"type":"book_chapter","publication":"Advances in Object Modelling with the OCL","abstract":[{"text":"The Object Constraint Language (OCL) was introduced to support the specification of constraints for UML diagrams and is mainly used to formulate invariants and operation pre- and postconditions. Though OCL is also applied in behavioral diagrams, e.g., as guards for state transitions, it is currently not possible to specify constraints concerning the dynamic behavior and timing properties of such diagrams.\r\n\r\nThis article discusses OCL’s application for the dynamic behavior of UML Statechart diagrams and presents an OCL extension for specification of state-oriented time-bounded constraints.We introduce operations to extract state configurations from diagrams and define additional predicates over states and state configurations. The semantics of our OCL extension is given by employing time-bounded Computational Tree Logic (CTL) formulae. An example of a flexible manufacturing system with automated guided vehicles demonstrates the application of our extension.","lang":"eng"}],"editor":[{"last_name":"Clark","full_name":"Clark, T.","first_name":"T."},{"first_name":"J.","last_name":"Warmer","full_name":"Warmer, J."}],"status":"public"}]