|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 88 occurrences of 79 keywords
|
|
|
Results
Found 55 publication records. Showing 55 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
127 | Samira Si-Said Cherfi, Nicolas Prat |
Multidimensional Schemas Quality: Assessing and Balancing Analyzability and Simplicity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER (Workshops) ![In: Conceptual Modeling for Novel Application Domains, ER 2003 Workshops ECOMO, IWCMQ, AOIS, and XSDM, Chicago, IL, USA, October 13, 2003, Proceedings, pp. 140-151, 2003, Springer, 3-540-20257-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Multidimensional schema design, simplicity, quality metrics, analyzability, quality criteria |
48 | Kelvin Nilsen |
Simple low-level real-time threading semantics to enable portability, efficiency, analyzability, and generality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JTRES ![In: Proceedings of the 6th International Workshop on Java Technologies for Real-time and Embedded Systems, JTRES 2008, 24-26 September 2008, Santa Clara, California, USA, pp. 125-134, 2008, ACM, 978-1-60558-337-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
safety-critical certification, Java, real-time, threading, RTSJ |
48 | K. H. (Kane) Kim |
Systematic Composition and Analyzability of Dependable Networked Embedded Computing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SRDS ![In: 25th IEEE Symposium on Reliable Distributed Systems (SRDS 2006),2-4 October 2006, Leeds, UK, pp. 339-340, 2006, IEEE Computer Society, 0-7695-2677-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
48 | Anders Wall, Johan Andersson, Jonas Neander, Christer Norström, Martin Lembke |
Introducing Temporal Analyzability Late in the Lifecycle of Complex Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: Real-Time and Embedded Computing Systems and Applications, 9th International Conference, RTCSA 2003, Tainan, Taiwan, February 18-20, 2003. Revised Papers, pp. 513-528, 2003, Springer, 3-540-21974-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
48 | Laurie J. Hendren, Guang R. Gao |
Designing programming languages for analyzability: a fresh look at pointer data structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCL ![In: ICCL'92, Proceedings of the 1992 International Conference on Computer Languages, Oakland, California, USA, 20-23 Apr 1992, pp. 242-251, 1992, IEEE Computer Society, 0-8186-2585-6. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
45 | Marco Paolieri, Eduardo Quiñones, Francisco J. Cazorla, Guillem Bernat, Mateo Valero |
Hardware support for WCET analysis of hard real-time multicore systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: 36th International Symposium on Computer Architecture (ISCA 2009), June 20-24, 2009, Austin, TX, USA, pp. 57-68, 2009, ACM, 978-1-60558-526-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
wcet, interconnection network, multicore, hard real-time, real-time embedded systems, cache partitioning, analyzability |
45 | Jan van Katwijk, W. J. Toetenel |
Comparing formal specifications by measuring. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTCSA ![In: 2nd International Workshop on Real-Time Computing Systems and Applications, October 25 - 27, 1995, Tokyo, Japan, pp. 184-191, 1995, IEEE Computer Society, 0-8186-7106-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
formal specification notations, software engineering, software engineering, formal specification, software development, computer science education, tool support, software development management, notation, executability, maturity, analyzability, software engineering courses |
45 | Ragunathan Rajkumar, Michael Gagliardi, Lui Sha |
The real-time publisher/subscriber inter-process communication model for distributed real-time systems: design and implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Real Time Technology and Applications Symposium ![In: 1st IEEE Real-Time Technology and Applications Symposium, Chicago, Illinois, USA, May 15-17, 1995, pp. 66-75, 1995, IEEE Computer Society, 0-8186-6980-2. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
utility programs, real-time publisher/subscriber inter-process communication model, application-level toolkits, group-based programming, anonymous communication techniques, programming ease, upgradable real-time systems, performance benchmarks, design, real-time systems, scalability, software architecture, distributed processing, software tools, interfaces, implementation, application program interfaces, portability, programming models, distributed real-time systems, software portability, application generators, analyzability, programming interface |
35 | Wei Qin, Sharad Malik |
A Study of Architecture Description Languages from a Model-based Perspective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MTV ![In: Sixth International Workshop on Microprocessor Test and Verification (MTV 2005), Common Challenges and Solutions, 3-4 November 2005, Austin, Texas, USA, pp. 3-11, 2005, IEEE Computer Society, 0-7695-2627-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
35 | Ali El-Haj-Mahmoud, Ahmed S. Al-Zawawi, Aravindh Anantaraman, Eric Rotenberg |
Virtual multiprocessor: an analyzable, high-performance architecture for real-time computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASES ![In: Proceedings of the 2005 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, CASES 2005, San Francisco, California, USA, September 24-27, 2005, pp. 213-224, 2005, ACM, 1-59593-149-X. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
worst-case execution time, schedulability analysis, superscalar processor, simultaneous multithreading, hard real-time, resource partitioning |
35 | Johan Fredriksson, Massimo Tivoli, Ivica Crnkovic |
A component-based development framework for supporting functional and non-functional analysis in control system design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), November 7-11, 2005, Long Beach, CA, USA, pp. 368-371, 2005, ACM, 1-58113-993-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
non functional analysis, control systems, real time embedded systems, functional analysis |
35 | Piet Wauters, Marc Engels, Rudy Lauwereins, J. A. Peperstraete |
Cyclo-Dynamic Dataflow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDP ![In: 4th Euromicro Workshop on Parallel and Distributed Processing (PDP '96), January 24-26, 1996, Portugal, pp. 319-326, 1996, IEEE Computer Society, 0-8186-7376-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
cyclo dynamic data flow, CDDF, data flow model, real time digital signal processing, cyclo static dataflow, data dependent control flow, data flow languages, Boolean data flow model, scheduling, real-time systems, semantics, signal processing, parallel languages, data flow computing, automatic tools |
31 | Idris Adjerid, Corey M. Angst, Sarv Devaraj, Nicholas Berente |
Does Analytics Help Resolve Equivocality in the Healthcare Context? Contrasting the Effects of Analyzability and Differentiation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Assoc. Inf. Syst. ![In: J. Assoc. Inf. Syst. 24(3), pp. 2, 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP BibTeX RDF |
|
31 | Srdjan Stevanetic, Uwe Zdun |
Supporting the analyzability of architectural component models - empirical findings and tool support. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Empir. Softw. Eng. ![In: Empir. Softw. Eng. 23(6), pp. 3578-3625, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
31 | Panita Meananeatra, Songsakdi Rongviriyapanish, Taweesup Apiwattanapong |
Refactoring Opportunity Identification Methodology for Removing Long Method Smells and Improving Code Analyzability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEICE Trans. Inf. Syst. ![In: IEICE Trans. Inf. Syst. 101-D(7), pp. 1766-1779, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
31 | Panita Meananeatra, Ekekachan Rattanaleadnusorn, Songsakdi Rongviriyapanish, Titiphan Kitcharoensup, Thanapol Wisuttikul, Boonchai Charoendouysil |
Modeling Code Analyzability at Method Level in J2EE Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC (2) ![In: 20th Asia-Pacific Software Engineering Conference, APSEC 2013, Ratchathewi, Bangkok, Thailand, December 2-5, 2013 - Volume 2, pp. 61-66, 2013, IEEE Computer Society, 978-1-4799-2143-0. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
31 | Holger Eichelberger, Christian Kröher, Klaus Schmid |
An Analysis of Variability Modeling Concepts: Expressiveness vs. Analyzability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSR ![In: Safe and Secure Software Reuse - 13th International Conference on Software Reuse, ICSR 2013, Pisa, Italy, June 18-20. Proceedings, pp. 32-48, 2013, Springer, 978-3-642-38976-4. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
31 | Min-Young Nam, Kyungtae Kang, Rodolfo Pellizzoni, Kyung-Joon Park, Jung-Eun Kim, Lui Sha |
Modeling towards incremental early analyzability of networked avionics systems using virtual integration. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 11(4), pp. 81:1-81:23, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
31 | Barbara G. Ryder, Ben Wiedermann |
Language design and analyzability: a retrospective. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Softw. Pract. Exp. ![In: Softw. Pract. Exp. 42(1), pp. 3-18, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
31 | Johan Eker, Jörn W. Janneck |
Dataflow programming in CAL - balancing expressiveness, analyzability, and implementability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSCC ![In: Conference Record of the Forty Sixth Asilomar Conference on Signals, Systems and Computers, ACSCC 2012, Pacific Grove, CA, USA, November 4-7, 2012, pp. 1120-1124, 2012, IEEE, 978-1-4673-5050-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
31 | Jing Ma, Wuping Yao, Zheying Zhang, Jyrki Nummenmaa |
Using a Semantic Wiki to Improve the Consistency and Analyzability of Functional Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICIST ![In: Information and Software Technologies - 18th International Conference, ICIST 2012, Kaunas, Lithuania, September 13-14, 2012. Proceedings, pp. 460-473, 2012, Springer, 978-3-642-33307-1. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
31 | Eric Bouwers, José Pedro Correia, Arie van Deursen, Joost Visser 0001 |
Quantifying the Analyzability of Software Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WICSA ![In: 9th Working IEEE/IFIP Conference on Software Architecture, WICSA 2011, Boulder, Colorado, USA, June 20-24, 2011, pp. 83-92, 2011, IEEE Computer Society, 978-0-7695-4351-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
31 | Theo Ungerer, Francisco J. Cazorla, Pascal Sainrat, Guillem Bernat, Zlatko Petrov, Christine Rochange, Eduardo Quiñones, Mike Gerdes 0001, Marco Paolieri, Julian Wolf 0002, Hugues Cassé, Sascha Uhrig, Irakli Guliashvili, Michael Houston, Florian Kluge, Stefan Metzlaff, Jörg Mische |
Merasa: Multicore Execution of Hard Real-Time Applications Supporting Analyzability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Micro ![In: IEEE Micro 30(5), pp. 66-75, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
31 | Mikhail Perepletchikov, Caspar Ryan, Zahir Tari |
The Impact of Service Cohesion on the Analyzability of Service-Oriented Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Serv. Comput. ![In: IEEE Trans. Serv. Comput. 3(2), pp. 89-103, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
maintainability, product metrics, design concepts, Services systems |
31 | Ziv Shami |
On analyzability in the forking topology for simple theories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Pure Appl. Log. ![In: Ann. Pure Appl. Log. 142(1-3), pp. 115-124, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
31 | Laurie J. Hendren, Guang R. Gao |
Designing Programming Languages for the Analyzability of Pointer Data Structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Lang. ![In: Comput. Lang. 19(2), pp. 119-134, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
27 | Prakash Chandrasekaran, Christopher L. Conway, Joseph M. Joy, Sriram K. Rajamani |
Programming asynchronous layers with CLARITY. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007, Dubrovnik, Croatia, September 3-7, 2007, pp. 65-74, 2007, ACM, 978-1-59593-811-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
asynchronous components, design for analyzability, concurrency, static analysis, event-driven programming |
27 | Giuseppe A. Di Lucca, Anna Rita Fasolino, Porfirio Tramontana |
Towards a Better Comprehensibility of Web Applications: Lessons Learned from Reverse Engineering Experiments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSE ![In: 4th International Workshop on Web Site Evolution (WSE 2002), 2 October 2002, Montreal, Canada, pp. 33-42, 2002, IEEE Computer Society, 0-7695-1804-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Reverse Engineering, Web applications, Comprehensibility, Analyzability, Self-descriptiveness |
17 | Rajeev Alur, Aldric Degorre, Oded Maler, Gera Weiss |
On Omega-Languages Defined by Mean-Payoff Conditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computational Structures, 12th International Conference, FOSSACS 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pp. 333-347, 2009, Springer, 978-3-642-00595-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Pierre Ganty, Rupak Majumdar |
Analyzing Real-Time Event-Driven Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FORMATS ![In: Formal Modeling and Analysis of Timed Systems, 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings, pp. 164-178, 2009, Springer, 978-3-642-04367-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | Pramod Chandraiah, Rainer Dömer |
Automatic re-coding of reference code into structured and analyzable SoC models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 13th Asia South Pacific Design Automation Conference, ASP-DAC 2008, Seoul, Korea, January 21-24, 2008, pp. 440-445, 2008, IEEE, 978-1-4244-1921-0. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Katherine A. Yelick |
Programming models for petascale to exascale. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 22nd IEEE International Symposium on Parallel and Distributed Processing, IPDPS 2008, Miami, Florida USA, April 14-18, 2008, pp. 1, 2008, IEEE. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Pierre Kelsen, Qin Ma 0002 |
A Lightweight Approach for Defining the Formal Semantics of a Modeling Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings, pp. 690-704, 2008, Springer, 978-3-540-87874-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Marcelo F. Frias, Carlos López Pombo, Juan P. Galeotti, Nazareno Aguirre |
Efficient Analysis of DynAlloy Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 17(1), pp. 4:1-4:34, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
software specification, dynamic logic, Alloy, software validation |
17 | Jérôme Hugues, Bechir Zalila, Laurent Pautet |
Combining Model Processing and Middleware Configuration for Building Distributed High-Integrity Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 7-9 May 2007, Santorini Island, Greece, pp. 307-312, 2007, IEEE Computer Society, 0-7695-2765-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Bernhard Niemann, Christian Haubelt |
Towards a Unified Execution Model for Transactions in TLM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 5th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2007), May 30 - June 1st, Nice, France, pp. 103-112, 2007, IEEE Computer Society, 1-4244-1050-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Paul Lokuciejewski, Heiko Falk, Martin Schwarzer, Peter Marwedel, Henrik Theiling |
Influence of procedure cloning on WCET prediction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CODES+ISSS ![In: Proceedings of the 5th International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS 2007, Salzburg, Austria, September 30 - October 3, 2007, pp. 137-142, 2007, ACM, 978-1-59593-824-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
WCET minimization, context-sensitive WCET-analysis, compiler optimizations |
17 | Yuanyuan Song |
Adaptation Hiding Modularity for Self-Adaptive Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE Companion ![In: 29th International Conference on Software Engineering (ICSE 2007), Minneapolis, MN, USA, May 20-26, 2007, Companion Volume, pp. 87-88, 2007, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Hanbyul Seo, Byeong Gi Lee |
Proportional-fair power allocation with CDF-based scheduling for fair and efficient multiuser OFDM systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Wirel. Commun. ![In: IEEE Trans. Wirel. Commun. 5(5), pp. 978-983, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Hassan Reza |
A Methodology for Architectural Design of Concurrent and Distributed Software Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Supercomput. ![In: J. Supercomput. 37(3), pp. 227-248, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
concurrent and distributed systems, HPrTN patterns, software architecture, petri nets, design patterns, architectural description languages (ADLs) |
17 | Volker Gruhn, Ralf Laue 0001 |
Adopting the Cognitive Complexity Measure for Business Process Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE ICCI ![In: Proceedings of the Firth IEEE International Conference on Cognitive Informatics, ICCI 2006, July 17-19, Beijing, China, pp. 236-241, 2006, IEEE Computer Society, 1-4244-0475-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Hwa-Young Jeong |
The Component Based Factory Automation Control in the Internet Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VSMM ![In: Interactive Technologies and Sociotechnical Systems, 12th International Conference, VSMM 2006, Xi'an, China, October 18-20, 2006, Proceedings, pp. 290-299, 2006, Springer, 3-540-46304-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Manuel Silva Suárez, Laura Recalde |
Continuization of Timed Petri Nets: From Performance Evaluation to Observation and Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Applications and Theory of Petri Nets 2005, 26th International Conference, ICATPN 2005, Miami, USA, June 20-25, 2005, Proceedings, pp. 26-47, 2005, Springer, 3-540-26301-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Dohyung Kim 0007, Soonhoi Ha |
Static analysis and automatic code synthesis of flexible FSM model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASP-DAC ![In: Proceedings of the 2005 Conference on Asia South Pacific Design Automation, ASP-DAC 2005, Shanghai, China, January 18-21, 2005, pp. 161-165, 2005, ACM Press, 0-7803-8737-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | William D. Young |
Introducing Abstractions via Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CHARME ![In: Correct Hardware Design and Verification Methods, 13th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2005, Saarbrücken, Germany, October 3-6, 2005, Proceedings, pp. 402-405, 2005, Springer, 3-540-29105-9. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Bill McCloskey, Eric A. Brewer |
ASTEC: a new approach to refactoring C. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005, Lisbon, Portugal, September 5-9, 2005, pp. 21-30, 2005, ACM, 1-59593-014-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
ASTEC, C, refactoring, translation, macro, preprocessor |
17 | Anders Wall, Johan Andersson, Christer Norström |
Decreasing Maintenance Costs by Introducing Formal Analysis of Real-Time Behavior in Industrial Settings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISoLA ![In: Leveraging Applications of Formal Methods, First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers, pp. 130-145, 2004, Springer, 3-540-48928-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
17 | Rémi Douence, Pascal Fradet, Mario Südholt |
Composition, reuse and interaction analysis of stateful aspects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AOSD ![In: Proceedings of the 3rd International Conference on Aspect-Oriented Software Development, AOSD 2004, Lancaster, UK, March 22-24, 2004, pp. 141-150, 2004, ACM, 1-58113-842-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
reuse of aspects, static analysis, aspect oriented programming, formal model, aspect interactions, aspect composition |
17 | Anders Wall, Johan Andersson, Christer Norström |
Probabilistic Simulation-Based Analysis of Complex Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISORC ![In: 6th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2003), 14-16 May 2003, Hakodate, Hokkaido, Japan, pp. 257-266, 2003, IEEE Computer Society, 0-7695-1928-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | César Sánchez 0001, Sriram Sankaranarayanan 0001, Henny Sipma, Ting Zhang 0001, David L. Dill, Zohar Manna |
Event Correlation: Language and Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMSOFT ![In: Embedded Software, Third International Conference, EMSOFT 2003, Philadelphia, PA, USA, October 13-15, 2003, Proceedings, pp. 323-339, 2003, Springer, 3-540-20223-4. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Aravindh Anantaraman, Kiran Seth, Kaustubh Patil, Eric Rotenberg, Frank Mueller 0001 |
Virtual Simple Architecture (VISA): Exceeding the Complexity Limit in Safe Real-Time Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCA ![In: 30th International Symposium on Computer Architecture (ISCA 2003), 9-11 June 2003, San Diego, California, USA, pp. 350-361, 2003, IEEE Computer Society, 0-7695-1945-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Xudong He, Yingjia Ding |
Object Orientation in Hierarchical Predicate Transition Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Concurrent Object-Oriented Programming and Petri Nets ![In: Concurrent Object-Oriented Programming and Petri Nets, Advances in Petri Nets., pp. 196-215, 2001, Springer, 3-540-41942-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Wolfram Conen, Fredj Dridi, Eckhart Köppen |
A Secure XML/Java-Based Implementation of Auction Services for Complex Resource Allocation Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WETICE ![In: 9th IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2000), 4-16 June 2000, Gaithersburg, MD, USA, pp. 284-290, 2000, IEEE Computer Society, 0-7695-0798-0. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
17 | J. Bergeron, Mourad Debbabi, M. M. Erhioui, Béchir Ktari |
Static Analysis of Binary Code to Isolate Malicious Behaviors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WETICE ![In: 8th Workshop on Enabling Technologies (WETICE '99), Infrastructure for Collaborative Enterprises, 16-18 June 1999, Stanford, CA, USA, Proceedings, pp. 184-189, 1999, IEEE Computer Society, 0-7695-0365-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
17 | David L. Levine, Richard N. Taylor |
Metric-Driven Reengineering for Static Concurrency Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISSTA ![In: Proceedings of the 1993 International Symposium on Software Testing and Analysis, ISSTA 1993, Cambridge, MA, USA, June 28-30, 1993, pp. 40-50, 1993, ACM, 0-89791-608-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #55 of 55 (100 per page; Change: )
|
|