Verimag

by kinds

Journal Articles

2017

  1. Reachability computation for polynomial dynamical systems. Tommaso Dreossi, Thao Dang, Carla Piazza - Formal Methods in System Design - [bibtex]
  2. Certified Roundoff Error Bounds Using Semidefinite Programming. Victor Magron, George A. Constantinides, Alastair F. Donaldson - ACM Trans. Math. Softw. - [bibtex]

2016

  1. Guided search for hybrid systems based on coarse-grained space abstractions. Sergiy Bogomolov, Alexandre Donzé, Goran Frehse, Radu Grosu, Taylor T Johnson, Hamed Ladan, Andreas Podelski, Martin Wehrle - STTT - [bibtex]

2015

  1. Learning Regular Languages over Large Ordered Alphabets. Irini-Eleftheria Mens, Oded Maler - Logical Methods in Computer Science - [bibtex]

2013

  1. Optimizing two-dimensional DMA transfers for scratchpad Based MPSoCs platforms. Selma Saidi, Pranav Tendulkar, Thierry Lepley, Oded Maler - Microprocessors and Microsystems - Embedded Hardware Design - [bibtex]
  2. STL-based analysis of TRAIL-induced apoptosis challenges the notion of type I/type II cell line classification. Szymon Stoma, Alexandre Donzé, Francois Bertaux, Oded Maler, Grégory Batt - PLoS Computational Biology - [bibtex]

2012

  1. Reachability analysis for polynomial dynamical systems using the Bernstein expansion. Thao Dang, Romain Testylier - Reliable Computing Journal - [bibtex]
  2. Monitoring Properties of Analog and Mixed-Signal Designs,. Oded Maler, Dejan Nickovic - Software Tools for Technology Transfer - [bibtex]
  3. Optimizing Explicit Data Transfers for Data Parallel Applications on the Cell Architecture. Selma Saidi, Pranav Tendulkar, Thierry Lepley, Oded Maler - ACM Transactions on Architecture and Code Optimization, Vol. V, - PDF - [bibtex]

2011

  1. Robustness Analysis and Behavior Discrimination in Enzymatic Reaction Networks. Alexandre Donzé, Eric Fanchon, Lucie Martine Gattepaille, Oded Maler, Philippe Tracqui - PLOS One - [bibtex]
  2. Computing reachable states for nonlinear biological models. Thao Dang, Colas Le Guernic, Oded Maler - Theoretical Computer Science - [bibtex]

2010

  1. Parameter Synthesis in Nonlinear Dynamical Systems: Application to Systems Biology. Alexandre Donzé, Gilles Clermont, Christopher James Langmead - Journal of Computational Biology - [bibtex]
  2. On Simulation-Based Probabilistic Model-Checking of Mixed-Analog Circuits. Edmund M. Clarke, Alexandre Donzé, Axel Legay - Formal Methods in System Design - [bibtex]

2009

  1. Coverage-Guided Test Generation for Continuous and Hybrid Systems. Thao Dang, Tarik Nahhal - Formal Methods in System Design - [bibtex]

2008

  1. PHAVer: Algorithmic Verification of Hybrid Systems past HyTech. Goran Frehse - International Journal on Software Tools for Technology Transfer - [bibtex]

2007

  1. On optimal and reasonable control in the presence of adversaries. Oded Maler - Annual Reviews in Control - [bibtex]
  2. Hybridization methods for the analysis of nonlinear systems. Eugene Asarin, Thao Dang, Antoine Girard - Acta Inf. - [bibtex]

2006

  1. Scheduling with timed automata. Yasmina Abdeddaïm, Eugene Asarin, Oded Maler - Theor. Comput. Sci. - [bibtex]
  2. Counter-example Guided Predicate Abstraction of Hybrid Systems. Rajeev Alur, Thao Dang, Franjo Ivancic - Theoretical Computer Science (TCS) - [bibtex]
  3. Reachability Analysis of Hybrid Systems via Predicate Abstraction. Rajeev Alur, Thao Dang, Franjo Ivancic - ACM transactions on embedded computing systems (TECS) - [bibtex]

2002

  1. Scheduler modelling based on the controller synthesis paradigm. Karine Altisen, Gregor Goessler, Joseph Sifakis - Journal of Real-Time Systems - [bibtex]

Book Chapters (inbook)

2011

  1. Model-Based Testing for Embedded Systems. Thao Dang - [bibtex]

2009

  1. Model-based Design of Heterogeneous Systems. Stavros Tripakis, Thao Dang - [bibtex]

Book Chapters

2014

  1. Cellular iron regulation in animals: need and use of suitable models. Emmanuel Pourcelot, Nicolas Mobilia, Alexandre Donzé, Oded Maler, Pascal Mossuz, Eric Fanchon - Nutzen-Risiko-Bewertung von Mineralstoffen und Spurenelementen: Biochemische, physiologische und toxikologische Aspekte - [bibtex]
  2. The Unmet Challenge of Timed Systems. Oded Maler - From Programs to Systems - [bibtex]

2013

  1. Abstraction-Based Guided Search for Hybrid Systems. Sergiy Bogomolov, Alexandre Donzé, Goran Frehse, Radu Grosu, Taylor T Johnson, Hamed Ladan, Andreas Podelski, Martin Wehrle - Model Checking Software - [bibtex]

2011

  1. Efficient Bounded Reachability Computation for Rectangular Automata. Xin Chen, Erika Abraham, Goran Frehse - Reachability Problems - [bibtex]

2009

  1. Tools for the verification of linear hybrid automata models. Goran Frehse - Handbook of Hybrid Systems Control, Theory -- Tools -- Applications - [bibtex]

2005

  1. From Control Loops to Real-Time Programs. Paul Caspi, Oded Maler - Handbook of Networked and Embedded Computing Systems - [bibtex]

Conference Articles

2017

  1. Template complex zonotopes for stability and invariant verification. Arvind S. Adimoolam, Thao Dang - 2017 American Control Conference, ACC 2017, Seattle, WA, USA, May 24-26, 2017 - [bibtex]
  2. A Generic Algorithm for Learning Symbolic Automata from Membership Queries. Oded Maler, Irini-Eleftheria Mens - Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday - [bibtex]
  3. ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. Matthias Althoff, Stanley Bak, Dario Cattaruzza, Xin Chen, Goran Frehse, Rajarshi Ray, Stefan Schupp - ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, collocated with Cyber-Physical Systems Week (CPSWeek) on April 17, 2017 in Pittsburgh, PA, USA - [bibtex]
  4. ARCH-COMP17 Category Report: Hybrid Systems with Piecewise Constant Dynamics. Goran Frehse, Alessandro Abate, Dieky Adzkiya, Lei Bu, Mirco Giacobbe - ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, collocated with Cyber-Physical Systems Week (CPSWeek) on April 17, 2017 in Pittsburgh, PA, USA - [bibtex]
  5. Modeling the Wind Turbine Benchmark with PWA Hybrid Automata. Nikolaos Kekatos, Marcelo Forets, Goran Frehse - ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, collocated with Cyber-Physical Systems Week (CPSWeek) on April 17, 2017 in Pittsburgh, PA, USA - [bibtex]
  6. Scheduling of Embedded Controllers Under Timing Contracts. Mohammad Al Khatib, Antoine Girard, Thao Dang - Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, HSCC 2017, Pittsburgh, PA, USA, April 18-20, 2017 - [bibtex]
  7. Counterexample-Guided Refinement of Template Polyhedra. Sergiy Bogomolov, Goran Frehse, Mirco Giacobbe, Thomas A. Henzinger - Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETA - [bibtex]
  8. Certified Roundoff Error Bounds Using Bernstein Expansions and Sparse Krivine-Stengle Representations. Alexandre Rocca, Victor Magron, Thao Dang - 24th IEEE Symposium on Computer Arithmetic, ARITH 2017, London, United Kingdom, July 24-26, 2017 - [bibtex]
  9. Derivatives of Quantitative Regular Expressions. Rajeev Alur, Konstantinos Mamouras, Dogan Ulus - Models, Algorithms, Logics and Tools - Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday - [bibtex]
  10. Classification and Coverage-Based Falsification for Embedded Control Systems. Arvind S. Adimoolam, Thao Dang, Alexandre Donzé, James Patrick Kapinski, Xiaoqing Jin - Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I - [bibtex]
  11. Montre: A Tool for Monitoring Timed Regular Expressions. Dogan Ulus - Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I - [bibtex]
  12. Combining the Temporal and Epistemic Dimensions for MTL Monitoring. Eugene Asarin, Oded Maler, Dejan Nickovic, Dogan Ulus - Formal Modeling and Analysis of Timed Systems - 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings - [bibtex]
  13. On the Quantitative Semantics of Regular Expressions over Real-Valued Signals. Alexey Bakhirkin, Thomas Ferrére, Oded Maler, Dogan Ulus - Formal Modeling and Analysis of Timed Systems - 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings - [bibtex]
  14. Modeling the Wind Turbine Benchmark with PWA Hybrid Automata. Nikolaos Kekatos, Marcelo Forets, Goran Frehse - ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems - [bibtex]

2016

  1. Online Timed Pattern Matching Using Derivatives. Dogan Ulus, Thomas Ferrére, Eugene Asarin, Oded Maler - Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETA - [bibtex]
  2. Some Thoughts on Runtime Verification. Oded Maler - Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings - [bibtex]
  3. SL2SX Translator: From Simulink to SpaceEx Models. Stefano Minopoli, Goran Frehse - Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC 2016, Vienna, Austria, April 12-14, 2016 - [bibtex]
  4. From Simulation Models to Hybrid Automata Using Urgency and Relaxation. Stefano Minopoli, Goran Frehse - Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC 2016, Vienna, Austria, April 12-14, 2016 - [bibtex]
  5. Application of the Reachability Analysis for the Iron Homeostasis Study. Alexandre Rocca, Thao Dang, Eric Fanchon, Jean Marc Moulis - Hybrid Systems Biology - 5th International Workshop, HSB 2016, Grenoble, France, October 20-21, 2016, Proceedings - [bibtex]
  6. Parallelotope Bundles for Polynomial Reachability. Tommaso Dreossi, Thao Dang, Carla Piazza - Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC 2016, Vienna, Austria, April 12-14, 2016 - [bibtex]
  7. Verification and Synthesis of Timing Contracts for Embedded Controllers. Mohammad Al Khatib, Antoine Girard, Thao Dang - Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC 2016, Vienna, Austria, April 12-14, 2016 - [bibtex]

2015

  1. A Benchmark Suite for Hybrid Systems Reachability Analysis. Xin Chen, Stefan Schupp, Ibtissem Ben Makhlouf, Erika Abraham, Goran Frehse, Stefan Kowalewski - NASA Formal Methods - 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings - [bibtex]
  2. Current Challenges in the Verification of Hybrid Systems. Stefan Schupp, Erika Abraham, Xin Chen, Ibtissem Ben Makhlouf, Goran Frehse, Sriram Sankaranarayanan, Stefan Kowalewski - Cyber Physical Systems. Design, Modeling, and Evaluation - 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings - [bibtex]
  3. Reducing power with activity trigger analysis. Jan Láník, Julien Legriel, Erwan Piriou, Emmanuel Viaud, Fahim Rahim, Oded Maler, Solaiman Rahim - 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015, Austin, TX, USA, September 21-23, 2015 - [bibtex]
  4. On Switching Aware Synthesis for Combinational Circuits. Jan Láník, Oded Maler - Hardware and Software: Verification and Testing - 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings - [bibtex]
  5. Stochastic Local Search for Falsification of Hybrid Systems. Jyotirmoy V. Deshmukh, Xiaoqing Jin, James Patrick Kapinski, Oded Maler - Automated Technology for Verification and Analysis - 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings - [bibtex]
  6. Measuring with Timed Patterns. Thomas Ferrére, Oded Maler, Dejan Nickovic, Dogan Ulus - Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II - [bibtex]
  7. Computing maximizer trajectories of affine dynamics for reachability. Goran Frehse - 54th IEEE Conference on Decision and Control, CDC 2015, Osaka, Japan, December 15-18, 2015 - [bibtex]
  8. Running SpaceEx on the ARCH14 Benchmarks. Stefano Minopoli, Goran Frehse - 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, ARCH at CPSWeek 2014, Berlin, Germany, April 14, 2014 / ARCH at CPSWeek 2015, Seattle, WA, USA, April 13, - [bibtex]
  9. Parameter Synthesis Through Temporal Logic Specifications. Thao Dang, Tommaso Dreossi, Carla Piazza - FM 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings - [bibtex]
  10. Eliminating spurious transitions in reachability with support functions. Goran Frehse, Sergiy Bogomolov, Marius Greitschus, Thomas Strump, Andreas Podelski - Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015 - [bibtex]
  11. An Introduction to Hybrid Automata, Numerical Simulation and Reachability Analysis. Goran Frehse - Formal Modeling and Verification of Cyber-Physical Systems, 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015 - [bibtex]
  12. Efficient Guiding Strategies for Testing of Temporal Properties of Hybrid Systems. Tommaso Dreossi, Thao Dang, Alexandre Donz\' e, James Patrick Kapinski, Xiaoqing Jin, Jyotirmoy V. Deshmukh - NASA Formal Methods - 7th International Symposium, NFM 2015, Pasadena, CA, USA, April 27-29, 2015, Proceedings - [bibtex]

2014

  1. Formal and Informal Methods for Multi-Core Design Space Exploration. Jean-Francois Kempf, Olivier Lebeltel, Oded Maler - QAPL - [bibtex]
  2. Timed Pattern Matching. Dogan Ulus, Thomas Ferrére, Eugene Asarin, Oded Maler - Formal Modeling and Analysis of Timed Systems - 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings - [bibtex]
  3. Test Coverage Estimation Using Threshold Accepting. Thao Dang, Noa Shalev - Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings - [bibtex]
  4. Non-convex Invariants and Urgency Conditions on Linear Hybrid Automata. Stefano Minopoli, Goran Frehse - Formal Modeling and Analysis of Timed Systems - 12th International Conference, FORMATS 2014, Florence, Italy, September 8-10, 2014. Proceedings - [bibtex]
  5. Parameter Synthesis Using Parallelotopic Enclosure and Applications to Epidemic Models. Thao Dang, Tommaso Dreossi, Carla Piazza - Hybrid Systems Biology - Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected - [bibtex]
  6. Exploiting the Eigenstructure of Linear Systems to Speed up Reachability Computations. Alexandre Rocca, Thao Dang, Eric Fanchon - Hybrid Systems Biology - Second International Workshop, HSB 2013, Taormina, Italy, September 2, 2013 and Third International Workshop, HSB 2014, Vienna, Austria, July 23-24, 2014, Revised Selected - [bibtex]
  7. Assume-Guarantee Abstraction Refinement Meets Hybrid Systems. Sergiy Bogomolov, Goran Frehse, Marius Greitschus, Radu Grosu, Corina S. Pasareanu, Andreas Podelski, Thomas Strump - Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings - [bibtex]
  8. Parameter synthesis for polynomial biological models. Tommaso Dreossi, Thao Dang - 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14, Berlin, Germany, April 15-17, 2014 - [bibtex]
  9. Formal Analysis of Timing Effects on Closed-Loop Properties of Control Software. Goran Frehse, Arne Hamann, Sophie Quinton, Matthias Woehrle - Proceedings of the IEEE 35th IEEE Real-Time Systems Symposium, RTSS 2014, Rome, Italy, December 2-5, 2014 - [bibtex]
  10. Many-Core Scheduling of Data Parallel Applications Using SMT Solvers. Pranav Tendulkar, Peter Poplavko, Ioannis Galanommatis, Oded Maler - 17th Euromicro Conference on Digital System Design, DSD 2014, Verona, Italy, August 27-29, 2014 - [bibtex]
  11. Learning Regular Languages over Large Alphabets. Oded Maler, Irini Eleftheria Mens - International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2014 - [bibtex]

2013

  1. Flowpipe approximation and clustering in space-time. Goran Frehse, Rajat Kateja, Colas Le Guernic - Proceedings of the 16th international conference on Hybrid systems: computation and control, HSCC 2013, April 8-11, 2013, Philadelphia, PA, USA - [bibtex]
  2. Symmetry Breaking for Multi-criteria Mapping and Scheduling on Multicores. Pranav Tendulkar, Peter Poplavko, Oded Maler - FORMATS - [bibtex]
  3. Modular, hierarchical models of control systems in SpaceEx. Alexandre Donzé, Goran Frehse - Control Conference (ECC), 2013 European - [bibtex]
  4. Algorithmic Analysis of Continuous and Hybrid Systems. Oded Maler - Infinity - [bibtex]
  5. NLTOOLBOX: A Library for Reachability Computation of Nonlinear Dynamical Systems. Romain Testylier, Thao Dang - Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings - [bibtex]
  6. Falsifying Oscillation Properties of Parametric Biological Models. Thao Dang, Tommaso Dreossi - Proceedings Second International Workshop on Hybrid Systems and Biology, HSB 2013, Taormina, Italy, 2nd September 2013 - [bibtex]
  7. Exploring the Dynamics of Mass Action Systems. Oded Maler, Adam M. Halasz, Olivier Lebeltel, Ouri Maler - Hybrid Systems Biology - PDF - [bibtex]
  8. Verification of embedded control programs. Thao Dang, Bertrand Jeannet, Romain Testylier - Proceedings of European Conrol Conference ECC - [bibtex]
  9. Efficient Robust Monitoring for STL. Alexandre Donzé, Thomas Ferrére, Oded Maler - CAV - [bibtex]
  10. As Soon as Probable: Optimal Scheduling under Stochastic Uncertainty. Jean-Francois Kempf, Marius Bozga, Oded Maler - TACAS - PDF - [bibtex]
  11. Flowpipe Approximation and Clustering in Space-Time. Goran Frehse, Colas Le Guernic, Rajat Kateja - HSCC - [bibtex]

2012

  1. State Estimation and Property-Guided Exploration for Hybrid Systems Testing. Thao Dang, Noa Shalev - ICTSS - [bibtex]
  2. Reachability Analysis of Polynomial Systems Using Linear Programming Relaxations. Mohamed Amin Ben Sassi, Romain Testylier, Thao Dang, Antoine Girard - Automated Technology for Verification and Analysis - 10th International Symposium, ATVA 2012, Thiruvananthapuram, India, October 3-6, 2012. Proceedings - [bibtex]
  3. On Temporal Logic and Signal Processing. Alexandre Donzé, Oded Maler, Ezio Bartocci, Dejan Nickovic, Radu Grosu, Scott Smolka - ATVA - PDF - [bibtex]
  4. Analysis of parametric biological models with non-linear dynamics. Romain Testylier, Thao Dang - HSB - [bibtex]
  5. Flowpipe-Guard Intersection for Reachability Computations with Support Functions. Goran Frehse, Rajarshi Ray - IFAC Conf. Analysis and Design of Hybrid Systems (ADHS) - [bibtex]
  6. A Box-Based Distance between Regions for Guiding the Reachability Analysis of SpaceEx. Sergiy Bogomolov, Goran Frehse, Radu Grosu, Hamed Ladan, Andreas Podelski, Martin Wehrle - Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings - [bibtex]
  7. Optimal 2D Data Partitioning for DMA Transfers on MPSoCs. Selma Saidi, Pranav Tendulkar, Thierry Lepley, Oded Maler - Proceedings of the 15th EUROMICRO Conference on Digital System Design - [bibtex]

2011

  1. Multi-criteria optimization for mapping programs to multi-processors. Scott Cotton, Oded Maler, Julien Legriel, Selma Saidi - SIES - [bibtex]
  2. Discretizing Affine Hybrid Automata with Uncertainty. Thao Dang, Thomas Gawlitza - Automated Technology for Verification and Analysis, 9th International Symposium, ATVA 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings - [bibtex]
  3. Template-Based Unbounded Time Verification of Affine Hybrid Automata. Thao Dang, Thomas Gawlitza - Programming Languages and Systems - 9th Asian Symposium, APLAS 2011, Kenting, Taiwan, December 5-7, 2011. Proceedings - [bibtex]
  4. Monitoring Dynamical Signals While Testing Timed Aspects of a System. Goran Frehse, Kim Guldstrand Larsen, Marius Mikucionis, Brian Nielsen - ICTSS - [bibtex]
  5. Performance Evaluation of Schedulers in a Probabilistic Setting. Jean-Francois Kempf, Marius Bozga, Oded Maler - FORMATS - [bibtex]
  6. On Under-Determined Dynamical Systems. Oded Maler - EMSOFT - PDF - [bibtex]
  7. SpaceEx: Scalable Verification of Hybrid Systems. Goran Frehse, Colas Le Guernic, Alexandre Donzé, Scott Cotton, Rajarshi Ray, Olivier Lebeltel, Rodolfo Ripado, Antoine Girard, Thao Dang, Oded Maler - Proc. 23rd International Conference on Computer Aided Verification (CAV) - PDF - [bibtex]
  8. Meeting Deadlines Cheaply. Julien Legriel, Oded Maler - ECRTS - PDF - [bibtex]
  9. On Universal Search Strategies for Multi-criteria Optimization Using Weighted Sums. Julien Legriel, Scott Cotton, Oded Maler - CEC - PDF - [bibtex]
  10. Hybridization Domain Construction using Curvature Estimation. Thao Dang, Romain Testylier - Proceedings HSCC 2011 - PDF - [bibtex]

2010

  1. Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems. Alexandre Donzé - CAV - [bibtex]
  2. Accurate hybridization of nonlinear systems. Thao Dang, Oded Maler, Romain Testylier - Proceedings of HSCC 2010 - PDF - [bibtex]
  3. Approximating the Pareto Front of Multi-criteria Optimization Problems. Julien Legriel, Colas Le Guernic, Scott Cotton, Oded Maler - Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2 - PDF - [bibtex]
  4. Using Redundant Constraints for Refinement. Eugene Asarin, Thao Dang, Oded Maler, Romain Testylier - Automated Technology for Verification and Analysis - 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010. Proceedings - [bibtex]
  5. On Zone-Based Analysis of Duration Probabilistic Automata. Oded Maler, Kim Guldstrand Larsen, Bruce H. Krogh - Proceedings 12th International Workshop on Verification of Infinite-State Systems - PDF - [bibtex]
  6. Amir Pnueli and the dawn of hybrid systems. Oded Maler - Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2010, Stockholm, Sweden, April 12-15, 2010 - PDF - [bibtex]
  7. Robust Satisfaction of Temporal Logic over Real-Valued Signals. Alexandre Donzé, Oded Maler - Formal Modeling and Analysis of Timed Systems - 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings - PDF - [bibtex]
  8. On the Krohn-Rhodes Cascaded Decomposition Theorem. Oded Maler - Time for Verification, Essays in Memory of Amir Pnueli - PDF - [bibtex]
  9. Property-Based Monitoring of Analog and Mixed-Signal Systems. John Havlicek, Scott Little, Oded Maler, Dejan Nickovic - Formal Modeling and Analysis of Timed Systems - 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings - [bibtex]

2009

  1. Volume and Entropy of Regular Timed Languages: Analytic Approach. Eugene Asarin, Aldric Degorre - FORMATS - [bibtex]
  2. Compositional Timing Analysis. Ramzi Ben Salah, Marius Bozga, Oded Maler - EMSOFT - [bibtex]
  3. Design Principles for an Extendable Verification Tool for Hybrid Systems. Goran Frehse, Rajarshi Ray - Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 2009) - [bibtex]
  4. Computing Reachable States for Nonlinear Biological Models. Thao Dang, Colas Le Guernic, Oded Maler - Computational Methods in Systems Biology, 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings - [bibtex]
  5. On Omega-Languages Defined by Mean-Payoff Conditions. Rajeev Alur, Aldric Degorre, Oded Maler, Gera Weiss - FOSSACS - PDF - [bibtex]
  6. Reachability for Continuous and Hybrid Systems. Oded Maler - Reachability Problems, 3rd International Workshop, RP 2009, Palaiseau, France, September 23-25, 2009. Proceedings - [bibtex]
  7. Image computation for polynomial dynamical systems using the Bernstein expansion. Thao Dang, David Salinas - Computer Aided Verification CAV'09 - [bibtex]
  8. Parameter synthesis for hybrid systems with an application to simulink models. Alexandre Donzé, Bruce H. Krogh, Akshay Rajhans - Proceedings of the 12th International Conference on Hybrid Systems: Computation and Control (HSCC'09) - [bibtex]
  9. Parameter Synthesis in Nonlinear Dynamical Systems: Application to Systems Biology. Alexandre Donzé, Gilles Clermont, Christopher James Langmead, Axel Legay - Proceedings of the 13th Annual International Conference on Research in Computational Molecular Biology RECOMB'09 - [bibtex]
  10. Reachability Analysis of Hybrid Systems using Support Functions. Colas Le Guernic, Antoine Girard - CAV - [bibtex]
  11. Polyhedral Domains and Widening for Verification of Numerical Programs. Hitashyam Maka, Goran Frehse, Bruce H. Krogh - NSV-II: Second International Workshop on Numerical Software Verification - [bibtex]
  12. Volume and Entropy of Regular Timed Languages: Discretization Approach. Eugene Asarin, Aldric Degorre - CONCUR - [bibtex]

2008

  1. Checking Temporal Properties of Discrete, Timed and Continuous Behaviors. Oded Maler, Dejan Nickovic, Amir Pnueli - Pillars of Computer Science - PDF - [bibtex]
  2. A Policy Iteration Technique for Time Elapse over Template Polyhedra. Sriram Sankaranarayanan, Thao Dang, Franjo Ivancic - Hybrid Systems: Computation and Control HSCC'08 - [bibtex]
  3. Symbolic Model Checking of Hybrid Systems Using Template Polyhedra. Sriram Sankaranarayanan, Thao Dang, Franjo Ivancic - TACAS'08 - [bibtex]
  4. Sensitive State Space Exploration. Thao Dang, Alexandre Donzé, Oded Maler, Noa Shalev - IEEE Conference on Decision and Control (CDC) - [bibtex]
  5. Outils pour l'analyse des modèles hybrides. Thao Dang, Goran Frehse, Antoine Girard, Colas Le Guernic - Approches formelles des systèmes embarqué communicants - [bibtex]
  6. Using Disparity to Enhance Test Generation for Hybrid Systems. Thao Dang, Tarik Nahhal - TestCom/FATES 2008 - [bibtex]
  7. Statistical Model Checking of Mixed-Analog Circuits with an Application to a Third Order Delta-Sigma Modulator. Edmund M. Clarke, Alexandre Donzé, Axel Legay - Haifa Verification Conference - [bibtex]
  8. On Scheduling Policies for Streams of Structured Jobs. Aldric Degorre, Oded Maler - FORMATS - [bibtex]
  9. A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata. Goran Frehse, Sumit Kumar Jha, Bruce H. Krogh - HSCC - [bibtex]
  10. Zonotope/Hyperplane Intersection for Hybrid Systems Reachability Analysis. Antoine Girard, Colas Le Guernic - HSCC - [bibtex]
  11. Efficient Reachability Analysis for Linear Systems Using Support Functions. Antoine Girard, Colas Le Guernic - IFAC World Congress - [bibtex]
  12. Control software model checking using bisimulation functions for nonlinear systems. James Patrick Kapinski, Flavio Lerda, Alexandre Donzé, Bruce H. Krogh, Hitashyam Maka, Silke Wagner - Proceedings of the 47th IEEE Conference on Decision and Control (CDC'08) - [bibtex]
  13. Approximating Continuous Systems by Timed Automata. Oded Maler, Grégory Batt - FMSB - [bibtex]

2007

  1. On timed components and their abstraction. Ramzi Ben Salah, Marius Bozga, Oded Maler - SAVCBS '07: Proceedings of the 2007 conference on Specification and verification of component-based systems - [bibtex]
  2. On Synthesizing Controllers from Bounded-Response Properties. Oded Maler, Dejan Nickovic, Amir Pnueli - CAV - [bibtex]
  3. Test Coverage for Continuous and Hybrid Systems. Tarik Nahhal, Thao Dang - CAV - [bibtex]
  4. On Timed Models of Gene Networks. Grégory Batt, Ramzi Ben Salah, Oded Maler - FORMATS - [bibtex]
  5. AMT: A Property-Based Monitoring Tool for Analog Systems. Dejan Nickovic, Oded Maler - FORMATS - [bibtex]
  6. Reachability Analysis of a Switched Buffer Network. Goran Frehse, Oded Maler - HSCC - [bibtex]
  7. Guided Randomized Simulation. Tarik Nahhal, Thao Dang - HSCC - [bibtex]
  8. Systematic Simulation Using Sensitivity Analysis. Alexandre Donzé, Oded Maler - HSCC - [bibtex]

2006

  1. On Interleaving in Timed Automata. Ramzi Ben Salah, Marius Bozga, Oded Maler - CONCUR 2006 - [bibtex]
  2. Time Domain Verification of Oscillator Circuit Properties. Goran Frehse, Bruce H. Krogh, Rob A. Rutenbar, Oded Maler - Proc. Workshop on Formal Verification of Analog Circuits - [bibtex]
  3. Randomized simulation of hybrid systems for circuit validation. Thao Dang, Tarik Nahhal - Proceedings of FDL06 - Forum on specification and Design Languages - [bibtex]
  4. Approximate Reachability Computation for Polynomial Systems. Thao Dang - HSCC 2006 - [bibtex]
  5. Scheduling for multi-threaded real-time programs via path planning. Thao Dang, Philippe Gerner - Proceedings of the 6th ACM & IEEE International conference on Embedded software, EMSOFT 2006 - [bibtex]
  6. Simulation of Hybrid Systems For Circuit Validation. Thao Dang, Tarik Nahhal - FDL 2006 - [bibtex]
  7. On Timed Simulation Relations for Hybrid Systems and Compositionality. Goran Frehse - FORMATS 2006 - [bibtex]
  8. From MITL to Timed Automata. Oded Maler, Dejan Nickovic, Amir Pnueli - FORMATS 2006 - [bibtex]
  9. Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs. Antoine Girard, Colas Le Guernic, Oded Maler - HSCC 2006 - [bibtex]
  10. Fast and Flexible Difference Constraint Propagation for DPLL(T). Scott Cotton, Oded Maler - SAT 2006 - [bibtex]
  11. Recent Progress in Continuous and Hybrid Reachability Analysis. Eugene Asarin, Thao Dang, Goran Frehse, Antoine Girard, Colas Le Guernic, Oded Maler - CACSD 2006 - [bibtex]

2005

  1. Real Time Temporal Logic: Past, Present, Future. Oded Maler, Dejan Nickovic, Amir Pnueli - FORMATS 2005 - [bibtex]
  2. On temporal difference algorithms for continuous systems. Alexandre Donzé - ICINCO - [bibtex]

2004

  1. Abstraction by projection and application to multi-affine systems. Eugene Asarin, Thao Dang - Hybrid Systems: Control and Computation HSCC'04 - [bibtex]
  2. Monitoring Temporal Properties of Continuous Signals. Oded Maler, Dejan Nickovic - Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques i - [bibtex]
  3. Verification of Analog and Mixed-Signal Circuits Using Hybrid System Techniques. Thao Dang, Alexandre Donzé, Oded Maler - FMCAD - [bibtex]

2003

  1. Progress on Reachability Analysis of Hybrid Systems using Predicate Abstraction. Rajeev Alur, Thao Dang, Franjo Ivancic - Hybrid Systems: Control and Computation HSCC'03 - [bibtex]
  2. Counter-example Guided Predicate Abstraction of Hybrid Systems. Rajeev Alur, Thao Dang, Franjo Ivancic - Tools and Algorithms for the Construction and Analysis of Systems TACAS'03 - [bibtex]

2002

  1. Reachability Analysis Via Predicate Abstraction. Rajeev Alur, Thao Dang, Franjo Ivancic - Hybrid Systems: Computation and Control HSCC'02 - [bibtex]
  2. The d/dt Tool for Verification of Hybrid Systems. Eugene Asarin, Thao Dang, Oded Maler - Computer Aided Verification CAV'02 - [bibtex]
  3. Tools for Controller Synthesis of Timed Systems. Karine Altisen, Stavros Tripakis - 2nd Workshop on Real-Time Tools (RT-TOOLS'2002) - [bibtex]

2001

  1. d/dt: a Tool for Reachability Analysis of Continuous and Hybrid systems. Eugene Asarin, Thao Dang, Oded Maler - 5th IFAC Symposium Nonlinear Control Systems NOLCOS - [bibtex]
  2. d/dt: A Verification Tool for Hybrid Systems. Eugene Asarin, Thao Dang, Oded Maler - CDC'01 - Conference on Decision and Control - [bibtex]
  3. Stability and reachability analysis of a hybrid model of luminescence in the marine bacterium Vibrio Fisheri. Calin Belta, Jonathan Schug, Thao Dang, Vijay Kumar, George Pappas, Harvey Rubin, Paul Dunlap - CDC'01 - Conference on Decision and Control - [bibtex]
  4. On Hybrid Control of Under-actuated Mechanical Systems. Eugene Asarin, Sorav Bansal, Thao Dang, Bernard Espiau, Oded Maler - Hybrid Systems: Computation and Control HSCC'01 - [bibtex]

2000

  1. Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems. Eugene Asarin, Oded Maler - Hybrid Systems: Computation and Control HSCC'00 - [bibtex]
  2. A methodology for the construction of scheduled systems. Karine Altisen, Gregor Goessler, Joseph Sifakis - Formal Techniques in Real-Time and Fault-Tolerant Systems 2000 (FTRTFT'00) - [bibtex]

1999

  1. A Framework for Scheduler Synthesis. Karine Altisen, Gregor Goessler, Amir Pnueli, Joseph Sifakis, Stavros Tripakis, Sergio Yovine - RTSS'99 - [bibtex]
  2. On-the-fly controller synthesis for discrete and dense time systems. Stavros Tripakis, Karine Altisen - Formal Methods 1999 (FM'99) - [bibtex]

1998

  1. Reachability Analysis via Face Lifting. Thao Dang, Oded Maler - Hybrid Systems: Computation and Control HSCC'98 - [bibtex]

PhD Thesis and HDR

2012

  1. Reachability Analysis of Hybrid Systems using Support Functions. Rajarshi Ray - [bibtex]
  2. Optimizing DMA Data Transfers for Embedded Multi-Cores. Selma Saidi - [bibtex]
  3. On Computer-Aided Design-Space Exploration for Multi-Cores. Jean-Francois Kempf - [bibtex]

2011

  1. Multi-Criteria Optimization and its Application to Multi-Processor Embedded Systems. Julien Legriel - [bibtex]

2009

  1. On some Quantitative Aspects of Formal Languages. Aldric Degorre - [bibtex]
  2. Reachability Analysis of Hybrid Systems with Linear Continuous Dynamics. Colas Le Guernic - [bibtex]
  3. On Some Problems in Satisfiability Solving. Scott Cottonr Continuous Dynamics. ttonThesis Multi-Criteria Optimization and its App&amNid="pub_ColasLGTh8b_id=AlurDangI-HSCC03&lang='> -value='12> < ng> :tp://wx]h4>
      > Monitoring Temp On Some Problems in Satinonitori:> Thao Dang, Tarik Nahhal - TestCom/FATEnonitori:> > < valex] Multi-CriMoez K On Some Problems in SatiK - [bibtex] > - < valex]<
    1. Simulat On Some Problems in Sati Thao Dang, Tarik Nahhal - TestCom/FATE ong> < aium li value='161' > i.org/10.1007Simulat On Some Problems in Sati i.oous Dynamng> Alexandre Donzé, Oded Maler i.oous Dynamn /li/ol>oili tex] li vong> Thao
    2. ng> On temporal On some Quantitative Aspects of F g> Alexandre Donzé, Oded Maler - H f="http:/ue=' [bibtex] nb k m rbaarong> On Some Problems in SatiK rbaaous DynamColas Le Guernic, Oded Maler - CACSD 20K rbaaous DynamC - pa> enlex]
    3. nd//dx Cury Analysis of Hybrid Systems with Linear Continury ng. Scott Cottonr Coury id="pub_DBLP:conficincoDonzee05" title="bibtex" href='details.html?pub_id=DBLP:conf/icinco/Donzee05&8ang='> - [bibtex]
    4. M On tlis li vong> Thao s R On t cue= On t mp <, Inc tui> et/D On tp nc ng> Multi-CriMarcelo Z n Optimizing DMA Data Transfers for Ez n ng.
      Scott Cottonr Cz n M On tlis Thao d'ordonn nc enl &ag> T/a> ia/li'a' > ao bibtex On tsng> Multi-CriYas ona nb ddaïm Optimizing DMA Data Transfers for Enb ddaimTripakis, Sergio Yovine - RTSS'99 b ddaim - li vong> Thao H g:/uuxng> Multi-Crined rdo=' [ne r Optimizing DMA Data Transfers for Es [ne rorkshop on Real-Time Tools (RT-TOOLS'2002) s [ne rord="pub_altisentripakisrttools02" title="bibtex" href='details.html?pub_id=altisen-tripakis-rttools02&9b_id=AlurDangI-HSCC03&lang='> Th On tHybli> On t i>s b_al o bibts/= On telty and reachability analysis t of aDimarong> On Some Problems in SatiDima?pub: g> Alexandre Donzé, Oded Maler ima?pub: h4>
        i> aa i> ong> T /a> &o ;le] T/a>ordonn nc enl de Thao bibts-= On telty and reachability analysicontroller synthesis On Some Problems in Sati :kontro g> Alexandre Donzé, Oded Maler :kontro- - [bibtex] V'e `e /str`em
      1. - pa>xitoran Frehof Hybrid i>s li vong> Thao ='179'stems
      2. Olivier rnezthesis On Some Problems in Sati e D> aa chttp://dx. de Thao bibtex On tsng> Multi-CriS On t astia OBornotthesis On Some Problems in SatiBornotohD - Hybrid Systems: Computation and Control HSBornot-ohD M On te anao d'
      3. Thao bibtex On ts : i> aa th On tHybli&ag> T/aa ste nradstrow> Thao Dang, T On Some Problems in Satirow> - Hybrid Systems: Computation and Control HSCCws- L'- li vong> Thao ex On ts a OP ste Tools for Co On Some Problems in Sati Tools - Hybrid Systems: Computation and Control HS Tools- -p On tc/a> li vong> Thao H e='161' > iadhficab for Co On Some Problems in Satiica ohD g> Alexandre Donzé - ICINCO ica ohD g M On tlis Thao bibtex On ts et/
      4. AlfredstOlivero for Co On Some Problems in SatiOliveroohD ndre Donzé, Oded Maler - FMCAD Olivero-ohD M On te anao et/o [bibtex] /strong> Thao bibtex On tsng> Multi-CriS On Some Problems in Satis T g> Alexandre Donzé, Oded Maler s T - [bibtex]
      5. TP: unli> g> Tbretex] /strong> Thao bibts reelty and reachability analysiXavier Nicolingrong> On Some Problems in Satinicoling92bThao Dang, Tarik Nahhal - TestCom/FATEnonoling92b"bibtex" href=ngDM04brref='detnettoye]<" /itlhref=n tlhre
"bi """" ngDM04h2ref='detahref="ht">Browhrefml?2> n n n n n n n n n n n n n n n n n n n n n n n n n n n n n n n n n n nDM0 le="bibte nDM0 le="bibte nDM0 le="bibte nDM0 l l l l l l l l l href='detahref="ht">Se
  • le="bibemsef='detria " le="bib and HT TestC="pub" le="bib>T adDa le="bib le="bibeuid l l 0 l l n n nDM0 e="bibte n ibte n ibte TAC>DM0 l l "bibemsef='detria " l "bib and HSynch ane-='14 TestC="pub" l "bibao Dang- [bsynch analuet "> n "bibSynch ane l "bibedDa l "bib le="bib le="bib l le="bib le="bib l"bibte n 4" ti l "bib l n ibte n ibtee n ibte n n ibtee n l n n nDM0 e="bibte n ibtebte n ibte n ibte l n ibte n ibtee n ibte n n ibtee n l n n nDM0 e="bibte n ibte n ibte TAC>DM0 l l "bibemsef='detria " l "bib and H e-='14 TestC="pub" l "bibao Dang- [bt> < group"> n "bib e l "bibedDa l "bib le="bibeuid l l 0 l l n TAC>DM l "bibemsef='detria article" l "bib and H e-Partners TestC="pub" l "bibao Dang- eet partners.htmPartnersbedDa l 4" ti l "bib l TAC>DM l "bibemsef='detria article" l "bib and H e-members TestC="pub" l "bibao DangPeople">ib e T membersbedDa l 4" ti l "bib l btee n l nDM0 e="bibte n ibte n ibte TAC>DM0 l l "bibemsef='detria " l "bib and H e-Syste TestC="pub" l "bib> n "bib yste l "bibedDa l "bib le="bib le="bib l le="bib le="bib l"bibte n 4" ti l "bib l n ibte n ibtee n ibte n n ibtee n l n n nDM0 e="bibte n ibte n ibte TAC>DM0 l l "bibemsef='detria " l "bib and H e-P e TestC="pub" l "bib> n "bibP e l "bibedDa l "bib le="bib le="bib l le="bib le="bib l"bibte n 4" ti l "bib l n ibte n ibtee n ibte n n ibtee n l n n nDM0 e="bibte n ibte n ibte TAC>DM0 l l "bibemsef='detria " l "bib and H e-://dxTestC="pub" l "bib> n "bib://d >-by-years,256 TestC="pub" l "bibao DangPub
      > years">ib yearsbedDa l 4" ti l "bib l TAC>DM l "bibemsef='detria article" l "bib and HPub
        >-by-kinds TestC="pub" l "bibao DangPub
          > kinds">ib kindsbedDa l 4" ti l "bib l btee n l nDM0 e="bibte n ibtebte n ibte n ibte l n ibte n ibtee n ibte n n ibte l "bib le="bibe/uid l"bibte n 4" ti l "bib l n ibte n ibtee n ibte n n ibte l "bib le="bibe/uid l"bibte n 4" ti l "bib l n ibte n ibtee n ibte n n ibtee n l n n nDM0 e="bibte n ibte n ibte TAC>DM0 l l "bibemsef='detria " l "bib and HPACSS TestC="pub" l "bibao Dang- [bPACSSet "> n "bibPacse l "bibedDa l "bib le="bib le="bib l le="bib le="bib l"bibte n 4" ti l "bib l n ibte n ibtee n ibte n n ibtee n l n n nDM0 e="bibte n ibte n ibte TAC>DM0 l l "bibemsef='detria " l "bib and HRSD TestC="pub" l "bibao DangRigor T "> n "bibRSD l "bibedDa l "bib le="bib le="bib l le="bib le="bib l"bibte n 4" ti l "bib l n ibte n ibtee n ibte n n ibte l "bib le="bibe/uid l"bibte nM04" ti l"bibte nM04AC> le="bibemsef='detria " le="bib and Hx] le="bibemsef='detria " le="bib and HDisse ona TestC="pub" le="bibao DangDisse ona ">Disse ona adDa le="bib le="bib le="bib l le="bib le="bib l"bibte nM04" ti l"bibte nM0ibte nM4AC> le="bisis and HHow-to- -us TestC="pub" aclue=key="3"> le="biHow le="bisis and Hails.php?page=valuSite Map le="bisdDa le4" ti le/uid l l l l r /i n nDM0 l n n n n n < l> Hails.php?page=recherche"s[bibte="get">
          " n SoSe :4" abe >" < it
          l l r/>
          euid eAC>DMsiss and HDRbat> nt./mag12 en l> -add es-aclue=">ibBuill-tinDM0 e="bibteeeeeAclue=isdDa04" titDM0 e="bibteeeee e/uid l l l l t
  • l t
    r..åt..univ-gren-alp2012 " oncr,5a3191a4c6479,univ-gren-alp2012 ',',5a3191a4c6479,'); turn foc. ;"ref='de'ails_='1l'>C l> sdDa0| sis and Hails.php?page=valuSite MapsdDa0| eang='> - [bibtex]ls.net"iao DangSite power SPIP 3.0.26 [23574]">iSite power SPIP 3.0.26sdDa0+ eang='> - [bibteedu.ca.edu/ru 43 Test"iao Dangbibtl hHUNTSICadDan - [bibtex]-alp2012 / =ngDMetd v ofg Hbntinm" ofg Hi vaer eang='> - [bibtex]=ngDetd v ofg Hbntinm" ofg Hright eang='> - [bibtex]-i/112 / " /it"bisdDanM04"td>=ng4"tritDtl """eang='> -Pub
      >-by-kinds TestC="puba "ireleta "i>EnglishbisdDa4" titD4AC>eang='> -Pub
        >-by-kinds TestC="pub2 " relet2 " > çaisisdDa4" tite/uid ""