Search results for "Model extraction"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Bing Li, Christoph Knoth, Walter Schneider, Manuel Schmidt, Ulf Schlichtmann	Static Timing Model Extraction for Combinational Circuits.	PATMOS	2008	DBLP DOI BibTeX RDF
2	Lucio Mauro Duarte, Jeff Kramer, Sebastián Uchitel	Towards Faithful Model Extraction Based on Contexts.	FASE	2008	DBLP DOI BibTeX RDF
2	Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino	Model Extraction for ARINC 653 Based Avionics Software.	SPIN	2007	DBLP DOI BibTeX RDF	apex, Real Time, software model checking, avionics, Model extraction
2	Lucio Mauro Duarte, Jeff Kramer, Sebastián Uchitel	Model Extraction Using Context Information.	MoDELS	2006	DBLP DOI BibTeX RDF
2	Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino	Abstract Matching for Software Model Checking.	SPIN	2006	DBLP DOI BibTeX RDF	Static Analysis, State Explosion, Model Extraction
2	Marc Chaumont, Brice Beaumesnil	Robust and real-time 3D-face model extraction.	ICIP	2005	DBLP DOI BibTeX RDF
2	Thierry Bodhuin, Maria Tortorella	A Tool for Static and Dynamic Model Extraction and Impact Analysis.	CSMR	2005	DBLP DOI BibTeX RDF
2	João M. S. Silva, L. Miguel Silveira	Issues in parallelizing multigrid-based substrate model extraction and analysis.	SBCCI	2004	DBLP DOI BibTeX RDF	grid computing, multigrid, substrate coupling
2	Leon Moonen	Generating Robust Parsers Using Island Grammars. (PDF / PS)	WCRE	2001	DBLP DOI BibTeX RDF	Island grammars, source model extraction, fuzzy parsing, reverse engineering, program analysis, parser generation, partial parsing
2	Clark F. Olson	A General Method for Feature Matching and Model Extraction.	Workshop on Vision Algorithms	1999	DBLP DOI BibTeX RDF
1	M. Mar Gallardo, Christophe Joubert, Pedro Merino, David Sanán	A model-extraction approach to verifying concurrent C programs with CADP.	Sci. Comput. Program.	2012	DBLP DOI BibTeX RDF
1	Yang Xu, Bing Li, Ralph Hasholzner, Bernhard Rohfleisch, Christian Haubelt, Jürgen Teich	Variation-aware leakage power model extraction for system-level hierarchical power analysis.	DATE	2012	DBLP BibTeX RDF
1	Tsung-Chih Lin, Ming-Jen Kuo, Alexandre Boyer	Integrated Circuit Emission Model Extraction with a Fuzzy Logic System.	IJFSA	2011	DBLP DOI BibTeX RDF
1	Naeem Khalid Janjua, Farookh Khadeer Hussain	Rule-Based Business Policies Specification, Reasoning and Integration for Business Process Model Extraction.	BWCCA	2011	DBLP DOI BibTeX RDF
1	Bingcai Zhang, William Smith	3D city site model extraction through point cloud generated from stereo images.	COM.Geo	2011	DBLP DOI BibTeX RDF
1	Haiyang Yu, Xiaoping Lu, Xiaosan Ge, Gang Cheng	Digital terrain model extraction from airborne LiDAR data in complex mining area.	Geoinformatics	2010	DBLP DOI BibTeX RDF
1	Julie Digne, Jean-Michel Morel, Charyar-Mehdi Souzani, Claire Lartigue	Mesh Segmentation and Model Extraction.	Curves and Surfaces	2010	DBLP DOI BibTeX RDF
1	Rajiv Ranjan Suman, Rajib Mall	State model extraction of a software component by observing its behavior.	ACM SIGSOFT Software Engineering Notes	2009	DBLP DOI BibTeX RDF	reverse engineering, software component, FSM, state model
1	Christian Wagner, Tiziana Margaria, Hans-Georg Pagendarm	Analysis and Code Model Extraction for C/C++ Source Code.	ICECCS	2009	DBLP DOI BibTeX RDF
1	Florent Ouchet, Dominique Borrione, Katell Morin-Allory, Laurence Pierre	High-level symbolic simulation for automatic model extraction.	DDECS	2009	DBLP DOI BibTeX RDF
1	Bing Li, Ning Chen, Ulf Schlichtmann	Timing model extraction for sequential circuits considering process variations.	ICCAD	2009	DBLP BibTeX RDF
1	Lech Szumilas, Horst Wildenauer, Allan Hanbury	Invariant Shape Matching for Detection of Semi-local Image Structures.	ICIAR	2009	DBLP DOI BibTeX RDF	model extraction, Shape features, image descriptor
1	Jacob White	Design tools for emerging technologies.	ACM Great Lakes Symposium on VLSI	2009	DBLP DOI BibTeX RDF	glsvlsi 2009 invited talk
1	Javier Luis Cánovas Izquierdo, Jesús García Molina	A Domain Specific Language for Extracting Models in Software Modernization.	ECMDA-FA	2009	DBLP DOI BibTeX RDF
1	Luis Pinto, Tarmo Uustalu	Proof Search and Counter-Model Construction for Bi-intuitionistic Propositional Logic with Labelled Sequents.	TABLEAUX	2009	DBLP DOI BibTeX RDF
1	Peng Zhao, Sikun Li, Dawei Wang, Ming Yan	Application-driven System-on-Chip system model extraction approach.	CSCWD	2008	DBLP DOI BibTeX RDF
1	Christopher Thomas, Pankaj Mehra, Roger Brooks, Amit P. Sheth	Growing Fields of Interest - Using an Expand and Reduce Strategy for Domain Model Extraction.	Web Intelligence	2008	DBLP DOI BibTeX RDF
1	Paolo Tonella, Filippo Ricca	Dynamic model extraction and statistical analysis of Web applications: Follow-up after 6 years.	WSE	2008	DBLP DOI BibTeX RDF
1	María-del-Mar Gallardo, Pedro Merino, David Sanán	Model Checking C Programs with Dynamic Memory Allocation.	COMPSAC	2008	DBLP DOI BibTeX RDF	software model checking, pointers, dynamic memory, Model extraction
1	Farhang Nemati, Johan Kraft, Christer Norström	Validation of Temporal Simulation Models of Complex Real-Time Systems.	COMPSAC	2008	DBLP DOI BibTeX RDF	Legacy Systems, Impact Analysis, Model Validation, Model Extraction
1	Youngsik Kim, Nazanin Mansouri	Automated formal verification of scheduling with speculative code motions.	ACM Great Lakes Symposium on VLSI	2008	DBLP DOI BibTeX RDF	formal verification, high level synthesis, automated theorem-proving, speculation
1	Sarvani S. Vakkalanka, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby	Scheduling considerations for building dynamic verification tools for MPI.	PADTAD	2008	DBLP DOI BibTeX RDF	model checking, MPI, message passing, distributed programming, partial order reduction, dynamic verification
1	Stamatia Bibi, Ioannis Stamelos, George Gerolimos, Vangelis Kollias	A BBN Based Approach for Improving a Telecommunication Software Estimation Process.	Panhellenic Conference on Informatics	2008	DBLP DOI BibTeX RDF
1	Johannes Kinder, Helmut Veith	Jakstab: A Static Analysis Platform for Binaries.	CAV	2008	DBLP DOI BibTeX RDF
1	Sarvani S. Vakkalanka, Ganesh Gopalakrishnan, Robert M. Kirby	Dynamic Verification of MPI Programs with Reductions in Presence of Split Operations and Relaxed Orderings.	CAV	2008	DBLP DOI BibTeX RDF
1	Christian Setzkorn	Classification and Survival Analysis Using Multi-objective Evolutionary Algorithms.	Multi-Objective Evolutionary Algorithms for Knowledge Discovery from Databases	2008	DBLP DOI BibTeX RDF
1	João M. S. Silva, L. Miguel Silveira	Substrate model extraction using finite differences and parallel multigrid.	Integration	2007	DBLP DOI BibTeX RDF
1	Chia-Pin R. Liu	Gate Model Extraction from CMOS Transistor Circuits.	CAINE	2007	DBLP BibTeX RDF
1	Wei Dong, Zhuo Feng, Peng Li	Efficient VCO phase macromodel generation considering statistical parametric variations.	ICCAD	2007	DBLP DOI BibTeX RDF
1	Sabina Petride, Riccardo Pucella	Perfect cryptography, S5 knowledge, and algorithmic knowledge.	TARK	2007	DBLP DOI BibTeX RDF
1	Joel Huselius, Johan Kraft, Hans Hansson, Sasikumar Punnekkat	Evaluating the Quality of Models Extracted from Embedded Real-Time Software.	ECBS	2007	DBLP DOI BibTeX RDF
1	Ganesh Gopalakrishnan, Robert M. Kirby	Formal Analysis for Debugging and Performance Optimization of MPI.	IPDPS	2007	DBLP DOI BibTeX RDF
1	Danilo Ravotto, Edgar E. Sánchez, Massimiliano Schillaci, Matteo Sonza Reorda, Giovanni Squillero	On Automatic Test Block Generation for Peripheral Testing in SoCs via Dynamic FSMs Extraction.	MTV	2007	DBLP DOI BibTeX RDF
1	Robert Palmer, Michael Delisi, Ganesh Gopalakrishnan, Robert M. Kirby	An Approach to Formalization and Analysis of Message Passing Libraries.	FMICS	2007	DBLP DOI BibTeX RDF
1	Dan R. Ghica, Andrzej S. Murawski	Compositional Model Extraction for Higher-Order Concurrent Programs.	TACAS	2006	DBLP DOI BibTeX RDF
1	Rui Correia, Carlos M. P. Matos, Mohammad El-Ramly, Reiko Heckel	Rule-based Model Extraction from Source Code.	Aspects For Legacy Applications	2006	DBLP BibTeX RDF
1	André Mai, Stefan Gerber	Model Extraction: Transformation von Benutzeranforderungen in UMLModelle mit Hilfe statistisch-linguistischer Methoden und Heuristiken.	GI Jahrestagung	2006	DBLP BibTeX RDF
1	Atef Shamim, P. Popplewell, V. Karam, L. Roy, John W. M. Rogers, Calvin Plett	Silicon Differential Antenna/Inductor for Short Range Wireless Communication Applications.	CCECE	2006	DBLP DOI BibTeX RDF
1	Johan Andersson, Joel Huselius, Christer Norström, Anders Wall	Extracting Simulation Models from Complex Embedded Real-Time Systems.	ICSEA	2006	DBLP DOI BibTeX RDF
1	Dmitry Vasilyev, Jacob K. White	A more reliable reduction algorithm for behavioral model extraction.	ICCAD	2005	DBLP BibTeX RDF
1	Jeremy Chan, Sri Parameswaran	NoCEE: energy macro-model extraction methodology for network on chip routers.	ICCAD	2005	DBLP BibTeX RDF
1	Gustaf Naeser, Lars Asplund, Johan Furunäs	SafetyChip: a time monitoring and policing device.	SIGAda	2005	DBLP DOI BibTeX RDF	FPGA, kernel, hardware monitoring
1	Gustaf Naeser, Kristina Lundqvist, Lars Asplund	Temporal skeletons for verifying time.	SIGAda	2005	DBLP DOI BibTeX RDF	verification, ada, formal notation
1	Tauseef A. Israr, Danny H. Lau, Greg Franks, C. Murray Woodside	Automatic generation of layered queuing software performance models from commonly available traces.	WOSP	2005	DBLP DOI BibTeX RDF	layered queuing, tracing performance modeling, software performance, model building, performance engineering
1	Yung-Pin Cheng	Crafting a Promela Front-End with Abstract Data Types to Mitigate the Sensitivity of (Compositional) Analysis to Implementation Choices.	SPIN	2005	DBLP DOI BibTeX RDF
1	Rattikorn Hewett	Model extraction for fault isolation.	SMC	2004	DBLP DOI BibTeX RDF
1	Chang Hu, Li Cao	A System Identification Method Based on Multi-layer Perception and Model Extraction.	ISNN	2004	DBLP DOI BibTeX RDF
1	João M. S. Silva, Luis Miguel Silveira	Multigrid-based substrate coupling model extraction.	ISCAS	2004	DBLP BibTeX RDF
1	Andri Riid, Ennu Rüstern	Neuro-fuzzy extraction of interpretable fuzzy rules from data.	SMC	2004	DBLP DOI BibTeX RDF
1	David J. Walkey, Tom J. Smy, Dritan Celo, Tom W. MacElwee, Michael C. Maliepaard	Compact, netlist-based representation of thermal transient coupling using controlled sources.	IEEE Trans. on CAD of Integrated Circuits and Systems	2004	DBLP DOI BibTeX RDF
1	Taeik Kim, Xiaoyong Li, David J. Allstot	Accurate compact model extraction for on-chip coplanar waveguides.	ISCAS	2003	DBLP DOI BibTeX RDF
1	Dmitry Vasilyev, Michal Rewienski, Jacob White	A TBR-based trajectory piecewise-linear algorithm for generating accurate low-order models for nonlinear analog circuits and MEMS.	DAC	2003	DBLP DOI BibTeX RDF	truncated balanced realization, nonlinear systems, model order reduction
1	Dominique Borrione, Menouer Boubekeur, Emil Dumitrescu, Marc Renaudin, Jean-Baptiste Rigaud, Antoine Sirianni	An Approach to the Introduction of Formal Validation in an Asynchronous Circuit Design Flow. (PDF / PS)	HICSS	2003	DBLP DOI BibTeX RDF
1	Piet Vanassche, Georges G. E. Gielen, Willy M. C. Sansen	Behavioral modeling of (coupled) harmonic oscillators.	IEEE Trans. on CAD of Integrated Circuits and Systems	2003	DBLP DOI BibTeX RDF
1	Chung J. Kuo, Tsang-Gang Lin, Ruey-Song Huang, Souheil F. Odeh	Facial model estimation from stereo/mono image sequence.	IEEE Transactions on Multimedia	2003	DBLP DOI BibTeX RDF
1	Patrick Lam, Martin C. Rinard	A Type System and Analysis for the Automatic Extraction and Enforcement of Design Information.	ECOOP	2003	DBLP DOI BibTeX RDF
1	Gerard J. Holzmann, Margaret H. Smith	An Automated Verification Method for Distributed Systems Software Based on Model Extraction.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	call processing, model checking, formal methods, software testing, case studies, reactive systems, software verification, feature interaction
1	Cho W. Moon, Harish Kriplani, Krishna P. Belkhale	Timing model extraction of hierarchical blocks by graph reduction.	DAC	2002	DBLP DOI BibTeX RDF
1	Paolo Tonella, Filippo Ricca	Dynamic Model Extraction and Statistical Analysis of Web Applications.	WSE	2002	DBLP DOI BibTeX RDF
1	Adil Koukab, Catherine Dehollain, Michel J. Declercq	HSpeedEx: a high-speed extractor for substrate noise analysis in complex mixed signal SOC.	DAC	2002	DBLP DOI BibTeX RDF	mixed-signal noise, supply noise, noise, numerical analysis, boundary-element-method, substrate noise, switching circuits, substrate coupling
1	Celso Setsuo Kurashima, Ruigang Yang, Anselmo Lastra	Combining Approximate Geometry with View-Dependent Texture Mapping - A Hybrid Approach to 3D Video Teleconferencing. (PDF / PS)	SIBGRAPI	2002	DBLP DOI BibTeX RDF
1	Martin Pinzger, Michael Fischer, Harald Gall, Mehdi Jazayeri	Revealer: A Lexical Pattern Matcher for Architecture Recovery. (PDF / PS)	WCRE	2002	DBLP DOI BibTeX RDF
1	Rajeev Alur, Michael McDougall, Zijiang Yang	Exploiting Behavioral Hierarchy for Efficient Model Checking.	CAV	2002	DBLP DOI BibTeX RDF
1	Alexandre R. J. François, Gérard G. Medioni	Interactive 3D model extraction from a single image.	Image Vision Comput.	2001	DBLP DOI BibTeX RDF
1	Clark F. Olson	A General Method for Geometric Feature Matching and Model Extraction.	International Journal of Computer Vision	2001	DBLP DOI BibTeX RDF
1	Klaus Havelund, Michael R. Lowry, John Penix	Formal Analysis of a Space-Craft Controller Using SPIN.	IEEE Trans. Software Eng.	2001	DBLP DOI BibTeX RDF	space-craft software, model checking, temporal logic, Program verification, concurrent programs, program abstraction, model extraction
1	Gerard J. Holzmann	From Code to Models.	ACSD	2001	DBLP DOI BibTeX RDF
1	James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng	Bandera: extracting finite-state models from Java source code.	ICSE	2000	DBLP DOI BibTeX RDF	Java, model checking, abstract interpretation, program verification, slicing, program specialization, model extraction
1	James C. Corbett	Using shape analysis to reduce finite-state models of concurrent Java programs.	ACM Trans. Softw. Eng. Methodol.	2000	DBLP DOI BibTeX RDF	Java, modeling, shape analysis, concurrent systems, state-space reductions, finite-state verification, model extraction
1	Franco Oberti, Carlo S. Regazzoni	Adaptive Tracking of Multiple Non Rigid Objects in Cluttered Scenes.	ICPR	2000	DBLP DOI BibTeX RDF
1	Seiji Hata, Daisuke Torigoe, Shuxiang Guo, Kohichi Sugimoto	Multi-Directional Camera 3-D Vision System for Micro-Operation.	ICPR	2000	DBLP DOI BibTeX RDF
1	Jyrki Lötjönen, Pierre-Jean Reissman, Isabelle E. Magnin, Toivo Katila	Model extraction from magnetic resonance volume data using the deformable pyramid.	Medical Image Analysis	1999	DBLP DOI BibTeX RDF
1	Michael T. Chan	Automatic Lip Model Extraction for Constrained Contour-Based Tracking.	ICIP	1999	DBLP BibTeX RDF
1	Tomás Brodský, Cornelia Fermüller, Yiannis Aloimonos	Shape from Video. (PDF / PS)	CVPR	1999	DBLP DOI BibTeX RDF	vision and graphics, epipolar minimization, motion analysis, model extraction
1	Fosca Giannotti, Giuseppe Manco, Dino Pedreschi, Franco Turini	Experiences with a Logic-Based Knowledge Discovery Support Environment.	AI*IA	1999	DBLP DOI BibTeX RDF
1	James C. Corbett	Constructing Compact Models of Concurrent Java Programs.	ISSTA	1998	DBLP DOI BibTeX RDF	Java, static analysis, finite-state verification, model extraction
1	Frank W. Angelotti	Generating interconnect models from prototype hardware.	ITC	1998	DBLP DOI BibTeX RDF
1	Paolo Gamba, M. Lilla, Alessandro Mecocci	A Fast Algorithm for Target Shadow Removal in Monocular Colour Sequences. (PDF / PS)	ICIP	1997	DBLP DOI BibTeX RDF	target shadow removal, monocular colour sequences, shadow model extraction, colour components, luminosity, diurnal scene, global bitmap model, strip bitmap model, shadow regions, target sampling, image sequences, image classification, image classification, identification, fast algorithm, motion parameters, saturation, image pixel, hue
1	Gail C. Murphy, David Notkin	Lightweight Lexical Source Model Extraction.	ACM Trans. Softw. Eng. Methodol.	1996	DBLP DOI BibTeX RDF	scanner generation, source model, reverse engineering, static analysis, software maintenance, scanning, source code analysis, lexical analysis, lexing
1	Gail C. Murphy, David Notkin	Lightweight Source Model Extraction.	SIGSOFT FSE	1995	DBLP DOI BibTeX RDF
1	Jeong-Kee Kim, Chan-Eung Park, Kwae-Hi Lee	Automatic Digital Elevation Model Extraction Using SPOT Satellite Image.	MVA	1992	DBLP BibTeX RDF
1	Kenneth M. Dawson, David Vernon	3-D Object Recognition using Passively Sensed Range Data.	ECCV	1992	DBLP DOI BibTeX RDF