EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Author: Langerak, R.
Home Policy Brochure Browse Search User Area Contact Help

2014

Schivo, S. and Scholma, J. and Wanders, B. and Urquidi Camacho, R. A. and van der Vet, P.E. and Karperien, H.B.J. and Langerak, R. and van de Pol, J.C. and Post, J.N. (2014) Modelling biological pathway dynamics with Timed Automata. IEEE Journal of Biomedical and Health Informatics, online pre-publication. ISSN 2168-2194

2013

Scholma, J. and Kerkhofs, J. and Schivo, S. and Langerak, R. and van der Vet, P.E. and Karperien, H.B.J. and van de Pol, J.C. and Geris, L. and Post, J.N. (2013) Mathematical modeling of signaling pathways in osteoarthritis. In: 2013 Osteoarthritis Research Society International (OARSI) World Congress, 18-21 Apr 2013, Philadelphia, USA. S123-S123. Elsevier. ISSN 1063-4584

2012

Polderman, J.W. and Langerak, R. (2012) Stability and robustness of planar switching linear systems. Systems and control letters, 61 (9). pp. 904-910. ISSN 0167-6911 *** ISI Impact 1,67 ***
Polenkova, S.V. and Polderman, J.W. and Langerak, R. (2012) Stability of reset systems. In: Proceedings of the 20th International Symposium on Mathematical Theory of Networks and Systems, 9-13 Jul 2012, Melbourne, Australia. 0074. Think Business Events. ISBN 978-0-646-58062-3
Schivo, S. and Scholma, J. and Wanders, B. and Urquidi Camacho, R.A. and van der Vet, P.E. and Karperien, H.B.J. and Langerak, R. and van de Pol, J.C. and Post, J.N. (2012) Modelling biological pathway dynamics with Timed Automata. In: 2012 IEEE 12th International Conference on Bioinformatics and Bioengineering (BIBE 2012), 11-13 Nov 2012, Larnaca, Cyprus. pp. 447-453. IEEE Computer Society. ISBN 978-1-4673-4358-9

2011

Laarman, A.W. and Langerak, R. and van de Pol, J.C. and Weber, Michael and Wijs, A. (2011) Multi-Core Nested Depth-First Search. In: Proceedings of the 9th International Symposium on Automated Technology for Verification and Analysis, ATVA 2011, 11-14 Oct 2011, Tapei, Taiwan. pp. 321-335. Lecture Notes in Computer Science 6996. Springer Verlag. ISBN 978-3-642-24372-1

2010

Kordy, P.T. and Langerak, R. and Polderman, J.W. (2010) Re-verification of a Lip Synchronization Protocol using Robust Reachability. Electronic Proceedings in Theoretical Computer Science, 20. pp. 49-62. ISSN 2075-2180
Polenkova, S.V. and Polderman, J.W. and Langerak, R. (2010) Stability criteria for planar linear systems with state reset. In: Proceedings of the 19th International Symposium on Mathematical Theory of Networks and Systems - MTNS 2010, 5-9 Jul 2010, Budapest. pp. 809-815. Eötvös Loránd University. ISBN 978-963-311-370-7
Xing, Jian Sheng and Theelen, B.D. and Langerak, R. and van de Pol, J.C. and Tretmans, G.J. and Voeten, J.P.M. (2010) From POOSL to UPPAAL: Transformation and Quantitative Analysis. In: Application of Concurrency to System Design, Tenth International Conference on, 21-25 Jun 2010, Braga, Portugal. pp. 47-56. IEEE Computer Society. ISSN 1550-4808 ISBN 978-0-7695-4066-5
Xing, Jian Sheng and Theelen, B.D. and Langerak, R. and van de Pol, J.C. and Tretmans, G.J. and Voeten, J.P.M. (2010) UPPAAL in Practice: Quantitative Verication of a RapidIO Network. In: ISoLA 2010 - 4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, 18-20 Oct 2010, Amirandes, Heraclion, Crete. pp. 160-174. Lecture Notes in Computer Science 6416. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-16560-3

2009

Kordy, P.T. and Langerak, R. and Polderman, J.W. (2009) Re-verification of a Lip Synchronization Algorithm using robust reachability. In: Formal Methods for Aerospace, 03 Nov 2009, Eindhoven, The Netherlands. Technische Universiteit Eindhoven. ISSN not assigned

2008

Bujorianu, L.M. and Lygeros, J. and Langerak, R. (2008) Reachability Analysis of Stochastic Hybrid Systems by Optimal Control. In: 11th International Workshop, HSCC 2008, 22-24 Aril 2008, St. Louis, USA. pp. 610-613. Lecture Notes in Computer Science 4981. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-78928-4
Bujorianu, M.C. and Bujorianu, L.M. and Langerak, R. (2008) An Interpretation of Concurrent Hybrid Time Systems over Multi-clock Systems. In: Proceedings of the 17th IFAC World Congress, 6-11 Jul 2008, Seoul, Korea. pp. 3635-3640. IFAC. ISBN 978-3-902661-00-5
Daws, C.F. and Langerak, R. and Polderman, J.W. (2008) Decision algorithm for the stability of planar switching linear systems. In: Proceedings of the 18th international symposium on mathematical theory of networks & systems, 28 July - 1 August 2008, Blacksburg, Virginia, USA. 11. SIAM. ISBN not assigned
Langerak, R. and Polderman, J.W. (2008) Hybrid automata. In: Handbook of Hybrid Systems Control, Theory - Tools - Applications. Cambridge University Press, Cambridge, pp. 60-65. ISBN 978-0-52176-505-3

2007

Khusainov, D. and Langerak, R. and Kuzmych, O. (2007) Estimations of solutions convergence of hybrid systems consisting of linear equations with delay. Nonlinear dynamics and systems theory, 7 (2). pp. 169-186. ISSN 1562-8353

2006

Langerak, R. and Kuzmych, O. (2006) Estimations of solutions convergence of hybrid systems with delay. In: Conference on Differential and Difference Equations and Applications CDDEA 2006, June 26–30, 2006, Zilina, Slovensko. pp. 30-31. Faculty of Science, University of Zilina. ISBN 80-8070-563-1

2005

Langerak, R. and Polderman, J.W. (2005) Tools for Stability of Switching Linear Systems: Gain Automata and Delay Compensation. In: 44th IEEE Conference on Decision and Control and European Control Conference ECC 2005, 12-15 Dec 2005, Sevilla, Spain. pp. 4867-4872. IEEE Computer Society. ISBN 0-7803-9567-0
Strubbe, S.N. and Langerak, R. (2005) A Composition Operator for Systems with Active and Passive Actions. In: Proceedings of Formal Techniques for Networked and Distributed Systems (FORTE) 2005, Taiwan. pp. 24-37. Lecture Notes in Computer Science 3731. Springer-Verlag. ISBN 354029189X

2003

Langerak, R. and Polderman, J.W. and Krilavičius, T. (2003) Stability Analysis for Hybrid Automata Using Conservative Gains. In: IFAC Conference on Analysis and Design of Hybrid Systems ADHS03, 16-18 June 2003, Saint-Malo, France. pp. 377-382. ISBN not assigned

2001

Ruys, T.C. and Langerak, R. and Katoen, J.P. and Latella, D. and Massink, M. (2001) First passage time analysis of stochastic process algebra using partial orders. In: Tools and Algorithms for the Construction and Analysis of Systems. pp. 220-235. Lecture Notes in Computer Science 2031. Springer. ISSN 0302-9743 ISBN 3-540-41865-2

1999

Langerak, R. (1999) Deriving a Graph Rewriting System from a Complete Finite Prefix of an Unfolding. In: Proceedings of the 6th International Workshop on Expressiveness in Concurrency, 23 August 1999, Eindhoven, The Netherlands. pp. 24-41. Electronic Notes in Theoretical Computer Science 27. Elsevier. ISSN 1571-0661
Langerak, R. and Brinksma, H. (1999) A complete finite prefix for process algebra. In: Computer Aided Verification, 11th International Conference, CAV '99, July 6-10, 1999, Trento, Italy. pp. 184-195. Lecture Notes in Computer Science 1633. Springer Verlag. ISBN 3-540-66202-2

1998

Brinksma, H. and Katoen, J.P. and Latella, D. and Langerak, R. (1998) Partial-order models for quantitative extensions of LOTOS. Computer networks and ISDN systems, 30 (9-10). pp. 925-950. ISSN 0169-7552
Katoen, J.P. and Latella, D. and Langerak, R. and Brinksma, H. and Bolognesi, T. (1998) A consistent causality-based view on a timed process algebra including urgent interactions. Formal Methods in System Design, 12 (2). pp. 189-216. ISSN 0925-9856 *** ISI Impact 0,28 ***

1997

Langerak, R. and Brinksma, H. and Katoen, J.P. (1997) Causal ambiguity and partial orders in event structures. Technical Report TR-CTIT-97-11, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625
Langerak, R. and Brinksma, H. and Katoen, J.P. (1997) Causal ambiguity and partial orders in event structures. In: Concurrency Theory (CONCUR'97), July 1-4, 1997, Warsaw, Poland. pp. 317-332. Lecture Notes in Computer Science 1243. Springer Verlag. ISBN 3-540-63141-0
Ruys, T.C. and Langerak, R. (1997) Validation of Bosch' Mobile Communication NetworkArchitecture with SPIN. In: Proceedings of SPIN97, the Third InternationalWorkshop on SPIN, 5 April 1997, Enschede, The Netherlands. unpublished. ISBN not assigned

1996

Katoen, J.P. and Latella, D. and Langerak, R. and Brinksma, H. (1996) On specifying real-time systems in a causality-based setting. In: Formal Techniques in Real-Time and Fault-Tolerant Systems, September 9-13, 1996, Uppsala, Sweden. pp. 385-405. Lecture Notes in Computer Science 1135. Springer-Verlag. ISBN 3-540-61648-9
Katoen, J.P. and Latella, D. and Langerak, R. and Brinksma, H. (1996) Stochastic simulation of event structures. In: Proceedings of the Fourth Process Algebra and Performance Modelling Workshop (PAPM'96). pp. 21-49. CLUT Press.

1995

Brinksma, H. and Katoen, J.P. and Latella, D. and Langerak, R. (1995) A stochastic causality-based process algebra. The Computer journal, 38 (7). pp. 552-565. ISSN 0010-4620 *** ISI Impact 0,76 ***
Brinksma, H. and Langerak, R. (1995) Functionality Decomposition by Compositional Correctness Preserving Transformation. South African Computer Journal, 13. pp. 2-13. ISSN 1015-7999