Index of /~tah/Publications

[ICO]NameLast modifiedSizeDescription
[DIR]Parent Directory  -
[ ]Copy_Of_what_good_are_digital_clocks.pdf09-Sep-2004 11:24 0
[TXT]a_classification_of_symbolic_transition_systems.html23-Nov-2008 22:00 3.1K
[ ]a_classification_of_symbolic_transition_systems.pdf23-Feb-2006 17:32 319K
[ ]a_classification_of_symbolic_transition_systems.ps23-Feb-2006 17:32 670K
[TXT]a_comparison_of_control_problems_for_timed_and_hybrid_systems.html23-Nov-2008 22:00 1.8K
[ ]a_comparison_of_control_problems_for_timed_and_hybrid_systems.pdf09-Sep-2004 11:24 252K
[ ]a_comparison_of_control_problems_for_timed_and_hybrid_systems.ps09-Sep-2004 11:24 401K
[TXT]a_determinizable_class_of_timed_automata.html23-Nov-2008 22:00 2.0K
[ ]a_determinizable_class_of_timed_automata.pdf09-Sep-2004 11:24 265K
[ ]a_determinizable_class_of_timed_automata.ps09-Sep-2004 11:24 254K
[TXT]a_hierarchical_coordination_language_for_interacting_real-time_tasks.html23-Nov-2008 22:00 1.7K
[ ]a_hierarchical_coordination_language_for_interacting_real-time_tasks.pdf18-Sep-2006 17:06 806K
[ ]a_hierarchical_coordination_language_for_interacting_real-time_tasks.ps18-Sep-2006 17:06 2.0M
[TXT]a_programmable_microkernel_for_real-time_systems.html23-Nov-2008 22:00 2.6K
[ ]a_programmable_microkernel_for_real-time_systems.pdf22-Feb-2006 10:45 232K
[ ]a_programmable_microkernel_for_real-time_systems.ps22-Feb-2006 10:44 712K
[TXT]a_really_temporal_logic.html23-Nov-2008 22:00 1.2K
[ ]a_really_temporal_logic.pdf09-Sep-2004 11:25 298K
[ ]a_really_temporal_logic.ps09-Sep-2004 11:25 278K
[TXT]a_reusable_and_platform-independent_framework_for_distributed_control_systems.html23-Nov-2008 22:00 4.5K
[ ]a_reusable_and_platform-independent_framework_for_distributed_control_systems.pdf09-Sep-2004 11:25 207K
[TXT]a_space-efficient_on-the-fly_algorithm_for_real-time_model_checking.html23-Nov-2008 22:00 2.5K
[ ]a_space-efficient_on-the-fly_algorithm_for_real-time_model_checking.pdf09-Sep-2004 11:25 255K
[ ]a_space-efficient_on-the-fly_algorithm_for_real-time_model_checking.ps09-Sep-2004 11:25 234K
[TXT]a_survey_of_stochastic_games_with_limsup_and_liminf_objectives.html21-Jul-2009 14:59 1.5K
[ ]a_survey_of_stochastic_games_with_limsup_and_liminf_objectives.pdf21-Jul-2009 14:37 183K
[ ]a_survey_of_stochastic_games_with_limsup_and_liminf_objectives.ps21-Jul-2009 14:37 382K
[TXT]a_survey_of_stochastic_omega-regular_games.html23-Nov-2008 12:28 1.0K
[ ]a_survey_of_stochastic_omega-regular_games.pdf20-Nov-2007 23:15 329K
[ ]a_survey_of_stochastic_omega-regular_games.ps24-Nov-2008 11:41 548K
[TXT]a_typed_assembly_language_for_real-time_programs.html23-Nov-2008 22:00 1.4K
[ ]a_typed_assembly_language_for_real-time_programs.pdf09-Sep-2004 11:25 225K
[ ]a_typed_assembly_language_for_real-time_programs.ps09-Sep-2004 11:25 263K
[TXT]a_typed_assembly_language_for_real-time_programs.txt09-Sep-2004 11:25 944
[TXT]a_user_guide_to_hytech.html23-Nov-2008 22:00 1.3K
[ ]a_user_guide_to_hytech.pdf09-Sep-2004 11:25 418K
[ ]a_user_guide_to_hytech.ps09-Sep-2004 11:25 312K
[TXT]abstract-interpretation_strategies_for_hybrid_automata.html23-Nov-2008 22:00 1.2K
[ ]abstract-interpretation_strategies_for_hybrid_automata.pdf09-Sep-2004 11:25 208K
[ ]abstract-interpretation_strategies_for_hybrid_automata.ps09-Sep-2004 11:25 174K
[TXT]abstract_counterexample-based_refinement_for_powerset_domains.html23-Nov-2008 22:00 1.9K
[ ]abstract_counterexample-based_refinement_for_powerset_domains.pdf12-Jul-2007 15:18 240K
[ ]abstract_counterexample-based_refinement_for_powerset_domains.ps12-Jul-2007 15:18 582K
[TXT]abstract_interpretation_of_game_properties.html23-Nov-2008 22:00 2.7K
[ ]abstract_interpretation_of_game_properties.pdf09-Sep-2004 11:25 335K
[ ]abstract_interpretation_of_game_properties.ps09-Sep-2004 11:25 472K
[TXT]abstractions_from_proofs.html23-Nov-2008 22:00 2.4K
[ ]abstractions_from_proofs.pdf09-Sep-2004 11:25 258K
[ ]abstractions_from_proofs.ps09-Sep-2004 11:26 270K
[TXT]abstractions_from_proofs.txt09-Sep-2004 11:26 1.9K
[TXT]algorithmic_analysis_of_nonlinear_hybrid_systems.html23-Nov-2008 22:00 3.2K
[ ]algorithmic_analysis_of_nonlinear_hybrid_systems.pdf09-Sep-2004 11:26 360K
[ ]algorithmic_analysis_of_nonlinear_hybrid_systems.ps09-Sep-2004 11:26 364K
[TXT]algorithms_for_interface_synthesis.html23-Nov-2008 22:00 1.9K
[ ]algorithms_for_interface_synthesis.pdf07-Jul-2007 22:42 292K
[ ]algorithms_for_interface_synthesis.ps07-Jul-2007 22:41 505K
[TXT]algorithms_for_omega-regular_games_with_imperfect_information.html23-Nov-2008 12:28 2.1K
[ ]algorithms_for_omega-regular_games_with_imperfect_information.pdf19-Jul-2006 00:26 189K
[ ]algorithms_for_omega-regular_games_with_imperfect_information.ps19-Jul-2006 00:26 448K
[TXT]alpaga.html30-Jun-2009 13:06 1.1K
[ ]alpaga.pdf30-Jun-2009 12:59 118K
[ ]alpaga.ps30-Jun-2009 13:00 127K
[TXT]alternating-time_temporal_logic.html23-Nov-2008 22:00 3.3K
[ ]alternating-time_temporal_logic.pdf09-Sep-2004 11:26 514K
[ ]alternating-time_temporal_logic.ps09-Sep-2004 11:26 963K
[TXT]alternating_refinement_relations.html23-Nov-2008 22:00 2.2K
[ ]alternating_refinement_relations.pdf09-Sep-2004 11:26 228K
[ ]alternating_refinement_relations.ps09-Sep-2004 11:26 208K
[TXT]an_algorithm_for_the_approximative_analysis_of_rectangular_automata.html23-Nov-2008 22:00 1.4K
[ ]an_algorithm_for_the_approximative_analysis_of_rectangular_automata.pdf09-Sep-2004 11:26 315K
[ ]an_algorithm_for_the_approximative_analysis_of_rectangular_automata.ps09-Sep-2004 11:26 736K
[TXT]an_application_of_web-service_interfaces.html23-Nov-2008 22:00 1.4K
[ ]an_application_of_web-service_interfaces.pdf09-Jul-2007 00:09 181K
[ ]an_application_of_web-service_interfaces.ps09-Jul-2007 00:09 214K
[TXT]an_assume-guarantee_rule_for_checking_simulation.html23-Nov-2008 22:00 2.1K
[ ]an_assume-guarantee_rule_for_checking_simulation.pdf09-Sep-2004 11:26 259K
[ ]an_assume-guarantee_rule_for_checking_simulation.ps09-Sep-2004 11:26 589K
[TXT]an_eclipse_plugin_for_model_checking.html23-Nov-2008 22:00 1.5K
[ ]an_eclipse_plugin_for_model_checking.pdf09-Sep-2004 11:27 114K
[ ]an_eclipse_plugin_for_model_checking.ps09-Sep-2004 11:27 147K
[TXT]an_eclipse_plugin_for_model_checking.txt09-Sep-2004 11:27 1.0K
[TXT]an_interface_algebra_for_real-time_components.html23-Nov-2008 22:00 2.0K
[ ]an_interface_algebra_for_real-time_components.pdf21-Feb-2006 15:55 190K
[ ]an_interface_algebra_for_real-time_components.ps20-Feb-2006 20:08 397K
[TXT]antichains.html23-Nov-2008 22:00 1.6K
[ ]antichains.pdf09-Jun-2006 17:39 233K
[ ]antichains.ps09-Jun-2006 17:39 603K
[TXT]assume-guarantee_reasoning_for_hierarchical_hybrid_systems.html23-Nov-2008 22:00 2.0K
[ ]assume-guarantee_reasoning_for_hierarchical_hybrid_systems.pdf09-Sep-2004 11:27 327K
[ ]assume-guarantee_reasoning_for_hierarchical_hybrid_systems.ps09-Sep-2004 11:27 428K
[TXT]assume-guarantee_refinement_between_different_time_scales.html23-Nov-2008 22:00 1.8K
[ ]assume-guarantee_refinement_between_different_time_scales.pdf09-Sep-2004 11:27 214K
[ ]assume-guarantee_refinement_between_different_time_scales.ps09-Sep-2004 11:27 207K
[TXT]assume-guarantee_synthesis.html23-Nov-2008 22:00 2.3K
[ ]assume-guarantee_synthesis.pdf07-Jul-2007 22:02 200K
[ ]assume-guarantee_synthesis.ps07-Jul-2007 22:02 420K
[TXT]automatic_rectangular_refinement_of_affine_hybrid_systems.html23-Nov-2008 22:00 1.5K
[ ]automatic_rectangular_refinement_of_affine_hybrid_systems.pdf22-Feb-2006 15:54 232K
[ ]automatic_rectangular_refinement_of_affine_hybrid_systems.ps22-Feb-2006 15:54 626K
[TXT]automatic_symbolic_verification_of_embedded_systems.html23-Nov-2008 22:00 1.7K
[ ]automatic_symbolic_verification_of_embedded_systems.pdf09-Sep-2004 11:27 451K
[ ]automatic_symbolic_verification_of_embedded_systems.ps09-Sep-2004 11:27 455K
[TXT]automating_modular_verification.html23-Nov-2008 22:00 1.8K
[ ]automating_modular_verification.pdf09-Sep-2004 11:27 227K
[ ]automating_modular_verification.ps09-Sep-2004 11:27 199K
[TXT]axioms_for_real-time_logics.html23-Nov-2008 22:00 1.4K
[ ]axioms_for_real-time_logics.pdf09-Sep-2004 11:27 353K
[ ]axioms_for_real-time_logics.ps09-Sep-2004 11:27 356K
[TXT]back_to_the_future.html23-Nov-2008 22:00 2.3K
[ ]back_to_the_future.pdf09-Sep-2004 11:27 220K
[ ]back_to_the_future.ps09-Sep-2004 11:27 280K
[TXT]better_quality_in_synthesis_through_quantitative_objectives.html30-Jun-2009 12:52 2.0K
[ ]better_quality_in_synthesis_through_quantitative_objectives.pdf30-Jun-2009 15:10 220K
[ ]better_quality_in_synthesis_through_quantitative_objectives.ps30-Jun-2009 15:10 460K
[TXT]beyond_hytech.html23-Nov-2008 22:00 2.0K
[ ]beyond_hytech.pdf09-Sep-2004 11:28 322K
[ ]beyond_hytech.ps09-Sep-2004 11:28 473K
[TXT]bounded_asynchrony.html23-Nov-2008 12:28 2.3K
[ ]bounded_asynchrony.pdf24-Nov-2008 15:35 151K
[ ]bounded_asynchrony.ps24-Nov-2008 15:35 302K
[TXT]byconference.html21-Jul-2009 14:15 66K
[TXT]byjournal.html25-Nov-2008 17:26 11K
[TXT]bytopic.html21-Jul-2009 14:15 69K
[TXT]byyear.html21-Jul-2009 14:57 73K
[TXT]checking_memory_safety_with_blast.html23-Nov-2008 22:00 1.9K
[ ]checking_memory_safety_with_blast.pdf22-Feb-2006 10:34 189K
[ ]checking_memory_safety_with_blast.ps22-Feb-2006 10:34 555K
[TXT]completeness_and_nondeterminism_in_model_checking_transactional_memories.html23-Nov-2008 12:28 1.8K
[ ]completeness_and_nondeterminism_in_model_checking_transactional_memories.pdf24-Nov-2008 15:51 184K
[ ]completeness_and_nondeterminism_in_model_checking_transactional_memories.ps24-Nov-2008 15:51 394K
[TXT]composable_code_generation_for_distributed_giotto.html23-Nov-2008 22:00 1.6K
[ ]composable_code_generation_for_distributed_giotto.pdf22-Feb-2006 00:05 350K
[ ]composable_code_generation_for_distributed_giotto.ps22-Feb-2006 00:05 580K
[TXT]compositional_methods_for_probabilistic_systems.html23-Nov-2008 22:01 1.6K
[ ]compositional_methods_for_probabilistic_systems.pdf09-Sep-2004 11:28 271K
[ ]compositional_methods_for_probabilistic_systems.ps09-Sep-2004 11:28 365K
[TXT]compositional_quantitative_reasoning.html23-Nov-2008 22:01 1.7K
[ ]compositional_quantitative_reasoning.pdf19-Jul-2006 00:35 177K
[ ]compositional_quantitative_reasoning.ps19-Jul-2006 00:35 311K
[TXT]computing_accumulated_delays_in_real-time_systems.html23-Nov-2008 22:01 1.8K
[ ]computing_accumulated_delays_in_real-time_systems.pdf09-Sep-2004 11:28 248K
[ ]computing_accumulated_delays_in_real-time_systems.ps09-Sep-2004 11:28 245K
[TXT]computing_simulations_on_finite_and_infinite_graphs.html23-Nov-2008 22:01 1.6K
[ ]computing_simulations_on_finite_and_infinite_graphs.pdf09-Sep-2004 11:28 262K
[ ]computing_simulations_on_finite_and_infinite_graphs.ps09-Sep-2004 11:28 236K
[TXT]concurrent_omega-regular_games.html23-Nov-2008 22:01 2.6K
[ ]concurrent_omega-regular_games.pdf09-Sep-2004 11:28 329K
[ ]concurrent_omega-regular_games.ps09-Sep-2004 11:28 544K
[TXT]concurrent_reachability_games.html23-Nov-2008 12:28 2.4K
[ ]concurrent_reachability_games.pdf09-Sep-2004 11:28 277K
[ ]concurrent_reachability_games.ps09-Sep-2004 11:28 264K
[TXT]configurable_software_verification.html23-Nov-2008 22:01 1.8K
[ ]configurable_software_verification.pdf06-Jul-2007 10:39 252K
[ ]configurable_software_verification.ps06-Jul-2007 10:29 330K
[TXT]controller_synthesis_with_budget_constraints.html24-Nov-2008 12:58 2.6K
[ ]controller_synthesis_with_budget_constraints.pdf24-Nov-2008 12:59 194K
[ ]controller_synthesis_with_budget_constraints.ps24-Nov-2008 12:59 374K
[TXT]convertibility_verification_and_converter_synthesis.html23-Nov-2008 22:01 1.9K
[ ]convertibility_verification_and_converter_synthesis.pdf09-Sep-2004 11:29 180K
[ ]convertibility_verification_and_converter_synthesis.ps09-Sep-2004 11:29 343K
[TXT]counterexample-guided_control.html23-Nov-2008 22:01 2.1K
[ ]counterexample-guided_control.pdf09-Sep-2004 11:29 296K
[ ]counterexample-guided_control.ps09-Sep-2004 11:29 698K
[TXT]counterexample-guided_control.txt09-Sep-2004 11:29 1.6K
[TXT]counterexample-guided_planning.html23-Nov-2008 22:01 1.8K
[ ]counterexample-guided_planning.pdf22-Feb-2006 10:43 141K
[ ]counterexample-guided_planning.ps22-Feb-2006 10:43 365K
[TXT]decomposing_refinement_proofs_using_assume-guarantee_reasoning.html23-Nov-2008 22:01 2.3K
[ ]decomposing_refinement_proofs_using_assume-guarantee_reasoning.pdf09-Sep-2004 11:29 245K
[ ]decomposing_refinement_proofs_using_assume-guarantee_reasoning.ps09-Sep-2004 11:29 407K
[TXT]detecting_errors_before_reaching_them.html23-Nov-2008 22:01 2.0K
[ ]detecting_errors_before_reaching_them.pdf09-Sep-2004 11:29 265K
[ ]detecting_errors_before_reaching_them.ps09-Sep-2004 11:29 385K
[TXT]discounting_the_future_in_systems_theory.html23-Nov-2008 22:01 2.3K
[ ]discounting_the_future_in_systems_theory.pdf09-Sep-2004 11:29 260K
[ ]discounting_the_future_in_systems_theory.ps09-Sep-2004 11:29 549K
[TXT]discounting_the_future_in_systems_theory.txt09-Sep-2004 11:29 1.8K
[TXT]discrete-time_control_for_rectangular_hybrid_automata.html23-Nov-2008 22:01 2.0K
[ ]discrete-time_control_for_rectangular_hybrid_automata.pdf09-Sep-2004 11:29 306K
[ ]discrete-time_control_for_rectangular_hybrid_automata.ps09-Sep-2004 11:29 287K
[TXT]discrete_abstractions_of_hybrid_systems.html23-Nov-2008 22:01 1.4K
[ ]discrete_abstractions_of_hybrid_systems.pdf09-Sep-2004 11:30 362K
[ ]discrete_abstractions_of_hybrid_systems.ps09-Sep-2004 11:30 529K
[TXT]embedded_control_systems_development_with_giotto.html23-Nov-2008 22:01 1.9K
[ ]embedded_control_systems_development_with_giotto.pdf09-Sep-2004 11:30 322K
[ ]embedded_control_systems_development_with_giotto.ps09-Sep-2004 11:30 606K
[TXT]embedded_software_design_and_system_integration_for_rotorcraft_uav_using_platforms.html23-Nov-2008 22:01 1.9K
[ ]embedded_software_design_and_system_integration_for_rotorcraft_uav_using_platforms.pdf09-Sep-2004 11:30 52K
[ ]embedded_software_design_and_system_integration_for_rotorcraft_uav_using_platforms.ps09-Sep-2004 11:30 117K
[TXT]environment_assumptions_for_synthesis.html23-Nov-2008 12:28 1.9K
[ ]environment_assumptions_for_synthesis.pdf23-Nov-2008 00:35 176K
[ ]environment_assumptions_for_synthesis.ps23-Nov-2008 00:35 323K
[TXT]equivalence_of_labeled_markov_chains.html23-Nov-2008 12:28 1.8K
[ ]equivalence_of_labeled_markov_chains.pdf23-Nov-2008 00:35 197K
[ ]equivalence_of_labeled_markov_chains.ps23-Nov-2008 00:36 451K
[TXT]event-driven_programming_with_logical_execution_times.html23-Nov-2008 22:01 1.7K
[ ]event-driven_programming_with_logical_execution_times.pdf09-Sep-2004 11:30 182K
[ ]event-driven_programming_with_logical_execution_times.ps09-Sep-2004 11:30 271K
[TXT]event-driven_programming_with_logical_execution_times.txt09-Sep-2004 11:30 1.1K
[TXT]executable_biology.html22-Nov-2008 22:10 1.5K
[ ]executable_biology.pdf17-Jul-2006 14:47 129K
[ ]executable_biology.ps17-Jul-2006 14:46 230K
[ ]executable_cell_biology-letter.pdf24-Nov-2008 15:25 145K
[ ]executable_cell_biology-response.pdf24-Nov-2008 15:25 162K
[TXT]executable_cell_biology.html24-Nov-2008 15:45 1.7K
[ ]executable_cell_biology.pdf09-Nov-2007 13:57 756K
[TXT]extreme_model_checking.html23-Nov-2008 22:01 1.5K
[ ]extreme_model_checking.pdf09-Sep-2004 11:30 246K
[ ]extreme_model_checking.ps09-Sep-2004 11:30 603K
[TXT]extreme_model_checking.txt09-Sep-2004 11:30 1.0K
[TXT]fair_bisimulation.html23-Nov-2008 22:01 2.5K
[ ]fair_bisimulation.pdf09-Sep-2004 11:30 261K
[ ]fair_bisimulation.ps09-Sep-2004 11:30 399K
[TXT]fair_simulation.html23-Nov-2008 22:01 3.2K
[ ]fair_simulation.pdf09-Sep-2004 11:31 311K
[ ]fair_simulation.ps09-Sep-2004 11:31 599K
[TXT]finitary_fairness.html23-Nov-2008 22:01 2.4K
[ ]finitary_fairness.pdf09-Sep-2004 11:31 308K
[ ]finitary_fairness.ps09-Sep-2004 11:31 266K
[TXT]finitary_winning_in_omega-regular_games.html23-Nov-2008 22:01 2.2K
[ ]finitary_winning_in_omega-regular_games.pdf21-Feb-2006 15:47 176K
[ ]finitary_winning_in_omega-regular_games.ps20-Feb-2006 12:05 420K
[TXT]formal_specification_and_verification_of_a_dataflow_processor_array.html23-Nov-2008 22:01 2.0K
[ ]formal_specification_and_verification_of_a_dataflow_processor_array.pdf09-Sep-2004 11:31 215K
[ ]formal_specification_and_verification_of_a_dataflow_processor_array.ps09-Sep-2004 11:31 376K
[TXT]from_control_models_to_real-time_code_using_giotto.html23-Nov-2008 22:01 2.4K
[ ]from_control_models_to_real-time_code_using_giotto.pdf09-Sep-2004 11:31 1.0M
[ ]from_control_models_to_real-time_code_using_giotto.ps09-Sep-2004 11:31 521K
[TXT]from_prehistoric_to_postmodern_symbolic_model_checking.html23-Nov-2008 22:01 2.8K
[ ]from_prehistoric_to_postmodern_symbolic_model_checking.pdf09-Sep-2004 11:31 282K
[ ]from_prehistoric_to_postmodern_symbolic_model_checking.ps09-Sep-2004 11:31 645K
[TXT]from_quantity_to_quality.html23-Nov-2008 22:01 2.5K
[ ]from_quantity_to_quality.pdf09-Sep-2004 11:31 220K
[ ]from_quantity_to_quality.ps09-Sep-2004 11:31 205K
[TXT]from_verification_to_control.html23-Nov-2008 22:01 2.6K
[ ]from_verification_to_control.pdf09-Sep-2004 11:32 313K
[ ]from_verification_to_control.ps09-Sep-2004 11:32 508K
[TXT]games_time_and_probability.html23-Nov-2008 22:01 1.9K
[ ]games_time_and_probability.pdf12-Oct-2006 14:34 107K
[ ]games_time_and_probability.ps12-Oct-2006 14:34 265K
[TXT]games_with_secure_equilibria.html23-Nov-2008 22:01 2.0K
[ ]games_with_secure_equilibria.pdf09-Sep-2004 11:32 165K
[ ]games_with_secure_equilibria.ps09-Sep-2004 11:32 218K
[TXT]games_with_secure_equilibria.txt09-Sep-2004 11:32 1.4K
[TXT]generalized_parity_games.html23-Nov-2008 22:01 2.3K
[ ]generalized_parity_games.pdf06-Jul-2007 22:53 206K
[ ]generalized_parity_games.ps06-Jul-2007 22:53 410K
[TXT]generating_tests_from_counterexamples.html23-Nov-2008 22:01 1.4K
[ ]generating_tests_from_counterexamples.pdf09-Sep-2004 11:32 150K
[ ]generating_tests_from_counterexamples.ps09-Sep-2004 11:32 164K
[TXT]generating_tests_from_counterexamples.txt09-Sep-2004 11:32 886
[TXT]giotto.html23-Nov-2008 22:01 1.9K
[ ]giotto.pdf09-Sep-2004 11:32 580K
[ ]giotto.ps09-Sep-2004 11:32 2.6M
[TXT]half-order_modal_logic.html23-Nov-2008 22:01 1.5K
[ ]half-order_modal_logic.pdf09-Sep-2004 11:32 277K
[ ]half-order_modal_logic.ps09-Sep-2004 11:32 283K
[TXT]hybrid_automata.html23-Nov-2008 22:01 1.9K
[ ]hybrid_automata.pdf09-Sep-2004 11:32 238K
[ ]hybrid_automata.ps09-Sep-2004 11:33 262K
[TXT]hybrid_automata_with_finite_bisimulations.html23-Nov-2008 22:01 1.6K
[ ]hybrid_automata_with_finite_bisimulations.pdf09-Sep-2004 11:33 272K
[ ]hybrid_automata_with_finite_bisimulations.ps09-Sep-2004 11:33 264K
[TXT]hytech.html23-Nov-2008 22:01 1.5K
[ ]hytech.pdf09-Sep-2004 11:33 317K
[ ]hytech.ps09-Sep-2004 11:33 274K
[TXT]interface-based_design.html23-Nov-2008 22:01 1.4K
[ ]interface-based_design.pdf22-Feb-2006 10:52 173K
[ ]interface-based_design.ps22-Feb-2006 10:53 395K
[TXT]interface_automata.html23-Nov-2008 22:01 1.7K
[ ]interface_automata.pdf09-Sep-2004 11:33 284K
[ ]interface_automata.ps09-Sep-2004 11:33 442K
[TXT]interface_compatibility_checking_for_software_modules.html23-Nov-2008 22:01 2.0K
[ ]interface_compatibility_checking_for_software_modules.pdf09-Sep-2004 11:33 225K
[ ]interface_compatibility_checking_for_software_modules.ps09-Sep-2004 11:33 407K
[TXT]interface_theories_for_component-based_design.html23-Nov-2008 22:01 1.4K
[ ]interface_theories_for_component-based_design.pdf09-Sep-2004 11:33 274K
[ ]interface_theories_for_component-based_design.ps09-Sep-2004 11:33 383K
[TXT]interface_theories_with_component_reuse.html23-Nov-2008 12:28 1.7K
[ ]interface_theories_with_component_reuse.pdf23-Nov-2008 00:35 184K
[ ]interface_theories_with_component_reuse.ps23-Nov-2008 00:36 403K
[TXT]invariant_synthesis_for_combined_theories.html23-Nov-2008 22:01 1.8K
[ ]invariant_synthesis_for_combined_theories.pdf07-Jul-2007 23:00 206K
[ ]invariant_synthesis_for_combined_theories.ps07-Jul-2007 23:00 459K
[TXT]its_about_time.html23-Nov-2008 22:01 1.1K
[ ]its_about_time.pdf09-Sep-2004 11:33 222K
[ ]its_about_time.ps09-Sep-2004 11:33 188K
[TXT]jmocha.html23-Nov-2008 22:01 1.8K
[ ]jmocha.pdf09-Sep-2004 11:34 156K
[ ]jmocha.ps09-Sep-2004 11:34 266K
[TXT]lazy_abstraction.html23-Nov-2008 22:01 1.4K
[ ]lazy_abstraction.pdf09-Sep-2004 11:34 296K
[ ]lazy_abstraction.ps09-Sep-2004 11:34 409K
[TXT]lazy_shape_analysis.html23-Nov-2008 22:01 1.7K
[ ]lazy_shape_analysis.pdf09-Jun-2006 18:04 364K
[ ]lazy_shape_analysis.ps09-Jun-2006 18:04 537K
[TXT]linear_phase-portrait_approximations_for_nonlinear_hybrid_systems.html23-Feb-2006 13:23 1.3K
[ ]linear_phase-portrait_approximations_for_nonlinear_hybrid_systems.pdf09-Sep-2004 11:34 231K
[ ]linear_phase-portrait_approximations_for_nonlinear_hybrid_systems.ps09-Sep-2004 11:34 194K
[TXT]local_liveness.html23-Nov-2008 22:01 1.6K
[ ]local_liveness.pdf09-Sep-2004 11:34 213K
[ ]local_liveness.ps09-Sep-2004 11:34 190K
[TXT]logical_reliability_of_interacting_real-time_tasks.html24-Nov-2008 11:43 1.7K
[ ]logical_reliability_of_interacting_real-time_tasks.pdf23-Nov-2008 11:13 198K
[TXT]logics_and_models_of_real_time.html23-Nov-2008 22:01 1.4K
[ ]logics_and_models_of_real_time.pdf09-Sep-2004 11:34 278K
[ ]logics_and_models_of_real_time.ps09-Sep-2004 11:34 286K
[TXT]markov_decision_processes_with_multiple_objectives.html23-Nov-2008 22:01 1.8K
[ ]markov_decision_processes_with_multiple_objectives.pdf21-Feb-2006 15:57 145K
[ ]markov_decision_processes_with_multiple_objectives.ps21-Feb-2006 15:57 358K
[TXT]masaccio.html23-Nov-2008 22:01 1.1K
[ ]masaccio.pdf09-Sep-2004 11:34 265K
[ ]masaccio.ps09-Sep-2004 11:34 362K
[TXT]mcweb.html23-Nov-2008 22:01 803
[ ]mcweb.pdf09-Sep-2004 11:34 153K
[ ]mcweb.ps09-Sep-2004 11:34 627K
[TXT]mean-payoff_parity_games.html23-Nov-2008 22:01 1.5K
[ ]mean-payoff_parity_games.pdf21-Feb-2006 21:34 137K
[ ]mean-payoff_parity_games.ps21-Feb-2006 21:34 259K
[TXT]minimum-time_reachability_in_timed_games.html23-Nov-2008 22:01 1.4K
[ ]minimum-time_reachability_in_timed_games.pdf06-Jul-2007 10:56 187K
[ ]minimum-time_reachability_in_timed_games.ps06-Jul-2007 10:56 408K
[TXT]mocha.html23-Nov-2008 22:01 1.6K
[ ]mocha.pdf09-Sep-2004 11:35 170K
[ ]mocha.ps09-Sep-2004 11:35 4.7M
[TXT]model_checking_discounted_temporal_properties.html23-Nov-2008 22:01 2.6K
[ ]model_checking_discounted_temporal_properties.pdf23-Feb-2006 17:41 297K
[ ]model_checking_discounted_temporal_properties.ps23-Feb-2006 17:41 571K
[TXT]model_checking_discounted_temporal_properties.txt09-Sep-2004 11:35 1.9K
[TXT]model_checking_omega-regular_properties_of_interval_markov_chains.html24-Nov-2008 11:44 2.9K
[ ]model_checking_omega-regular_properties_of_interval_markov_chains.pdf23-Nov-2008 11:13 209K
[ ]model_checking_omega-regular_properties_of_interval_markov_chains.ps23-Nov-2008 11:14 410K
[TXT]model_checking_transactional_memories.html23-Nov-2008 12:28 2.3K
[ ]model_checking_transactional_memories.pdf24-Nov-2008 15:50 224K
[ ]model_checking_transactional_memories.ps24-Nov-2008 15:50 388K
[TXT]modularity_for_timed_and_hybrid_systems.html23-Nov-2008 22:01 1.9K
[ ]modularity_for_timed_and_hybrid_systems.pdf09-Sep-2004 11:35 258K
[ ]modularity_for_timed_and_hybrid_systems.ps09-Sep-2004 11:35 215K
[TXT]on_the_universal_and_existential_fragments_of_the_mu-calculus.html23-Nov-2008 22:01 2.0K
[ ]on_the_universal_and_existential_fragments_of_the_mu-calculus.pdf09-Sep-2004 11:35 217K
[ ]on_the_universal_and_existential_fragments_of_the_mu-calculus.ps09-Sep-2004 11:35 465K
[TXT]parametric_real-time_reasoning.html23-Nov-2008 22:01 1.8K
[ ]parametric_real-time_reasoning.pdf09-Sep-2004 11:36 217K
[ ]parametric_real-time_reasoning.ps09-Sep-2004 11:36 226K
[TXT]partial-order_reduction_in_symbolic_state-space_exploration.html23-Nov-2008 22:01 2.3K
[ ]partial-order_reduction_in_symbolic_state-space_exploration.pdf09-Sep-2004 11:36 215K
[ ]partial-order_reduction_in_symbolic_state-space_exploration.ps09-Sep-2004 11:36 574K
[TXT]path_invariants.html23-Nov-2008 22:01 2.1K
[ ]path_invariants.pdf06-Jul-2007 10:14 180K
[ ]path_invariants.ps06-Jul-2007 10:14 393K
[TXT]permissive_interfaces.html23-Nov-2008 22:01 2.1K
[ ]permissive_interfaces.pdf21-Feb-2006 23:55 486K
[ ]permissive_interfaces.ps21-Feb-2006 23:54 1.0M
[TXT]permissive_interfaces.txt09-Sep-2004 11:36 1.9K
[TXT]permissiveness_in_transactional_memories.html23-Nov-2008 12:28 1.8K
[ ]permissiveness_in_transactional_memories.pdf23-Nov-2008 00:36 181K
[ ]permissiveness_in_transactional_memories.ps23-Nov-2008 00:36 538K
[TXT]predictive_modeling_of_signaling_crosstalk_during_c_elegans_vulval_development.html23-Nov-2008 22:01 2.5K
[ ]predictive_modeling_of_signaling_crosstalk_during_c_elegans_vulval_development.pdf23-Oct-2007 19:11 443K
[TXT]program_analysis_with_dynamic_change_of_precision.html23-Nov-2008 12:28 1.3K
[ ]program_analysis_with_dynamic_change_of_precision.pdf23-Nov-2008 00:36 180K
[ ]program_analysis_with_dynamic_change_of_precision.ps23-Nov-2008 00:36 327K
[ ]proving_no-termination.pdf20-Nov-2007 23:29 207K
[TXT]proving_non-termination.html23-Nov-2008 12:28 1.5K
[ ]proving_non-termination.pdf23-Nov-2008 00:36 207K
[ ]proving_non-termination.ps23-Nov-2008 00:36 383K
[TXT]proving_safety_properties_of_hybrid_systems.html23-Nov-2008 22:01 1.7K
[ ]proving_safety_properties_of_hybrid_systems.pdf09-Sep-2004 11:36 289K
[ ]proving_safety_properties_of_hybrid_systems.ps09-Sep-2004 11:36 281K
[TXT]qualitative_networks.html23-Nov-2008 22:01 1.8K
[ ]qualitative_networks.pdf23-Oct-2007 19:03 273K
[ ]qualitative_networks.ps23-Oct-2007 19:04 474K
[TXT]quantifying_similarities_between_timed_systems.html23-Nov-2008 22:01 1.7K
[ ]quantifying_similarities_between_timed_systems.pdf22-Feb-2006 10:36 188K
[ ]quantifying_similarities_between_timed_systems.ps22-Feb-2006 10:36 428K
[TXT]quantitative_generalizations_of_languages.html23-Nov-2008 22:01 1.1K
[ ]quantitative_generalizations_of_languages.pdf09-Jul-2007 00:26 82K
[ ]quantitative_generalizations_of_languages.ps09-Jul-2007 00:17 142K
[TXT]quantitative_languages.html21-Jul-2009 14:57 1.8K
[ ]quantitative_languages.pdf23-Nov-2008 00:36 165K
[ ]quantitative_languages.ps23-Nov-2008 00:36 297K
[TXT]quantitative_stochastic_parity_games.html23-Nov-2008 22:01 2.8K
[ ]quantitative_stochastic_parity_games.pdf09-Sep-2004 11:36 275K
[ ]quantitative_stochastic_parity_games.ps09-Sep-2004 11:36 283K
[TXT]quantitative_stochastic_parity_games.txt09-Sep-2004 11:36 2.2K
[TXT]race_checking_by_context_inference.html23-Nov-2008 22:01 1.8K
[ ]race_checking_by_context_inference.pdf09-Sep-2004 11:36 289K
[ ]race_checking_by_context_inference.ps09-Sep-2004 11:37 361K
[TXT]race_checking_by_context_inference.txt09-Sep-2004 11:37 1.3K
[TXT]reachability_verification_for_hybrid_automata.html23-Nov-2008 22:01 1.4K
[ ]reachability_verification_for_hybrid_automata.pdf09-Sep-2004 11:37 248K
[ ]reachability_verification_for_hybrid_automata.ps09-Sep-2004 11:37 201K
[TXT]reactive_modules.html23-Nov-2008 22:01 1.8K
[ ]reactive_modules.pdf09-Sep-2004 11:37 355K
[ ]reactive_modules.ps09-Sep-2004 11:37 375K
[TXT]real-time_logics.html23-Nov-2008 22:01 1.9K
[ ]real-time_logics.pdf09-Sep-2004 11:37 377K
[ ]real-time_logics.ps09-Sep-2004 11:37 374K
[TXT]real-time_system=discrete_system+clock_variables.html23-Nov-2008 22:01 2.7K
[ ]real-time_system=discrete_system+clock_variables.pdf09-Sep-2004 11:37 383K
[ ]real-time_system=discrete_system+clock_variables.ps09-Sep-2004 11:37 368K
[TXT]rectangular_hybrid_games.html23-Nov-2008 22:01 1.8K
[ ]rectangular_hybrid_games.pdf09-Sep-2004 11:37 275K
[ ]rectangular_hybrid_games.ps09-Sep-2004 11:37 241K
[TXT]reduction_of_stochastic_parity_to_stochastic_mean-payoff_games.html23-Nov-2008 12:28 1.1K
[ ]reduction_of_stochastic_parity_to_stochastic_mean-payoff_games.pdf24-Nov-2008 12:48 144K
[ ]reduction_of_stochastic_parity_to_stochastic_mean-payoff_games.ps24-Nov-2008 12:48 320K
[TXT]resource_interfaces.html23-Nov-2008 22:01 2.2K
[ ]resource_interfaces.pdf09-Sep-2004 11:37 210K
[ ]resource_interfaces.ps09-Sep-2004 11:37 607K
[TXT]resource_interfaces.txt09-Sep-2004 11:38 1.8K
[TXT]robust_timed_automata.html23-Nov-2008 22:01 1.4K
[ ]robust_timed_automata.pdf09-Sep-2004 11:38 233K
[ ]robust_timed_automata.ps09-Sep-2004 11:38 204K
[TXT]robust_undecidability_of_timed_and_hybrid_systems.html23-Nov-2008 22:01 1.9K
[ ]robust_undecidability_of_timed_and_hybrid_systems.pdf09-Sep-2004 11:38 293K
[ ]robust_undecidability_of_timed_and_hybrid_systems.ps09-Sep-2004 11:38 381K
[TXT]schedule_carrying_code.html23-Nov-2008 22:01 1.8K
[ ]schedule_carrying_code.pdf09-Sep-2004 11:38 176K
[ ]schedule_carrying_code.ps09-Sep-2004 11:38 492K
[TXT]schedule_carrying_code.txt09-Sep-2004 11:38 1.4K
[TXT]semiperfect-information_games.html23-Nov-2008 22:01 2.6K
[ ]semiperfect-information_games.pdf21-Feb-2006 21:15 187K
[ ]semiperfect-information_games.ps21-Feb-2006 21:15 437K
[TXT]simple_stochastic_parity_games.html23-Nov-2008 22:01 2.1K
[ ]simple_stochastic_parity_games.pdf09-Sep-2004 11:38 183K
[ ]simple_stochastic_parity_games.ps09-Sep-2004 11:38 511K
[TXT]simple_stochastic_parity_games.txt09-Sep-2004 11:38 1.6K
[TXT]sliding-window_abstraction_for_infinite_markov_chains.html30-Jun-2009 12:44 1.8K
[ ]sliding-window_abstraction_for_infinite_markov_chains.pdf30-Jun-2009 15:08 785K
[ ]sliding-window_abstraction_for_infinite_markov_chains.ps30-Jun-2009 15:08 2.1M
[TXT]software_transactional_memory_on_relaxed_memory_models.html30-Jun-2009 12:26 1.9K
[ ]software_transactional_memory_on_relaxed_memory_models.pdf30-Jun-2009 12:55 260K
[ ]software_transactional_memory_on_relaxed_memory_models.ps30-Jun-2009 12:57 365K
[TXT]software_verification_with_blast.html23-Nov-2008 22:01 1.3K
[ ]software_verification_with_blast.pdf09-Sep-2004 11:38 115K
[ ]software_verification_with_blast.ps09-Sep-2004 11:38 189K
[TXT]solving_games_without_determinization.html23-Nov-2008 22:01 1.8K
[ ]solving_games_without_determinization.pdf19-Jul-2006 00:41 163K
[ ]solving_games_without_determinization.ps19-Jul-2006 00:40 371K
[TXT]some_lessons_from_the_hytech_experience.html23-Nov-2008 22:01 1.5K
[ ]some_lessons_from_the_hytech_experience.pdf09-Sep-2004 11:38 238K
[ ]some_lessons_from_the_hytech_experience.ps09-Sep-2004 11:38 360K
[TXT]sooner_is_safer_than_later.html23-Nov-2008 22:01 1.2K
[ ]sooner_is_safer_than_later.pdf09-Sep-2004 11:39 134K
[ ]sooner_is_safer_than_later.ps09-Sep-2004 11:39 111K
[TXT]stack_size_analysis_for_interrupt-driven_programs.html23-Nov-2008 22:01 2.0K
[ ]stack_size_analysis_for_interrupt-driven_programs.pdf23-Feb-2006 18:03 372K
[ ]stack_size_analysis_for_interrupt-driven_programs.ps03-May-2004 19:35 402K
[TXT]state_equivalences_for_rectangular_hybrid_automata.html23-Nov-2008 22:01 2.5K
[ ]state_equivalences_for_rectangular_hybrid_automata.pdf09-Sep-2004 11:39 331K
[ ]state_equivalences_for_rectangular_hybrid_automata.ps09-Sep-2004 11:39 338K
[TXT]stochastic_limit-average_games_are_in_exptime.html24-Nov-2008 12:00 969
[ ]stochastic_limit-average_games_are_in_exptime.pdf01-Dec-2008 10:57 182K
[ ]stochastic_limit-average_games_are_in_exptime.ps01-Dec-2008 10:57 367K
[TXT]strategy_construction_for_parity_games_with_imperfect_information.html23-Nov-2008 12:28 1.9K
[ ]strategy_construction_for_parity_games_with_imperfect_information.pdf23-Nov-2008 00:36 205K
[ ]strategy_construction_for_parity_games_with_imperfect_information.ps23-Nov-2008 00:36 424K
[TXT]strategy_improvement_and_randomized_subexponential_algorithms_for_stochastic_parity_games.html23-Nov-2008 22:01 1.5K
[ ]strategy_improvement_and_randomized_subexponential_algorithms_for_stochastic_parity_games.pdf21-Feb-2006 15:59 168K
[ ]strategy_improvement_and_randomized_subexponential_algorithms_for_stochastic_parity_games.ps21-Feb-2006 15:58 404K
[TXT]strategy_improvement_for_concurrent_reachability_games.html23-Nov-2008 22:01 1.9K
[ ]strategy_improvement_for_concurrent_reachability_games.pdf19-Jul-2006 00:29 145K
[ ]strategy_improvement_for_concurrent_reachability_games.ps19-Jul-2006 00:29 275K
[TXT]strategy_improvement_for_stochastic_rabin_and_streett_games.html23-Nov-2008 22:01 1.7K
[ ]strategy_improvement_for_stochastic_rabin_and_streett_games.pdf09-Jun-2006 18:17 243K
[ ]strategy_improvement_for_stochastic_rabin_and_streett_games.ps09-Jun-2006 18:17 422K
[TXT]strategy_logic.html23-Nov-2008 22:01 1.5K
[ ]strategy_logic.pdf06-Jul-2007 10:44 185K
[ ]strategy_logic.ps06-Jul-2007 10:44 377K
[TXT]symbolic_algorithms_for_infinite-state_games.html23-Nov-2008 22:01 2.5K
[ ]symbolic_algorithms_for_infinite-state_games.pdf09-Sep-2004 11:39 314K
[ ]symbolic_algorithms_for_infinite-state_games.ps09-Sep-2004 11:39 414K
[TXT]symbolic_analysis_of_hybrid_systems.html23-Nov-2008 22:01 1.2K
[ ]symbolic_analysis_of_hybrid_systems.pdf09-Sep-2004 11:39 198K
[ ]symbolic_analysis_of_hybrid_systems.ps09-Sep-2004 11:39 163K
[TXT]symbolic_exploration_of_transition_hierarchies.html23-Nov-2008 22:01 2.9K
[ ]symbolic_exploration_of_transition_hierarchies.pdf09-Sep-2004 11:39 237K
[ ]symbolic_exploration_of_transition_hierarchies.ps09-Sep-2004 11:39 202K
[TXT]symbolic_model_checking_for_real-time_systems.html23-Nov-2008 22:01 2.2K
[ ]symbolic_model_checking_for_real-time_systems.pdf09-Sep-2004 11:39 424K
[ ]symbolic_model_checking_for_real-time_systems.ps09-Sep-2004 11:39 441K
[TXT]symbolic_model_checking_for_rectangular_hybrid_systems.html23-Nov-2008 22:01 1.8K
[ ]symbolic_model_checking_for_rectangular_hybrid_systems.pdf09-Sep-2004 11:40 301K
[ ]symbolic_model_checking_for_rectangular_hybrid_systems.ps09-Sep-2004 11:40 424K
[TXT]synchronous_and_bidirectional_component_interfaces.html23-Nov-2008 22:01 2.1K
[ ]synchronous_and_bidirectional_component_interfaces.pdf09-Sep-2004 11:40 247K
[ ]synchronous_and_bidirectional_component_interfaces.ps09-Sep-2004 11:40 446K
[TXT]synergy.html23-Nov-2008 22:01 1.9K
[ ]synergy.pdf18-Sep-2006 17:04 175K
[ ]synergy.ps18-Sep-2006 17:04 458K
[TXT]synthesis_of_uninitialized_systems.html23-Nov-2008 22:01 2.3K
[ ]synthesis_of_uninitialized_systems.pdf09-Sep-2004 11:40 209K
[ ]synthesis_of_uninitialized_systems.ps09-Sep-2004 11:40 362K
[TXT]temporal_proof_methodologies_for_timed_transition_systems.html23-Nov-2008 22:01 2.8K
[ ]temporal_proof_methodologies_for_timed_transition_systems.pdf09-Sep-2004 11:40 419K
[ ]temporal_proof_methodologies_for_timed_transition_systems.ps09-Sep-2004 11:40 448K
[TXT]temporal_safety_proofs_for_systems_code.html23-Nov-2008 22:01 1.7K
[ ]temporal_safety_proofs_for_systems_code.pdf09-Sep-2004 11:40 233K
[ ]temporal_safety_proofs_for_systems_code.ps09-Sep-2004 11:40 417K
[TXT]termination_criteria_for_solving_concurrent_safety_and_reachability_games.html23-Nov-2008 12:28 2.2K
[ ]termination_criteria_for_solving_concurrent_safety_and_reachability_games.pdf23-Nov-2008 00:36 207K
[ ]termination_criteria_for_solving_concurrent_safety_and_reachability_games.ps23-Nov-2008 00:36 434K
[TXT]the_algorithmic_analysis_of_hybrid_systems.html23-Nov-2008 22:01 2.1K
[ ]the_algorithmic_analysis_of_hybrid_systems.pdf09-Sep-2004 11:40 330K
[ ]the_algorithmic_analysis_of_hybrid_systems.ps09-Sep-2004 11:40 341K
[TXT]the_benefits_of_relaxing_punctuality.html23-Nov-2008 22:01 1.3K
[ ]the_benefits_of_relaxing_punctuality.pdf09-Sep-2004 11:41 347K
[ ]the_benefits_of_relaxing_punctuality.ps09-Sep-2004 11:41 359K
[TXT]the_blast_query_language_for_software_verification.html23-Nov-2008 22:01 1.9K
[ ]the_blast_query_language_for_software_verification.pdf09-Sep-2004 11:41 316K
[ ]the_blast_query_language_for_software_verification.ps09-Sep-2004 11:41 352K
[TXT]the_blast_query_language_for_software_verification.txt09-Sep-2004 11:41 1.3K
[TXT]the_complexity_of_quantitative_concurrent_parity_games.html23-Nov-2008 22:01 2.6K
[ ]the_complexity_of_quantitative_concurrent_parity_games.pdf21-Feb-2006 16:43 189K
[ ]the_complexity_of_quantitative_concurrent_parity_games.ps21-Feb-2006 16:43 457K
[TXT]the_complexity_of_stochastic_rabin_and_streett_games.html23-Nov-2008 22:01 2.1K
[ ]the_complexity_of_stochastic_rabin_and_streett_games.pdf21-Feb-2006 23:20 155K
[ ]the_complexity_of_stochastic_rabin_and_streett_games.ps21-Feb-2006 23:20 385K
[TXT]the_control_of_synchronous_systems.html23-Nov-2008 22:01 2.4K
[ ]the_control_of_synchronous_systems.pdf09-Sep-2004 11:41 262K
[ ]the_control_of_synchronous_systems.ps09-Sep-2004 11:41 376K
[TXT]the_control_of_synchronous_systems_part_2.html23-Nov-2008 22:01 2.3K
[ ]the_control_of_synchronous_systems_part_2.pdf09-Sep-2004 11:41 673K
[ ]the_control_of_synchronous_systems_part_2.ps09-Sep-2004 11:41 403K
[TXT]the_cornell_hybrid_technology_tool.html23-Nov-2008 22:01 952
[ ]the_cornell_hybrid_technology_tool.pdf09-Sep-2004 11:41 333K
[ ]the_cornell_hybrid_technology_tool.ps09-Sep-2004 11:41 286K
[TXT]the_discipline_of_embedded_systems_design.html24-Nov-2008 15:54 826
[ ]the_discipline_of_embedded_systems_design.pdf20-Nov-2007 23:08 151K
[TXT]the_element_of_surprise_in_timed_games.html23-Nov-2008 22:01 1.8K
[ ]the_element_of_surprise_in_timed_games.pdf09-Sep-2004 11:41 234K
[ ]the_element_of_surprise_in_timed_games.ps09-Sep-2004 11:41 580K
[TXT]the_element_of_surprise_in_timed_games.txt09-Sep-2004 11:41 1.3K
[TXT]the_embedded_machine.html23-Nov-2008 12:28 1.8K
[ ]the_embedded_machine.pdf09-Sep-2004 11:42 169K
[ ]the_embedded_machine.ps09-Sep-2004 11:42 327K
[TXT]the_embedded_systems_design_challenge.html23-Nov-2008 22:01 1.3K
[ ]the_embedded_systems_design_challenge.pdf09-Jun-2006 23:06 138K
[ ]the_embedded_systems_design_challenge.ps09-Jun-2006 23:08 237K
[TXT]the_expressive_power_of_clocks.html23-Nov-2008 22:01 1.3K
[ ]the_expressive_power_of_clocks.pdf09-Sep-2004 11:42 294K
[ ]the_expressive_power_of_clocks.ps09-Sep-2004 11:42 284K
[TXT]the_next_generation.html23-Nov-2008 22:01 1.6K
[ ]the_next_generation.pdf09-Sep-2004 11:42 278K
[ ]the_next_generation.ps09-Sep-2004 11:42 255K
[TXT]the_observational_power_of_clocks.html23-Nov-2008 22:01 2.5K
[ ]the_observational_power_of_clocks.pdf09-Sep-2004 11:42 241K
[ ]the_observational_power_of_clocks.ps09-Sep-2004 11:42 205K
[TXT]the_regular_real-time_languages.html23-Nov-2008 22:01 3.6K
[ ]the_regular_real-time_languages.pdf09-Sep-2004 11:42 217K
[ ]the_regular_real-time_languages.ps09-Sep-2004 11:42 184K
[TXT]the_software_model_checker_blast.html23-Nov-2008 12:28 2.3K
[ ]the_software_model_checker_blast.pdf23-Nov-2008 11:13 297K
[TXT]the_temporal_specification_and_verification_of_real-time_systems.html23-Nov-2008 22:01 2.4K
[ ]the_temporal_specification_and_verification_of_real-time_systems.pdf09-Sep-2004 11:42 1.4M
[ ]the_temporal_specification_and_verification_of_real-time_systems.ps09-Sep-2004 11:42 1.4M
[TXT]the_theory_of_hybrid_automata.html23-Nov-2008 22:01 1.8K
[ ]the_theory_of_hybrid_automata.pdf09-Sep-2004 11:43 302K
[ ]the_theory_of_hybrid_automata.ps09-Sep-2004 11:43 272K
[TXT]thread-modular_abstraction_refinement.html23-Nov-2008 22:01 2.0K
[ ]thread-modular_abstraction_refinement.pdf09-Sep-2004 11:43 213K
[ ]thread-modular_abstraction_refinement.ps09-Sep-2004 11:43 432K
[TXT]thread-modular_abstraction_refinement.txt09-Sep-2004 11:43 1.5K
[TXT]time-safety_checking_for_embedded_programs.html23-Nov-2008 22:01 1.6K
[ ]time-safety_checking_for_embedded_programs.pdf09-Sep-2004 11:43 254K
[ ]time-safety_checking_for_embedded_programs.ps09-Sep-2004 11:43 440K
[ ]time_for_logic.pdf09-Sep-2004 11:43 109K
[ ]time_for_logic.ps09-Sep-2004 11:43 121K
[TXT]timed_alternating-time_temporal_logic.html23-Nov-2008 22:01 1.3K
[ ]timed_alternating-time_temporal_logic.pdf29-Sep-2006 10:17 191K
[ ]timed_alternating-time_temporal_logic.ps29-Sep-2006 10:17 448K
[TXT]timed_interfaces.html23-Nov-2008 22:01 1.4K
[ ]timed_interfaces.pdf09-Sep-2004 11:43 229K
[ ]timed_interfaces.ps09-Sep-2004 11:43 584K
[TXT]timed_parity_games.html23-Nov-2008 12:28 2.4K
[ ]timed_parity_games.pdf23-Nov-2008 11:13 225K
[ ]timed_parity_games.ps23-Nov-2008 11:13 445K
[TXT]towards_refining_temporal_specifications_into_hybrid_systems.html23-Nov-2008 22:01 1.0K
[ ]towards_refining_temporal_specifications_into_hybrid_systems.pdf09-Sep-2004 11:43 198K
[ ]towards_refining_temporal_specifications_into_hybrid_systems.ps09-Sep-2004 11:43 196K
[TXT]trading_end-to-end_latency_for_composability.html23-Nov-2008 22:01 1.5K
[ ]trading_end-to-end_latency_for_composability.pdf21-Feb-2006 23:34 227K
[ ]trading_end-to-end_latency_for_composability.ps21-Feb-2006 23:34 420K
[TXT]trading_infinite_memory_for_uniform_randomness_in_timed_games.html23-Nov-2008 12:28 1.9K
[ ]trading_infinite_memory_for_uniform_randomness_in_timed_games.pdf23-Nov-2008 11:13 206K
[ ]trading_infinite_memory_for_uniform_randomness_in_timed_games.ps23-Nov-2008 11:14 425K
[TXT]trading_memory_for_randomness.html23-Nov-2008 22:01 1.6K
[ ]trading_memory_for_randomness.pdf09-Sep-2004 11:43 185K
[ ]trading_memory_for_randomness.ps09-Sep-2004 11:43 220K
[TXT]trading_memory_for_randomness.txt09-Sep-2004 11:43 1.1K
[TXT]trading_probability_for_fairness.html23-Nov-2008 22:01 2.4K
[ ]trading_probability_for_fairness.pdf09-Sep-2004 11:44 137K
[ ]trading_probability_for_fairness.ps09-Sep-2004 11:44 296K
[TXT]two_challenges_in_embedded_systems_design.html23-Nov-2008 12:28 1.0K
[ ]two_challenges_in_embedded_systems_design.pdf23-Nov-2008 11:14 105K
[ ]two_challenges_in_embedded_systems_design.ps23-Nov-2008 11:13 179K
[TXT]using_hytech_to_synthesize_control_parameters_for_a_steam_boiler.html23-Nov-2008 22:01 1.3K
[ ]using_hytech_to_synthesize_control_parameters_for_a_steam_boiler.pdf09-Sep-2004 11:44 375K
[ ]using_hytech_to_synthesize_control_parameters_for_a_steam_boiler.ps09-Sep-2004 11:44 350K
[TXT]valigator.html30-Jun-2009 11:12 1.2K
[ ]valigator.pdf23-Nov-2008 00:36 178K
[TXT]value_iteration.html23-Nov-2008 12:28 1.2K
[ ]value_iteration.pdf07-Jul-2007 23:36 322K
[ ]value_iteration.ps07-Jul-2007 23:36 542K
[TXT]verification_methods_for_the_divergent_runs_of_clock_systems.html23-Nov-2008 22:01 1.7K
[ ]verification_methods_for_the_divergent_runs_of_clock_systems.pdf09-Sep-2004 11:44 287K
[ ]verification_methods_for_the_divergent_runs_of_clock_systems.ps09-Sep-2004 11:44 264K
[TXT]verifying_quantitative_properties_using_bound_functions.html23-Nov-2008 22:01 2.5K
[ ]verifying_quantitative_properties_using_bound_functions.pdf22-Feb-2006 10:38 172K
[ ]verifying_quantitative_properties_using_bound_functions.ps22-Feb-2006 10:38 389K
[TXT]verifying_sequential_consistency_for_multiprocessor_memory_protocols.html23-Nov-2008 22:01 3.0K
[ ]verifying_sequential_consistency_for_multiprocessor_memory_protocols.pdf09-Sep-2004 11:44 231K
[ ]verifying_sequential_consistency_for_multiprocessor_memory_protocols.ps09-Sep-2004 11:44 201K
[TXT]web_service_interfaces.html23-Nov-2008 22:01 1.7K
[ ]web_service_interfaces.pdf22-Feb-2006 14:23 240K
[ ]web_service_interfaces.ps22-Feb-2006 14:23 486K
[TXT]what_good_are_digital_clocks.html23-Nov-2008 22:01 1.5K
[ ]what_good_are_digital_clocks.pdf09-Sep-2004 11:44 244K
[ ]what_good_are_digital_clocks.ps09-Sep-2004 11:44 200K
[TXT]whats_decidable_about_hybrid_automata.html23-Nov-2008 22:01 2.2K
[ ]whats_decidable_about_hybrid_automata.pdf09-Sep-2004 11:44 529K
[ ]whats_decidable_about_hybrid_automata.ps09-Sep-2004 11:44 590K
[TXT]you_assume_we_guarantee.html23-Nov-2008 22:01 1.8K
[ ]you_assume_we_guarantee.pdf09-Sep-2004 11:44 195K
[ ]you_assume_we_guarantee.ps09-Sep-2004 11:44 165K
Apache/2.2.8 (Ubuntu) PHP/5.2.4-2ubuntu5.10 with Suhosin-Patch Server at mtcserver.epfl.ch Port 80