Search results for "parameter synthesis"

Found 17 publication records. Showing 17 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Shinya Umeno	Machine-Assisted Parameter Synthesis of the Biphase Mark Protocol Using Event Order Abstraction.	FORMATS	2009	DBLP DOI BibTeX RDF
2	Alexandre Donzé, Bruce H. Krogh, Akshay Rajhans	Parameter Synthesis for Hybrid Systems with an Application to Simulink Models.	HSCC	2009	DBLP DOI BibTeX RDF
2	Alexandre Donzé, Gilles Clermont, Axel Legay, Christopher James Langmead	Parameter Synthesis in Nonlinear Dynamical Systems: Application to Systems Biology.	RECOMB	2009	DBLP DOI BibTeX RDF	Acute Illness, Verification, Uncertainty, Systems Biology, Nonlinear Dynamical Systems
2	Gerd Behrmann, Kim Guldstrand Larsen, Jacob Illum Rasmussen	Beyond Liveness: Efficient Parameter Synthesis for Time Bounded Liveness.	FORMATS	2005	DBLP DOI BibTeX RDF
1	Jiri Barnat, Lubos Brim, Adam Krejci, Adam Streck, David Safránek, Martin Vejnar, Tomas Vejpustek	On Parameter Synthesis by Parallel Model Checking.	IEEE/ACM Trans. Comput. Biology Bioinform.	2012	DBLP DOI BibTeX RDF
1	Alexandre Donzé	Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems.	CAV	2010	DBLP DOI BibTeX RDF
1	Swarat Chaudhuri, Armando Solar-Lezama	Smooth interpretation.	PLDI	2010	DBLP DOI BibTeX RDF	parameter synthesis, program smoothing, continuity
1	Chaiwat Sathawornwichit, Toshiaki Aoki, Takuya Katayama	Modeling of Real-Time System Designs for Parametric Analysis.	RTCSA	2010	DBLP DOI BibTeX RDF	time parameter, parameter synthesis, schedulability, modeling, model checking, model composition, parametric analysis, real-time system design
1	Chen Gao, Hugh H. T. Liu, Ping Zhang	Nonlinear extension study for analytical multi-objective control design.	EIT	2009	DBLP DOI BibTeX RDF
1	Tingting Han, Joost-Pieter Katoen, Alexandru Mereacre	Approximate Parameter Synthesis for Probabilistic Time-Bounded Reachability.	IEEE Real-Time Systems Symposium	2008	DBLP DOI BibTeX RDF
1	Boyan Yordanov, Calin Belta	Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications.	HSCC	2008	DBLP DOI BibTeX RDF	Formal Verification, Piecewise Affine Systems
1	Goran Frehse, Sumit Kumar Jha, Bruce H. Krogh	A Counterexample-Guided Approach to Parameter Synthesis for Linear Hybrid Automata.	HSCC	2008	DBLP DOI BibTeX RDF
1	Jaakko Järvi, Mat Marcus, Sean Parent, John Freeman, Jacob N. Smith	Property models: from incidental algorithms to reusable components.	GPCE	2008	DBLP DOI BibTeX RDF	user interfaces, software reuse, component software, declarative specifications, constraint systems
1	Min-Ho Kyung, Elisha Sacks	Robust parameter synthesis for planar higher pair mechanical systems.	Computer-Aided Design	2006	DBLP DOI BibTeX RDF
1	Min-Ho Kyung, Elisha Sacks	Parameter synthesis of higher kinematic pairs.	Computer-Aided Design	2003	DBLP DOI BibTeX RDF
1	Mariëlle Stoelinga	Fun with FireWire: A Comparative Study of Formal Verification Methods Applied to the IEEE 1394 Root Contention Protocol.	Formal Asp. Comput.	2003	DBLP DOI BibTeX RDF	Applied formal methods, Leader election algorithms, Parameter synthesis, Real time, Network protocols, Probabilistic algorithms, IEEE standards
1	Véronique Bruyère, Jean-François Raskin	Real-Time Model-Checking: Parameters Everywhere.	FSTTCS	2003	DBLP DOI BibTeX RDF