Search results for "toolset"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
77	George S. Avrunin, Ugo A. Buy, James C. Corbett, Laura K. Dillon, Jack C. Wileden	Automated Analysis of Concurrent Systems With the Constrained Expression Toolset.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	constrained expression toolset, expression analysis techniques, Ada-like design language, system traces, parallel programming, software tools, programming languages, source code, concurrent systems, reachable states
74	Martin Ouimet, Kristina Lundqvist	The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems.	CAV	2007	DBLP DOI BibTeX RDF
68	Franz J. Kurfess, Mrinalini Lankala, Ashok Vantipalli, Lonnie R. Welch	A toolset for the reengineering of complex computer systems.	ECBS	1997	DBLP DOI BibTeX RDF	reengineering toolset, complex computer systems, abstract intermediate representation, system software architecture, program level, task level, package/object instance level, subprogram level, statement level, rendezvous graph, call-rendezvous graph, call-data-rendezvous graph, software architecture, graphical user interface, software design, granularity, systems re-engineering, dependence graphs, control flow graph, interaction analysis, call graph, computer-based systems, software transformation
65	Darren Foulger, Steve King 0001	Using the SPARK Toolset for Showing the Absence of Run-Time Errors in Safety-Critical Software.	Ada-Europe	2001	DBLP DOI BibTeX RDF
64	John V. Harrison, Anthony Berglas, Ian Peake	Legacy 4GL Application Migration via Knowledge-Based Software Engineering Technology: A Case Study.	Australian Software Engineering Conference	1997	DBLP DOI BibTeX RDF	legacy 4GL application migration, fourth-generation languages, database vendors, toolset, industry-sponsored research project, software re-engineering toolset, database, case study, programming environments, cost, organisation, knowledge-based software engineering, information system applications
58	J. R. Carnes, Amit Misra, Janos Sztipanovits	Model-integrated toolset for fault detection, isolation and recovery (FDIR).	ECBS	1996	DBLP DOI BibTeX RDF	space vehicles, model-integrated toolset, complex engineering systems, system deployment, information intensive tests, in-depth knowledge, large complex spacecraft system development, engineering design phase, fault diagnosis, software maintenance, software tools, system design, fault detection, system recovery, system monitoring, special purpose computers, systems software, fault recovery, aerospace computing, system implementation, fault isolation, system validation, system maintenance
55	Matthieu Leclercq, Ali Erdem Özcan, Vivien Quéma, Jean-Bernard Stefani	Supporting Heterogeneous Architecture Descriptions in an Extensible Toolset.	ICSE	2007	DBLP DOI BibTeX RDF
55	Martin Ouimet, Guillaume Berteau, Kristina Lundqvist	Modeling an Electronic Throttle Controller Using the Timed Abstract State Machine Language and Toolset.	MoDELS (Workshops)	2006	DBLP DOI BibTeX RDF	Simulation, Modeling, Real-Time Systems, Embedded Systems, Formal Specification
55	Jacob T. Biehl, Brian P. Bailey	A Toolset for Creating Iconic Interfaces for Interactive Workspaces.	INTERACT	2005	DBLP DOI BibTeX RDF
55	Wuwei Shen, Kevin J. Compton, James Huggins	A Toolset for Supporting UML Static and Dynamic Model Checking.	COMPSAC	2002	DBLP DOI BibTeX RDF
55	Wuwei Shen, Kevin J. Compton, James Huggins	A UML Validation Toolset Based on Abstract State Machines.	ASE	2001	DBLP DOI BibTeX RDF
55	Saurav Chatterjee, Kevin Bradley, Jose A. Madriz, James A. Colquist, Jay K. Strosnider	SEW: A Toolset For Design and Analysis of Distributed Real-Time Systems.	IEEE Real Time Technology and Applications Symposium	1997	DBLP DOI BibTeX RDF
51	Lawrence Cabac, Till Dörges, Michael Duvigneau, Daniel Moldt	Requirements and Tools for the Debugging of Multi-Agent Systems.	MATES	2009	DBLP DOI BibTeX RDF	toolset, multi-agent systems, Debugging, requirements, Mulan
51	David P. Gilliam, John C. Kelly, Matt Bishop	Reducing Software Security Risk through an Integrated Approach.	WETICE	2000	DBLP DOI BibTeX RDF	Security Toolset, Vulnerability Matrix, Model Specification Checking, Security Verification, Property-Based Testing
49	Stefan Klink, Yu Li, Andreas Oberweis	INCOME2010 - a toolset for developing process-oriented information systems based on petri nets.	SimuTools	2008	DBLP DOI BibTeX RDF	XML nets, software toolset, SOA, petri nets, information systems
45	Marius Bozga, Susanne Graf, Ileana Ober, Iulian Ober, Joseph Sifakis	The IF Toolset.	SFM	2004	DBLP DOI BibTeX RDF
45	Alberto Manzone, Claudio Genta	Automatic toolset for fault tolerant design: results demonstration on a running industrial application.	IOLTS	2003	DBLP DOI BibTeX RDF
45	Li Zhang 0002, Zhen Liu 0001, Anton Riabov, Monty Schulman, Cathy H. Xia, Fan Zhang	A Comprehensive Toolset for Workload Characterization, Performance Modeling, and Online Control.	Computer Performance Evaluation / TOOLS	2003	DBLP DOI BibTeX RDF	on-line control, Performance analysis, performance prediction, queueing networks, capacity planning, Web service modeling
45	Falko Bause, Heinz Beilner, Markus Fischer, Peter Kemper, Markus Völker	The ProC/B Toolset for the Modelling and Analysis of Process Chains.	Computer Performance Evaluation / TOOLS	2002	DBLP DOI BibTeX RDF	Process Chains, Generalised Stochastic Petri Nets, Simulation, E-Commerce, E-Business, Queueing Networks
45	Michel Courson, Alan Mink, Guillaume Marçais, Benjamin Traverse	An Automated Benchmarking Toolset.	HPCN	2000	DBLP DOI BibTeX RDF	visualization, performance analysis, database, Cluster computing, performance measurement, data collection, queuing system
45	Martin Fleury, N. Sarvan, Andy C. Downton, Adrian F. Clark	A Parallel-System Design Toolset for Vision and Image Processing.	Euro-Par	1998	DBLP DOI BibTeX RDF
45	Thierry Delaitre, P. Vekariya, R. Bigeard, George R. Ribeiro-Justo, Stephen C. Winter, M. J. Zemerly	EDPEPPS: An Integrated Graphical Toolset for the Design and Performance Evaluation of Portable Parallel Software.	Euro-Par	1997	DBLP DOI BibTeX RDF
45	Brian Dobbing, Marc Richard-Foy	T-SMART - Task-Safe, Minimal Ada Realtime Toolset.	Ada-Europe	1997	DBLP DOI BibTeX RDF	Ada83, Software Reliability, Certification, Ada 95
45	Michael J. Whitney, Morris Bernstein, Renato de Mori, Kostas Kontogiannis, Brian Corrie, Hausi A. Müller, Scott R. Tilley, Ettore Merlo, John Mylopoulos, Kenny Wong, J. Howard Johnson, James McDaniel, Martin Stanley	Using an integrated toolset for program understanding.	CASCON	1995	DBLP BibTeX RDF
45	Harald Wabnig, Günter Haring	PAPS - The Parallel Program Performance Prediction Toolset.	Computer Performance Evaluation	1994	DBLP DOI BibTeX RDF
45	George Kutty, Y. S. Ramakrishna, Louise E. Moser, Laura K. Dillon, P. M. Melliar-Smith	A Graphical Interval Logic Toolset for Verifying Concurrent Systems.	CAV	1993	DBLP DOI BibTeX RDF
36	John C. Grundy, John G. Hosking, Jun Huh, Karen Na-Liu Li	Marama: an eclipse meta-toolset for generating multi-view environments.	ICSE	2008	DBLP DOI BibTeX RDF	domain-specific visual languages, meta-tools, code generation, model-driven engineering
36	Minghui Jiang 0001, Martin Mayne, Joel Gillespie	Delta: A Toolset for the Structural Analysis of Biological Sequences on a 3D Triangular Lattice.	ISBRA	2007	DBLP DOI BibTeX RDF
36	Hu Chen, Wenguang Chen, Jian Huang, Bob Robert H. Kuhn	MPIPP: an automatic profile-guided parallel process placement toolset for SMP clusters and multiclusters.	ICS	2006	DBLP DOI BibTeX RDF	graph mapping, process placement, cluster, parallel computing, graph partitioning
36	Milo M. K. Martin, Daniel J. Sorin, Bradford M. Beckmann, Michael R. Marty, Min Xu, Alaa R. Alameldeen, Kevin E. Moore, Mark D. Hill, David A. Wood 0001	Multifacet's general execution-driven multiprocessor simulator (GEMS) toolset.	SIGARCH Comput. Archit. News	2005	DBLP DOI BibTeX RDF
36	Muhammad Ali Babar 0001, Didar Zowghi	Developing a Requirements Management Toolset: Lessons Learned.	Australian Software Engineering Conference	2004	DBLP DOI BibTeX RDF
36	Markus Arns, Markus Fischer, Carsten Tepper, Markus Völker	Visualization of Analysis Results in the ProC/B Toolset.	QEST	2004	DBLP DOI BibTeX RDF
36	Daniel C. DuVarney, S. Purushothaman Iyer	C Wolf - A Toolset for Extracting Models from C Programs.	FORTE	2002	DBLP DOI BibTeX RDF	Abstract Model checking, Concurrency Workbench, FDT for network protocols, Software tools, Verification and validation, C programs
36	Stefan Blom, Wan J. Fokkink, Jan Friso Groote, Izak van Langevelde, Bert Lisser, Jaco van de Pol	µCRL: A Toolset for Analysing Algebraic Specifications.	CAV	2001	DBLP DOI BibTeX RDF
36	Heinrich Hußmann, Birgit Demuth, Frank Finger	Modular Architecture for a Toolset Supporting OCL.	UML	2000	DBLP DOI BibTeX RDF
36	Suleyman Sair, Guiseppe Olivadoti, David R. Kaeli, José Fridman	DSPTune: A Performance Evaluation Toolset for the SHARC Signal Processor.	Annual Simulation Symposium	2000	DBLP DOI BibTeX RDF
36	David Lorge Parnas, Dennis K. Peters	An Easily Extensible Toolset for Tabular Mathematical Expressions.	TACAS	1999	DBLP DOI BibTeX RDF
36	Doron A. Peled	A Toolset for Message Sequence Charts.	CAV	1998	DBLP DOI BibTeX RDF
36	Devesh Bhatt, Vicraj T. Thomas, John Shackleton	A methodology and toolset for the design of parallel embedded systems.	OOPS Messenger	1996	DBLP DOI BibTeX RDF
36	Chris Dollin	The HP-ST Toolset.	VDM Europe (1)	1991	DBLP DOI BibTeX RDF
34	Terrell R. Bennett, Claudio Savaglio, David Lu, Hunter Massey, Xianan Wang, Jian Wu 0016, Roozbeh Jafari	MotionSynthesis toolset (MoST): a toolset for human motion data synthesis and validation.	MobileHealth@MobiHoc	2014	DBLP DOI BibTeX RDF
32	Thomas Rauber, Gudula Rünger	Incremental Transformation of Business Software.	ICEIS (Selected Papers)	2007	DBLP DOI BibTeX RDF	Incremental transformation, transformation toolset, component, legacy software
32	Lourdes Fernández, J. Alfredo Sánchez 0001, Luis Arturo Flores	An Environment for the Collaborative Revision of Digital Theses.	CRIWG	2000	DBLP DOI BibTeX RDF	collaborative revision, digital theses, asynchronous cooperative toolset, University Digital Libraries for All, Internet, Internet, digital library, annotation, revision, electronic documents, Zeus
32	Seungwoo Son, Chaedeok Lim, Heung-Nam Kim	Debugging protocol for remote cross development environment.	RTCSA	2000	DBLP DOI BibTeX RDF	debugging protocol, remote cross development environment, Internet appliances, embedded software development tools, host tools, binary utilities, remote debugger, interactive shell, real time resource monitors, heavy host-target communication overhead, target monitor programs, host-resident tools, target agent, Esto, Embedded Systems Toolset, Internet based embedded applications, Internet, embedded systems, protocols, program debugging, operating systems (computers), RTOS, UDP/IP, cross compilers
32	Premkumar T. Devanbu, Sakke Karstu, Walcélio L. Melo, William Thomas	Analytical and Empirical Evaluation of Software Reuse Metrics.	ICSE	1996	DBLP BibTeX RDF	industrial projects, productivity data, quality data, savings measurement, software reuse metrics, software system development, toolset, software tools, software metrics, software components, software reusability, empirical evaluation, software cost estimation, human resource management, student projects, analytical evaluation, cost savings
32	Kingsum Chow, David Notkin	Semi-automatic update of applications in response to library changes.	ICSM	1996	DBLP DOI BibTeX RDF	semi-automatic application update, library changes, library syntax, library semantics, updated libraries, toolset, library maintainer, changed functions, rules, costs, software libraries, software libraries, programmers
32	Sudhir Aggarwal, Sandeep Mitra, Sanjay S. Jagdale	DCCA: a versatile paradigm for the description and development of concurrent communicating systems.	HICSS (2)	1995	DBLP DOI BibTeX RDF	DCCA, concurrent communicating systems development, concurrent communicating systems description, Dynamic Coordinated Concurrent Activities, automated factory, multiprocessor cache coherence system, attendant toolset, model, distributed systems, software engineering, formal specification, formal specification, protocols, specification, prototyping, distributed processing, program verification, rapid prototyping, software prototyping, distributed control system
32	Kevin Lano	Specifying static analysis tools using formal methods.	ICECCS	1995	DBLP DOI BibTeX RDF	static analysis tool specification, analysis functionality, static analysis toolset, diagrammatic analysis techniques, diagrammatic design techniques, well-structured specifications, comprehensible specifications, object-oriented structure, imperative programming culture, database culture, formal specification, formal specification, formal methods, software tools, specification languages, object-oriented methods, COBOL, structured programming, system monitoring, systems software, Z specification language, transformation functionality, industrial environment
32	George S. Avrunin, James C. Corbett, Laura K. Dillon, Jack C. Wileden	Automated Derivation of Time Bounds in Uniprocessor Concurrent Systems.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	time bound derivation, uniprocessor concurrent systems, concurrent software system, single processor, arbitrary scheduling, integer programming methods, constrained expression toolset, very large state spaces, scheduling, real-time systems, lower bounds, concurrency control, integer programming, systems analysis, upper bounds, timing analysis, concurrent systems, linear inequalities, timing properties, finite state systems, complex real-time systems
32	Gerald M. Karam, Raymond J. A. Buhr	Starvation and Critical Race Analyzers for Ada.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	race analyzers, critical race analysis tools, Ada designs, temporal analysis toolset, operational specification language, language interpreter, deadlock analyzer, starvation analyzer, set-theoretic model, deadlock analyzer, computation space, preprocessing phase, starvation tool, semiautomatic proof, nondeterministic rendezvous, human operator, design examples, Ada, software tools, programming, specification languages, system recovery, liveness, program interpreters
29	Hong P. Liu, David P. Gluch	Formal verification of AADL behavior models: a feasibility investigation.	ACM Southeast Regional Conference	2009	DBLP DOI BibTeX RDF	architecture analysis & design language, model checking, tool integration, computational tree logic
29	Michael Feary	Automatic Detection of Interaction Vulnerabilities in an Executable Specification.	HCI (13)	2007	DBLP DOI BibTeX RDF	automation surprise analysis, automation design
29	Paul Baker, Clive Jervis	Testing UML2.0 Models Using TTCN-3 and the UML2.0 Testing Profile.	SDL Forum	2007	DBLP DOI BibTeX RDF
29	Bela Berde, Dimitri Papadimitriou, Monika Jäger	Traffic Engineering Element for GMPLS Networks.	NOMS	2006	DBLP DOI BibTeX RDF
29	John C. Knight, Kimberly S. Hanks, Sean R. Travis	Tool Support for Production Use of Formal Techniques.	ISSRE	2001	DBLP DOI BibTeX RDF
29	Timothy J. Sliski, Matthew P. Billmers, Lori A. Clarke, Leon J. Osterweil	An architecture for flexible, evolvable process-driven user-guidance environments.	ESEC / SIGSOFT FSE	2001	DBLP DOI BibTeX RDF	user interface design, tool integration, process guidance
29	John V. Harrison, Paul A. Bailes, Anthony Berglas, Ian Peake	Re-engineering 4GL-based Information System Applications.	APSEC	1995	DBLP DOI BibTeX RDF	CAiSE, information systems, design recovery, software re-engineering
29	Ugo A. Buy, Robert H. Sloan	Analysis of Real-Time Programs with Simple Time Petri Nets.	ISSTA	1994	DBLP DOI BibTeX RDF
29	Jeff Magee, Naranker Dulay	A Configuration Approach to Parallel Programming.	PARLE (2)	1991	DBLP DOI BibTeX RDF
26	Michael Leuschel, Michael J. Butler	ProB: an automated analysis toolset for the B method.	Int. J. Softw. Tools Technol. Transf.	2008	DBLP DOI BibTeX RDF
26	Romain Robbes, Michele Lanza	SpyWare: a change-aware development toolset.	ICSE	2008	DBLP DOI BibTeX RDF	modelling, visualization, program transformation, change
26	Richard Maciel, Bruno C. Albertini, Sandro Rigo, Guido Araujo, Rodolfo Azevedo	A Methodology and Toolset to Enable SystemC and VHDL Co-simulation.	ISVLSI	2007	DBLP DOI BibTeX RDF
26	David Montgomery, Ali Akoglu	Methodology and Toolset for ASIP Design and Development Targeting Cryptography-Based Applications.	ASAP	2007	DBLP DOI BibTeX RDF
26	Anirban Lahiri, Satya Jyoti Chattopadhyay, Anupam Basu	Sparsha: a comprehensive indian language toolset for the blind.	ASSETS	2005	DBLP DOI BibTeX RDF	visual impairment, braille, audio feedback, Indian languages
26	Amel Mammar, Sophie Ramel, Bertrand Grégoire, Michael Schmitt 0002, Nicolas Guelfi	Efficient: A Toolset for Building Trusted B2B Transactions.	CAiSE	2005	DBLP DOI BibTeX RDF
26	Gerard Lommerse, Freek Nossin, Lucian Voinea, Alexandru C. Telea	The Visual Code Navigator: An Interactive Toolset for Source Code Investigation.	INFOVIS	2005	DBLP DOI BibTeX RDF	source code visualization, pixel-filling displays, multiple views, treemaps, source code analysis
26	Jie Tao 0001, Wolfgang Karl	CacheIn: A Toolset for Comprehensive Cache Inspection.	International Conference on Computational Science (2)	2005	DBLP DOI BibTeX RDF
26	S. Ramesh, Sampada Sonalkar, Vijay D'Silva, Naveen Chandra, B. Vijayalakshmi	A Toolset for Modelling and Verification of GALS Systems.	CAV	2004	DBLP DOI BibTeX RDF
26	Andrew Lewis, David Abramson 0001, Tom Peachey	RSCS: A Parallel Simplex Algorithm for the Nimrod/O Optimization Toolset.	ISPDC/HeteroPar	2004	DBLP DOI BibTeX RDF	Nelder-Mead algorithm, optimization, Parallel programming
26	Harold J. Batteram, Wim Hellenthal, Willem A. Romijn, Andreas Hoffmann 0001, Axel Rennoch, Alain Vouffo	Implementation of an Open Source Toolset for CCM Components and Systems Testing.	TestCom	2004	DBLP DOI BibTeX RDF
26	Brandon Eames, Ted Bapty, Ben Abbott, Sandeep Neema, Kumar Chhokra	Model-Integrated Design Toolset for Polymorphous Computer-Based Systems.	ECBS	2003	DBLP DOI BibTeX RDF
26	Muhammad Ali Babar 0001	An Experience of Applying Architecture-based Approach to Build a Component-based Requirements Management Toolset.	COMPSAC	2003	DBLP DOI BibTeX RDF
26	Julien Bourgeois, François Spies, M. J. Zemerly, Thierry Delaitre	Chronos: a Performance Characterization Tool Inside the EDPEPPS Toolset.	J. Supercomput.	2000	DBLP DOI BibTeX RDF	CPU modeling, cache memory modeling, parallel programing environments, Performance characterization
26	Iosif Legrand, Harvey B. Newman	The MONARC toolset for simulating large network-distributed processing systems.	WSC	2000	DBLP DOI BibTeX RDF
26	Olivier Hainque, Laurent Pautet, Yann Le Biannic, Eric Nassor	Cronos: A Separate Compilation Toolset for Modular Esterel Applications.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
26	Ulf Lindqvist, Phillip A. Porras	Detecting Computer and Network Misuse through the Production-based Expert System Toolset (P-BEST).	S&P	1999	DBLP DOI BibTeX RDF
26	Constance L. Heitmeyer	Using the SCR* Toolset to Specify Software Requirements.	WIFT	1998	DBLP DOI BibTeX RDF
26	Thierry Delaitre, M. J. Zemerly, P. Vekariya, George R. Ribeiro-Justo, Julien Bourgeois, F. Schinkman, François Spies, S. Randoux, Stephen C. Winter	EDPEPPS: A Toolset for the Design and Performance Evaluation of Parallel Applications.	Euro-Par	1998	DBLP DOI BibTeX RDF
26	Alex E. Bell	An Alternative Toolset for Analysis of Ada Programs.	Ada-Europe	1997	DBLP DOI BibTeX RDF
26	John Mylopoulos, Martin Stanley, Kenny Wong, Morris Bernstein, Renato de Mori, Graham W. Ewart, Kostas Kontogiannis, Ettore Merlo, Hausi A. Müller, Scott R. Tilley, Marijana Tomic	Towards an integrated toolset for program understanding.	CASCON	1994	DBLP BibTeX RDF
26	Alessandro Giovini, Franco Morando, Antonio Capani	Implementation of a Toolset for Prototyping Algebraic Specifications of Concurrent Systems.	ALP	1992	DBLP DOI BibTeX RDF
26	N. Serdar Uckun, Benoit M. Dawant, Kazuhiko Kawamura	NetGraph: an object-oriented graphical toolset for risk assessment.	IEA/AIE (1)	1989	DBLP DOI BibTeX RDF
26	Axel Mahler, Andreas Lampen	An Integrated Toolset for Engineering Software Configurations.	Software Development Environments (SDE)	1988	DBLP DOI BibTeX RDF
22	Charneta Samms, David Jones 0001, Kelly S. Hale, Diane Mitchell	Harnessing the Power of Multiple Tools to Predict and Mitigate Mental Overload.	HCI (17)	2009	DBLP DOI BibTeX RDF	IMPRINT, MIDS, integrated toolset, multimodal, command and control, overload, mental workload
22	Marina Mladenova, Boyanka Zhelyazova	Competitive analysis of software solutions for business organizations.	CompSysTech	2007	DBLP DOI BibTeX RDF	ARIS ToolSet, BPwin/ERwin AllFusion process modeler, UML diagrams enterprise resource planning, architecture of integrated information systems, ERP, CASE-tools
22	David P. Gilliam, John C. Kelly, John D. Powell, Matt Bishop	Development of a Software Security Assessment Instrument to Reduce Software Security Risk.	WETICE	2001	DBLP DOI BibTeX RDF	Security Toolset, Vulnerability Matrix, Model Checking, Security Verification, Property-Based Testing
19	Albrecht Schmidt 0001	Engineering interactive ubiquitous computing systems.	EICS	2011	DBLP DOI BibTeX RDF
19	Paulo Sérgio Santos Jr., João Paulo A. Almeida, Giancarlo Guizzardi	An ontology-based semantic foundation for ARIS EPCs.	SAC	2010	DBLP DOI BibTeX RDF	event-driven process chains (EPCs), business process modeling, ARIS, ontological analysis, foundational ontologies
19	Joseph Sifakis	Component-Based Construction of Heterogeneous Real-Time Systems in Bip.	Petri Nets	2009	DBLP DOI BibTeX RDF
19	Jason Luu, Ian Kuon, Peter Jamieson, Ted Campbell, Andy Gean Ye, Wei Mark Fang, Jonathan Rose	VPR 5.0: FPGA cad and architecture exploration tools with single-driver routing, heterogeneity and process scaling.	FPGA	2009	DBLP DOI BibTeX RDF	fpga, architecture, cad
19	I-Hsin Chung, Seetharami R. Seelam, Bernd Mohr, Jesús Labarta	Tools for scalable performance analysis on Petascale systems.	IPDPS	2009	DBLP DOI BibTeX RDF
19	Yuki Sakai, Akihito Hiromori, Hirozumi Yamaguchi, Khaled El-Fakih, Teruo Higashino	An integrated tool for development of overlay services.	SimuTools	2009	DBLP DOI BibTeX RDF	petri nets simulation, distributed systems, overlay networks, simulation tools
19	Oleg Sokolsky, Insup Lee 0001, Duncan Clarke	Process-Algebraic Interpretation of AADL Models.	Ada-Europe	2009	DBLP DOI BibTeX RDF
19	Patrick de Smet	Semi-automatic Forensic Reconstruction of Ripped-up Documents.	ICDAR	2009	DBLP DOI BibTeX RDF
19	Gokhan Gokyer, Semih Cetin, Cevat Sener, Meltem Turhan Yöndem	Non-functional Requirements to Architectural Concerns: ML and NLP at Crossroads.	ICSEA	2008	DBLP DOI BibTeX RDF
19	Pierre Loustau, Thierry Nodenot, Mauro Gaio	Spatial Decision Support in the Pedagogical Area: Processing Travel Stories to Discover Itineraries Hidden Beneath the Surface.	AGILE Conf.	2008	DBLP DOI BibTeX RDF	travel stories, retrieval, Spatial Decision Support, itinerary
19	Rahn C. Rahn, Youn-Kyung Lim, Dennis P. Groth	Redesigning video analysis: an interactive ink annotation tool.	CHI Extended Abstracts	2008	DBLP DOI BibTeX RDF	evaluation, user experience, user centered design, annotation, video analysis, information management, user research
19	John Derrick, Siobhán North, Anthony J. H. Simons	Z2SAL - Building a Model Checker for Z.	ABZ	2008	DBLP DOI BibTeX RDF	model-checking, Z, SAL
19	Slavko Gajin, Vedrin Jeliazkov, Constantinos Kotsokalis, Yannis Mitsos	Seamless Integration of Network Management Tools in a Multi-Domain Environment.	Integrated Network Management	2007	DBLP DOI BibTeX RDF
19	Lisa Bahler, Francesco Caruso, Josephine Micallef	A Practical Method and Tool for Systems Engineering of Service-Oriented Applications.	WISE	2007	DBLP DOI BibTeX RDF	Service Design Methodology, SOA Tools, SOA, Model-Driven Development, Systems Engineering, Enterprise Application Integration