Search results for "abstraction"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
11	Bahar Akbal-Delibas, Pruet Boonma, Junichi Suzuki	Extensible and Precise Modeling for Wireless Sensor Networks.	UNISCON	2009	DBLP DOI BibTeX RDF
11	Jonas Schrieb, Heike Wehrheim, Daniel Wonisch	Three-Valued Spotlight Abstractions.	FM	2009	DBLP DOI BibTeX RDF
11	Mar Yah Said, Michael J. Butler, Colin F. Snook	Language and Tool Support for Class and State Machine Refinement in UML-B.	FM	2009	DBLP DOI BibTeX RDF	UML, Formal specification, Refinement, Event-B, Visual modelling languages
11	Amal Ahmed 0001, Derek Dreyer, Andreas Rossberg	State-dependent representation independence.	POPL	2009	DBLP DOI BibTeX RDF	local state, representation independence, abstract data types, existential types, step-indexed logical relations
11	Ansgar Fehnker, Ralf Huuck, Sean Seefried	Incremental False Path Elimination for Static Software Analysis.	ATVA	2009	DBLP DOI BibTeX RDF
11	Saman Cooray, Hervé Bredin, Li-Qun Xu, Noel E. O'Connor	An interactive and multi-level framework for summarising user generated videos.	ACM Multimedia	2009	DBLP DOI BibTeX RDF	camera motion estimation, shot-cut detection, video summarisation, interactivity, ugvs
11	Georg Neis, Derek Dreyer, Andreas Rossberg	Non-parametric parametricity.	ICFP	2009	DBLP DOI BibTeX RDF	intensional type analysis, representation independence, type-safe cast, parametricity, step-indexed logical relations
11	Michael Huth 0001, Nir Piterman, Daniel Wagner 0002	Three-Valued Abstractions of Markov Chains: Completeness for a Sizeable Fragment of PCTL.	FCT	2009	DBLP DOI BibTeX RDF
11	Marwan Abi-Antoun, Jonathan Aldrich	Static extraction of sound hierarchical runtime object graphs.	TLDI	2009	DBLP DOI BibTeX RDF	architectural extraction, ownership domains, object graphs, runtime architecture
11	Giovanni Beltrame, Cristiana Bolchini, Antonio Miele	Multi-level fault modeling for transaction-level specifications.	ACM Great Lakes Symposium on VLSI	2009	DBLP DOI BibTeX RDF	fault modeling, soft error, system-level design, tlm
11	Kenneth L. McMillan, Lenore D. Zuck	Abstract Counterexamples for Non-disjunctive Abstractions.	RP	2009	DBLP DOI BibTeX RDF
11	Carlo Ghezzi, Andrea Mocci, Mattia Monga	Synthesizing intensional behavior models by graph transformation.	ICSE	2009	DBLP DOI BibTeX RDF
11	Patrice Godefroid, Nir Piterman	LTL Generalized Model Checking Revisited.	VMCAI	2009	DBLP DOI BibTeX RDF
11	Daniel Frampton, Stephen M. Blackburn, Perry Cheng, Robin Garner, David Grove, J. Eliot B. Moss, Sergey I. Salishev	Demystifying magic: high-level low-level programming.	VEE	2009	DBLP DOI BibTeX RDF	intrinsics, jikes rvm, mmtk, vmmagic, debugging, virtualization, magic, systems programming
11	Deepak Mathaikutty, Sreekumar V. Kodakara, Ajit Dingankar, Sandeep K. Shukla, David J. Lilja	MMV: A Metamodeling Based Microprocessor Validation Environment.	IEEE Trans. Very Large Scale Integr. Syst.	2008	DBLP DOI BibTeX RDF
11	Gunar Schirner, Rainer Dömer	Quantitative analysis of the speed/accuracy trade-off in transaction level modeling.	ACM Trans. Embed. Comput. Syst.	2008	DBLP DOI BibTeX RDF	system-on-chip, System level design, transaction level modeling
11	Kais Klai, Denis Poitrenaud	MC-SOG: An LTL Model Checker Based on Symbolic Observation Graphs.	Petri Nets	2008	DBLP DOI BibTeX RDF
11	Alain Faivre, Christophe Gaston, Pascale Le Gall, Assia Touil	Test Purpose Concretization through Symbolic Action Refinement.	TestCom/FATES	2008	DBLP DOI BibTeX RDF	Symbolic Conformance Testing, Test Purpose Concretisation, Model Based Testing, Action Refinement, Test Purpose
11	Rafael Manhaes Monnerat, Rogério Atem de Carvalho, Renato de Campos	Enterprise systems modeling: the ERP5 development process.	SAC	2008	DBLP DOI BibTeX RDF	GERAM, enterprise informaton systems, ERP
11	Francien Dechesne, Simona Orzan, Yanjing Wang 0001	Refinement of Kripke Models for Dynamics.	ICTAC	2008	DBLP DOI BibTeX RDF
11	Alessandro Abate, Alessandro D'Innocenzo, Maria Domenica Di Benedetto, Shankar Sastry 0001	Markov Set-Chains as Abstractions of Stochastic Hybrid Systems.	HSCC	2008	DBLP DOI BibTeX RDF
11	Alessandro D'Innocenzo, Alessandro Abate, Maria Domenica Di Benedetto	Approximate abstractions of discrete-time controlled stochastic hybrid systems.	CDC	2008	DBLP DOI BibTeX RDF
11	Kyle B. Wheeler, Richard C. Murphy, Douglas Thain	Qthreads: An API for programming with millions of lightweight threads.	IPDPS	2008	DBLP DOI BibTeX RDF
11	Raymond Hu, Nobuko Yoshida, Kohei Honda 0001	Session-Based Distributed Programming in Java.	ECOOP	2008	DBLP DOI BibTeX RDF
11	María Alpuente, Pedro Ojeda, Daniel Romero 0001, Demis Ballis, Moreno Falaschi	An Abstract Generic Framework for Web Site Verification.	SAINT	2008	DBLP DOI BibTeX RDF	Abstrac interpretation, web verification, rewriting
11	Markus Hillenbrand, Joachim Götze, Paul Müller 0001	Contract-first service development within the Venice service grid.	iiWAS	2008	DBLP DOI BibTeX RDF	contract-first, web service development, SOA
11	Lesley Shannon, Paul Chow	SIMPPL: An Adaptable SoC Framework Using a Programmable Controller IP Interface to Facilitate Design Reuse.	IEEE Trans. Very Large Scale Integr. Syst.	2007	DBLP DOI BibTeX RDF
11	John Derrick, Heike Wehrheim	On using data abstractions for model checking refinements.	Acta Informatica	2007	DBLP DOI BibTeX RDF
11	Dick A. C. Quartel, Maarten W. A. Steen, Stanislav Pokraev, Marten van Sinderen	COSMO: A conceptual framework for service modelling and refinement.	Inf. Syst. Frontiers	2007	DBLP DOI BibTeX RDF	Service concept, Service refinement, Service-orientation, Interaction modelling, Service modelling
11	Kevin Feeney, David Lewis 0001, Vincent Wade	Roles Considered Harmful in Policy-based Management for Dynamic Organisations.	Integrated Network Management	2007	DBLP DOI BibTeX RDF
11	Michael Backes 0001, Agostino Cortesi, Riccardo Focardi, Matteo Maffei	A calculus of challenges and responses.	FMSE	2007	DBLP DOI BibTeX RDF	static analysis, authentication protocols, process calculi
11	Gaurav Singh 0006, Sandeep K. Shukla	Model Checking Bluespec Specified Hardware Designs.	MTV	2007	DBLP DOI BibTeX RDF
11	César A. M. Marcon, Sergio Johann Filho, Fabiano Hessel	A VHDL based approach for fast and accurate energy consumption estimations.	VLSI-SoC	2007	DBLP DOI BibTeX RDF
11	Nathan Michael, Jonathan Fink, Vijay Kumar 0001	Controlling a team of ground robots via an aerial robot.	IROS	2007	DBLP DOI BibTeX RDF
11	Daniel Kroening, Natasha Sharygina	Interactive presentation: Image computation and predicate refinement for RTL verilog using word level proofs.	DATE	2007	DBLP DOI BibTeX RDF
11	Joseph C. Libby, Kenneth B. Kent	An Embedded Implementation of the Microsoft Common Language Infrastructure.	DSD	2007	DBLP DOI BibTeX RDF
11	Mohamed Nassim Seghir, Andreas Podelski	ACSAR: Software Model Checking with Transfinite Refinement.	SPIN	2007	DBLP DOI BibTeX RDF
11	Gang Zhou, Man-Kit Leung, Edward A. Lee	A Code Generation Framework for Actor-Oriented Models with Partial Evaluation.	ICESS	2007	DBLP DOI BibTeX RDF
11	Helmut Seidl, Andrea Flexeder, Michael Petter	Interprocedurally Analysing Linear Inequality Relations.	ESOP	2007	DBLP DOI BibTeX RDF
11	Emilena Specht, Ricardo Miotto Redin, Luigi Carro, Luís da Cunha Lamb, Érika F. Cota, Flávio Rech Wagner	Analysis of the use of declarative languages for enhanced embedded system software development.	SBCCI	2007	DBLP DOI BibTeX RDF	embedded software, modeling languages, system level modeling, system level synthesis
11	Jan Olaf Blech, Ina Schaefer, Arnd Poetzsch-Heffter	Translation Validation of System Abstractions.	RV	2007	DBLP DOI BibTeX RDF
11	Vijay D'Silva, Sampada Sonalkar, S. Ramesh	Existential abstractions for distributed reactive systems via syntactic transformations.	EMSOFT	2007	DBLP DOI BibTeX RDF
11	Dieter Zöbel, Christian Weyand	Augmenting sensitivity analysis for embedded applications by program level derivation of process parameters.	SIES	2007	DBLP DOI BibTeX RDF
11	Fernando Losilla 0001, Cristina Vicente-Chicote, Bárbara Álvarez, Andrés Iborra, Pedro Sánchez	Wireless Sensor Network Application Development: An Architecture-Centric MDE Approach.	ECSA	2007	DBLP DOI BibTeX RDF	Eclipse platform, wireless sensor networks, domain specific languages, Model-driven engineering, component-based software architecture
11	Tien N. Nguyen	Multi-level Architectural Evolution Management.	HICSS	2007	DBLP DOI BibTeX RDF
11	Philipp Haller, Martin Odersky	Actors That Unify Threads and Events.	COORDINATION	2007	DBLP DOI BibTeX RDF
11	Se-Hoon Kim, Kie-Sung Oh, Hyung-Il Choi	Off-Line Verification System of the Handwrite Signature or Text, Using a Dynamic Programming.	ICCSA (1)	2007	DBLP DOI BibTeX RDF	Verification, Dynamic Programming, Signature, Handwrite, Mahalanobis Distance, DTW, Off-line
11	Sreekumar V. Kodakara, Deepak Mathaikutty, Ajit Dingankar, Sandeep K. Shukla, David J. Lilja	Model Based Test Generation for Microprocessor Architecture Validation.	VLSI Design	2007	DBLP DOI BibTeX RDF
11	Susmit Jha, Bryan A. Brady, Sanjit A. Seshia	Symbolic Reachability Analysis of Lazy Linear Hybrid Automata.	FORMATS	2007	DBLP DOI BibTeX RDF
11	Daniel A. Sadilek	Energy-aware compilation for wireless sensor networks.	MidSens	2007	DBLP DOI BibTeX RDF	wireless sensor networks, compilation, virtual machines, high-level languages, energy-awareness, network reprogramming
11	Chung-Fu Kao, Ing-Jer Huang, Chi-Hung Lin	An Embedded Multi-resolution AMBA Trace Analyzer for Microprocessor-based SoC Integration.	DAC	2007	DBLP DOI BibTeX RDF
11	Jean-Pierre Talpin, Paul Le Guernic	An algebraic theory for behavioral modeling and protocol synthesis in system design.	Formal Methods Syst. Des.	2006	DBLP DOI BibTeX RDF	GALS design, Process algebra, Synchrony, Compositional modeling
11	Hao Zheng 0001, Chris J. Myers, David Walter, Scott Little, Tomohiro Yoneda	Verification of timed circuits with failure-directed abstractions.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2006	DBLP DOI BibTeX RDF
11	Ewout Martens, Georges G. E. Gielen	Analyzing continuous-time Delta-Sigma-Modulators with generic behavioral models.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2006	DBLP DOI BibTeX RDF
11	John F. Sowa	Worlds, Models and Descriptions.	Stud Logica	2006	DBLP DOI BibTeX RDF	Dunn’s semantics, model sets, meaning-preserving translation, semiotics, laws, model theory, possible worlds, intentionality
11	Alvise Bonivento, Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli	Platform based design for wireless sensor networks.	Mob. Networks Appl.	2006	DBLP DOI BibTeX RDF	Sensor networks, Design automation, Platform based design
11	Nikola Bogunovic, Edgar Pek	Model Checking Procedures for Infinite State Systems.	ECBS	2006	DBLP DOI BibTeX RDF
11	Gaurav Mathur, Peter Desnoyers, Deepak Ganesan, Prashant J. Shenoy	Capsule: an energy-optimized object storage system for memory-constrained sensor devices.	SenSys	2006	DBLP DOI BibTeX RDF	sensor network, embedded systems, energy efficiency, file system, objects, flash memory, storage system
11	Esperanza Marcos, César J. Acuña, Carlos E. Cuesta	Integrating Software Architecture into a MDA Framework.	EWSA	2006	DBLP DOI BibTeX RDF	Model Architecture, Architecture-Centric Design, ACMDD, Model-Driven Architecture, MDD, Architectural Model
11	Gunar Schirner, Rainer Dömer	Quantitative analysis of transaction level models for the AMBA bus.	DATE	2006	DBLP DOI BibTeX RDF
11	Harald Fecher, Martin Leucker, Verena Wolf	Don't Know in Probabilistic Systems.	SPIN	2006	DBLP DOI BibTeX RDF
11	Ondrej Lhoták, Laurie J. Hendren	Context-Sensitive Points-to Analysis: Is It Worth It?.	CC	2006	DBLP DOI BibTeX RDF
11	Bartosz Balis, Hong Linh Truong 0001, Marian Bubak, Thomas Fahringer, Krzysztof Guzy, Kuba Rozkwitalski	An Instrumentation Infrastructure for Grid Workflow Applications.	OTM Conferences (2)	2006	DBLP DOI BibTeX RDF	grid, monitoring, instrumentation, legacy applications
11	Samin Karim, Liz Sonenberg, Ah-Hwee Tan	A Hybrid Architecture Combining Reactive Plan Execution and Reactive Learning.	PRICAI	2006	DBLP DOI BibTeX RDF
11	Maciej Koutny, Giuseppe Pappalardo, Marta Pietkiewicz-Koutny	Towards an Algebra of Abstractions for Communicating Processes.	ACSD	2006	DBLP DOI BibTeX RDF
11	Erik Ernst	Reconciling Virtual Classes with Genericity.	JMLC	2006	DBLP DOI BibTeX RDF
11	Eung Nam Ko	An Access Control Mechanism Based on Situation-Aware Ubiquitous Computing for Seamless Multimedia View Sharing.	ICIC (2)	2006	DBLP DOI BibTeX RDF
11	John H. Reppy	Type-sensitive control-flow analysis.	ML	2006	DBLP DOI BibTeX RDF	ML, control-flow analysis
11	Hyondeuk Kim, Fabio Somenzi	Finite Instantiations for Integer Difference Logic.	FMCAD	2006	DBLP DOI BibTeX RDF
11	Michaël Goffioul, Gerd Vandersteen, Joris Van Driessche, Björn Debaillie, Boris Come	Ensuring consistency during front-end design using an object-oriented interfacing tool called NETLISP.	DAC	2006	DBLP DOI BibTeX RDF	object-oriented design, design flow, front-end, model consistency
11	Dale Miller 0001, Alwen Tiu	A proof theory for generic judgments.	ACM Trans. Comput. Log.	2005	DBLP DOI BibTeX RDF	?-tree syntax, ?-quantifier, generic judgments, reasoning about operational semantics, higher-order abstract syntax, Proof search
11	Anindya Banerjee 0001, David A. Naumann	Ownership confinement ensures representation independence for object-oriented programs.	J. ACM	2005	DBLP DOI BibTeX RDF	Alias control, simulation, data refinement, confinement, relational parametricity
11	Fabian Breg, Constantine D. Polychronopoulos	Computational network federations: a middleware architecture for network-based computing.	IEEE J. Sel. Areas Commun.	2005	DBLP DOI BibTeX RDF
11	Thanyapat Sakunkonchak, Satoshi Komatsu, Masahiro Fujita	Synchronization verification in system-level design with ILP solvers.	MEMOCODE	2005	DBLP DOI BibTeX RDF
11	Gian Maria Greco, Gianluca Paronitti, Matteo Turilli, Luciano Floridi	How to Do Philosophy Informationally.	Wissensmanagement (LNCS Volume)	2005	DBLP DOI BibTeX RDF
11	Andreas Gerstlauer, Dongwan Shin, Rainer Dömer, Daniel D. Gajski	System-level communication modeling for network-on-chip synthesis.	ASP-DAC	2005	DBLP DOI BibTeX RDF
11	Rajagopal Rajugan, Elizabeth Chang 0001, Tharam S. Dillon, Ling Feng	A Three-Layered XML View Model: A Practical Approach.	ER	2005	DBLP DOI BibTeX RDF
11	Klaus Ostermann, Mira Mezini, Christoph Bockisch	Expressive Pointcuts for Increased Modularity.	ECOOP	2005	DBLP DOI BibTeX RDF
11	Ivan Viola, M. Eduard Gröller, Markus Hadwiger, Katja Bühler, Bernhard Preim, Mario Costa Sousa, David S. Ebert, Don Stredney	Illustrative Visualization.	IEEE Visualization	2005	DBLP DOI BibTeX RDF
11	Giovanni Agosta, Francesco Bruschi, Marco D. Santambrogio, Donatella Sciuto	A Data Oriented Approach to the Design of Reconfigurable Stream Decoders.	ESTIMedia	2005	DBLP DOI BibTeX RDF
11	Koushik Niyogi, Diana Marculescu	System level power and performance modeling of GALS point-to-point communication interfaces.	ISLPED	2005	DBLP DOI BibTeX RDF	mixed clock FIFO, pausible clock, power modeling, globally asynchronous locally synchronous
11	Roman Gershman, Ofer Strichman	HaifaSat: A New Robust SAT Solver.	Haifa Verification Conference	2005	DBLP DOI BibTeX RDF
11	Ernst Martin Witte, Anupam Chattopadhyay, Oliver Schliebusch, David Kammler	Applying Resource Sharing Algorithms to ADL-driven Automatic ASIP Implementation.	ICCD	2005	DBLP DOI BibTeX RDF
11	Sudeep Pasricha, Mohamed Ben-Romdhane	Using TLM for Exploring Bus-based SoC Communication Architectures.	ASAP	2005	DBLP DOI BibTeX RDF
11	Dick A. C. Quartel, Remco M. Dijkman, Marten van Sinderen	An approach to relate business and application services using ISDL.	EDOC	2005	DBLP DOI BibTeX RDF
11	Flavio Corradini, Leonardo Mariani, Emanuela Merelli	An agent-based approach to tool integration.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Agent supported tool integration, WfMS (Workflow management system), Data extraction and integration, Bioinformatics tools, MAS (Multiagent systems), Data Management
11	Tim Kogel, Malte Doerper, Torsten Kempf, Andreas Wieferink, Rainer Leupers, Gerd Ascheid, Heinrich Meyr	Virtual Architecture Mapping: A SystemC Based Methodology for Architectural Exploration of System-on-Chip Designs.	SAMOS	2004	DBLP DOI BibTeX RDF
11	Hermann Streich, Oliver Adria	Software Approach for the Autonomous Inspection Robot MAKRO.	ICRA	2004	DBLP DOI BibTeX RDF
11	Dennis Dams, Kedar S. Namjoshi	The Existence of Finite Abstractions for Branching Time Model Checking.	LICS	2004	DBLP DOI BibTeX RDF
11	Samira Sadaoui, Pengzhou Yin	Generalization for component reuse.	ACM Southeast Regional Conference	2004	DBLP DOI BibTeX RDF	generalization, algebraic specifications, reusable component
11	Michael John Pacione, Marc Roper, Murray Wood	A Novel Software Visualisation Model to Support Software Comprehension.	WCRE	2004	DBLP DOI BibTeX RDF
11	Pierre Kelsen	A Simple Static Model for Understanding the Dynamic Behavior of Programs.	IWPC	2004	DBLP DOI BibTeX RDF
11	Tero Rissa, Peter Y. K. Cheung, Wayne Luk	SoftSONIC: A Customisable Modular Platform for Video Applications.	FPL	2004	DBLP DOI BibTeX RDF
11	Marco Eugênio Madeira Di Beneditto, Leliane Nunes de Barros	Using Concept Hierarchies in Knowledge Discovery.	SBIA	2004	DBLP DOI BibTeX RDF
11	Shlomi Dolev, Seth Gilbert, Nancy A. Lynch, Elad Schiller, Alexander A. Shvartsman, Jennifer L. Welch	Virtual Mobile Nodes for Mobile Ad Hoc Networks.	DISC	2004	DBLP DOI BibTeX RDF
11	Jean-Pierre Talpin, David Berner, Sandeep K. Shukla, Paul Le Guernic, Abdoulaye Gamatié, Rajesh Gupta 0001	A Behavioral Type Inference System for Compositional System-on-Chip Design.	ACSD	2004	DBLP DOI BibTeX RDF
11	David R. Karger, Dennis Quan	Collections: flexible, essential tools for information management.	CHI Extended Abstracts	2004	DBLP DOI BibTeX RDF	taxonomy, portals, collections, semistructured data, folders
11	Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar	Race checking by context inference.	PLDI	2004	DBLP DOI BibTeX RDF	software model checking, race conditions
11	Morten Lind	Means and ends of control.	SMC (1)	2004	DBLP DOI BibTeX RDF
11	Denis Lugiez, Peter Niebert, Sarah Zennou	A Partial Order Semantics Approach to the Clock Explosion Problem of Timed Automata.	TACAS	2004	DBLP DOI BibTeX RDF