The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Krzysztof Czarnecki" ( http://dblp.L3S.de/Authors/Krzysztof_Czarnecki )

URL (Homepage):  http://gsd.uwaterloo.ca/kczarnec  Author page on DBLP  Author page in RDF  Community of Krzysztof Czarnecki in ASPL-2

Publication years (Num. hits)
1996-2002 (17) 2003-2006 (23) 2007-2009 (19) 2010-2011 (23) 2012 (17) 2013 (18) 2014 (16) 2015 (22) 2016 (19) 2017-2018 (28) 2019 (28)
Publication types (Num. hits)
article(62) book(1) inproceedings(156) phdthesis(1) proceedings(10)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 61 occurrences of 34 keywords

Results
Found 231 publication records. Showing 230 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Jordan A. Ross, Alexandr Murashkin, Jia Hui Liang, Michal Antkiewicz, Krzysztof Czarnecki Synthesis and exploration of multi-level, multi-perspective architectures of automotive embedded systems. Search on Bibsonomy Software and Systems Modeling The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Dina Zayan, Atrisha Sarkar, Michal Antkiewicz, Rita Suzana Pitangueira Maciel, Krzysztof Czarnecki Example-driven modeling: on effects of using examples on structural model comprehension, what makes them useful, and how to create them. Search on Bibsonomy Software and Systems Modeling The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jianmei Guo, Jia Hui Liang, Kai Shi 0006, Dingyu Yang, Jingsong Zhang, Krzysztof Czarnecki, Vijay Ganesh, Huiqun Yu SMTIBEA: a hybrid multi-objective optimization algorithm for configuring large constrained software product lines. Search on Bibsonomy Software and Systems Modeling The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Paulius Juodisius, Atrisha Sarkar, Raghava Rao Mukkamala, Michal Antkiewicz, Krzysztof Czarnecki, Andrzej Wasowski Clafer: Lightweight Modeling of Structure, Behaviour, and Variability. Search on Bibsonomy Programming Journal The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Krzysztof Czarnecki, Rick Salay Towards a Framework to Manage Perceptual Uncertainty for Safe Automated Driving. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Jian Deng, Krzysztof Czarnecki MLOD: A multi-view 3D object detection based on robust feature fusion method. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Marko Ilievski, Sean Sedwards, Ashish Gaurav, Aravind Balakrishnan, Atrisha Sarkar, Jaeyoung Lee, Frédéric Bouchard, Ryan De Iaco, Krzysztof Czarnecki Design Space of Behaviour Planning for Autonomous Driving. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Braden Hurl, Krzysztof Czarnecki, Steven L. Waslander Precise Synthetic Image and LiDAR (PreSIL) Dataset for Autonomous Vehicle Perception. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Vahdat Abdelzad, Krzysztof Czarnecki, Rick Salay, Taylor Denouden, Sachin Vernekar, Buu Phan Detecting Out-of-Distribution Inputs in Deep Neural Networks Using an Early-Layer Output. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Sachin Vernekar, Ashish Gaurav, Taylor Denouden, Buu Phan, Vahdat Abdelzad, Rick Salay, Krzysztof Czarnecki Analysis of Confident-Classifiers for Out-of-distribution Detection. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Matt Angus, Krzysztof Czarnecki, Rick Salay Efficacy of Pixel-Level OOD Detection for Semantic Segmentation. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Atrisha Sarkar, Krzysztof Czarnecki A behavior driven approach for sampling rare event situations for autonomous vehicles. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Sachin Vernekar, Ashish Gaurav, Vahdat Abdelzad, Taylor Denouden, Rick Salay, Krzysztof Czarnecki Out-of-distribution Detection in Classifiers via Generation. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Braden Hurl, Robin Cohen, Krzysztof Czarnecki, Steven L. Waslander TruPercept: Trust Modelling for Autonomous Vehicle Cooperative Perception from Synthetic Data. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Ryan De Iaco, Stephen L. Smith, Krzysztof Czarnecki Learning a Lattice Planner Control Set for Autonomous Vehicles. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Erkan Baser, Venkateshwaran Balasubramanian, Prarthana Bhattacharyya, Krzysztof Czarnecki FANTrack: 3D Multi-Object Tracking with Feature Association Network. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Changjian Li, Krzysztof Czarnecki Rethinking Expected Cumulative Reward Formalism of Reinforcement Learning: A Micro-Objective Perspective. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Jaeyoung Lee, Aravind Balakrishnan, Ashish Gaurav, Krzysztof Czarnecki, Sean Sedwards WiseMove: A Framework for Safe Deep Reinforcement Learning for Autonomous Driving. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Braden Hurl, Krzysztof Czarnecki, Steven L. Waslander Precise Synthetic Image and LiDAR (PreSIL) Dataset for Autonomous Vehicle Perception. Search on Bibsonomy IV The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Rodrigo Queiroz, Thorsten Berger, Krzysztof Czarnecki GeoScenario: An Open DSL for Autonomous Driving Scenario Representation. Search on Bibsonomy IV The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Erkan Baser, Venkateshwaran Balasubramanian, Prarthana Bhattacharyya, Krzysztof Czarnecki FANTrack: 3D Multi-Object Tracking with Feature Association Network. Search on Bibsonomy IV The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ryan De Iaco, Stephen L. Smith, Krzysztof Czarnecki Learning a Lattice Planner Control Set for Autonomous Vehicles. Search on Bibsonomy IV The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jaeyoung Lee, Aravind Balakrishnan, Ashish Gaurav, Krzysztof Czarnecki, Sean Sedwards WiseMove: A Framework to Investigate Safe Deep Reinforcement Learning for Autonomous Driving. Search on Bibsonomy QEST The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Buu Phan, Samin Khan, Rick Salay, Krzysztof Czarnecki Bayesian Uncertainty Quantification with Synthetic Data. Search on Bibsonomy SAFECOMP Workshops The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Rick Salay, Krzysztof Czarnecki Improving ML Safety with Partial Specifications. Search on Bibsonomy SAFECOMP Workshops The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Samin Khan, Buu Phan, Rick Salay, Krzysztof Czarnecki ProcSy: Procedural Synthetic Dataset Generation Towards Influence Factor Studies Of Semantic Segmentation Networks. Search on Bibsonomy CVPR Workshops The full citation details ... 2019 DBLP  BibTeX  RDF
1Krzysztof Czarnecki Software engineering for automated vehicles: addressing the needs of cars that run on software and data. Search on Bibsonomy ICSE (Companion Volume) The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Changjian Li, Krzysztof Czarnecki Urban Driving with Multi-Objective Deep Reinforcement Learning. Search on Bibsonomy AAMAS The full citation details ... 2019 DBLP  BibTeX  RDF
1Krzysztof Czarnecki, Dominique Fourer, François Auger, Miroslaw Rojewski A fast time-frequency multi-window analysis using a tuning directional kernel. Search on Bibsonomy Signal Processing The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jianmei Guo, Dingyu Yang, Norbert Siegmund, Sven Apel, Atrisha Sarkar, Pavel Valov, Krzysztof Czarnecki, Andrzej Wasowski, Huiqun Yu Data-efficient performance learning for configurable systems. Search on Bibsonomy Empirical Software Engineering The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Changjian Li, Krzysztof Czarnecki Urban Driving with Multi-Objective Deep Reinforcement Learning. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Paulius Juodisius, Atrisha Sarkar, Raghava Rao Mukkamala, Michal Antkiewicz, Krzysztof Czarnecki, Andrzej Wasowski Clafer: Lightweight Modeling of Structure, Behaviour, and Variability. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Rick Salay, Krzysztof Czarnecki Using Machine Learning Safely in Automotive Software: An Assessment and Adaption of Software Process Requirements in ISO 26262. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Matt Angus, Mohamed ElBalkini, Samin Khan, Ali Harakeh, Oles Andrienko, Cody Reading, Steven Lake Waslander, Krzysztof Czarnecki Unlimited Road-scene Synthetic Annotation (URSA) Dataset. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Buu Phan, Rick Salay, Krzysztof Czarnecki, Vahdat Abdelzad, Taylor Denouden, Sachin Vernekar Calibrating Uncertainties in Object Localization Task. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Taylor Denouden, Rick Salay, Krzysztof Czarnecki, Vahdat Abdelzad, Buu Phan, Sachin Vernekar Improving Reconstruction Autoencoder Out-of-distribution Detection with Mahalanobis Distance. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Ian Colwell, Buu Phan, Shahwar Saleem, Rick Salay, Krzysztof Czarnecki An Automated Vehicle Safety Concept Based on Runtime Restriction of the Operational Design Domain. Search on Bibsonomy Intelligent Vehicles Symposium The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Krzysztof Czarnecki, Rick Salay Towards a Framework to Manage Perceptual Uncertainty for Safe Automated Driving. Search on Bibsonomy SAFECOMP Workshops The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Krzysztof Czarnecki Requirements Engineering in the Age of Societal-Scale Cyber-Physical Systems: The Case of Automated Driving. Search on Bibsonomy RE The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Jia Hui Liang, Krzysztof Czarnecki, Vijay Ganesh The Effect of Structural Measures and Merges on SAT Solver Performance. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Robert Robere, Jia Hui Liang, Krzysztof Czarnecki, Vijay Ganesh Learning-Sensitive Backdoors with Restarts. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Matt Angus, Mohamed ElBalkini, Samin Khan, Ali Harakeh, Oles Andrienko, Cody Reading, Steven Lake Waslander, Krzysztof Czarnecki Unlimited Road-scene Synthetic Annotation (URSA) Dataset. Search on Bibsonomy ITSC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jia Liang, Hari Govind V. K., Pascal Poupart, Krzysztof Czarnecki, Vijay Ganesh An Empirical Study of Branching Heuristics through the Lens of Global Learning Rate. Search on Bibsonomy IJCAI The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Rodrigo Queiroz, Leonardo Teixeira Passos, Marco Tulio Valente, Claus Hunsen, Sven Apel, Krzysztof Czarnecki The shape of feature code: an analysis of twenty C-preprocessor-based systems. Search on Bibsonomy Software and Systems Modeling The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Dominique Fourer, François Auger, Krzysztof Czarnecki, Sylvain Meignen, Patrick Flandrin Chirp Rate and Instantaneous Frequency Estimation: Application to Recursive Vertical Synchrosqueezing. Search on Bibsonomy IEEE Signal Process. Lett. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Rick Salay, Rodrigo Queiroz, Krzysztof Czarnecki An Analysis of ISO 26262: Using Machine Learning Safely in Automotive Software. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Edward Zulkoski, Ruben Martins, Christoph M. Wintersteiger, Robert Robere, Jia Liang, Krzysztof Czarnecki, Vijay Ganesh Relating Complexity-theoretic Parameters with SAT Solver Performance. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Edward Zulkoski, Curtis Bright, Albert Heinle, Ilias S. Kotsireas, Krzysztof Czarnecki, Vijay Ganesh Combining SAT Solvers with Computer Algebra Systems to Verify Combinatorial Conjectures. Search on Bibsonomy J. Autom. Reasoning The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Saeed Nejati, Jia Hui Liang, Catherine H. Gebotys, Krzysztof Czarnecki, Vijay Ganesh Adaptive Restart and CEGAR-Based Solver for Inverting Cryptographic Hash Functions. Search on Bibsonomy VSTTE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jianmei Guo, Eric Blais, Krzysztof Czarnecki, Peter van Beek A Worst-Case Analysis of Constraint-Based Algorithms for Exact Multi-objective Combinatorial Optimization. Search on Bibsonomy Canadian Conference on AI The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jia Hui Liang, Hari Govind V. K., Pascal Poupart, Krzysztof Czarnecki, Vijay Ganesh An Empirical Study of Branching Heuristics Through the Lens of Global Learning Rate. Search on Bibsonomy SAT The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Michalis Famelis, Julia Rubin, Krzysztof Czarnecki, Rick Salay, Marsha Chechik Software Product Lines with Design Choices: Reasoning about Variability and Design Uncertainty. Search on Bibsonomy MoDELS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jordan A. Ross, Alexandr Murashkin, Jia Hui Liang, Michal Antkiewicz, Krzysztof Czarnecki Synthesis and Exploration of Multi-level, Multi-perspective Architectures of Automotive Embedded Systems (SoSYM Abstract). Search on Bibsonomy MoDELS The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Pavel Valov, Jean-Christophe Petkovich, Jianmei Guo, Sebastian Fischmeister, Krzysztof Czarnecki Transferring Performance Prediction Models Across Different Hardware Platforms. Search on Bibsonomy ICPE The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Atri Sarkar, Krzysztof Czarnecki, Matt Angus, Changjian Li, Steven Lake Waslander Trajectory prediction of traffic agents at urban intersections through learned interactions. Search on Bibsonomy ITSC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Manish Chauhan, Rodolfo Pellizzoni, Krzysztof Czarnecki Modeling the Effects of AUTOSAR Overheads on Application Timing and Schedulability. Search on Bibsonomy DAC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Leonardo Teixeira Passos, Leopoldo Teixeira, Nicolas Dintzner, Sven Apel, Andrzej Wasowski, Krzysztof Czarnecki, Paulo Borba, Jianmei Guo Coevolution of variability models and related software artifacts - A fresh look at evolution patterns in the Linux kernel. Search on Bibsonomy Empirical Software Engineering The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jochen Malte Küster, Hagen Völzer, Cédric Favre, Moisés Castelo Branco, Krzysztof Czarnecki Supporting different process views through a Shared Process Model. Search on Bibsonomy Software and Systems Modeling The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Kacper Bak, Zinovy Diskin, Michal Antkiewicz, Krzysztof Czarnecki, Andrzej Wasowski Clafer: unifying class and feature modeling. Search on Bibsonomy Software and Systems Modeling The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Saeed Nejati, Jia Hui Liang, Vijay Ganesh, Catherine H. Gebotys, Krzysztof Czarnecki Adaptive Restart and CEGAR-based Solver for Inverting Cryptographic Hash Functions. Search on Bibsonomy CoRR The full citation details ... 2016 DBLP  BibTeX  RDF
1Zinovy Diskin, Hamid Gholizadeh, Arif Wider, Krzysztof Czarnecki A three-dimensional taxonomy for bidirectional model synchronization. Search on Bibsonomy Journal of Systems and Software The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Steven T. Stewart, Derek Rayside, Vijay Ganesh, Krzysztof Czarnecki Accelerating the General Simplex Procedure for Linear Real Arithmetic via GPUs. Search on Bibsonomy VSTTE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Rodrigo Queiroz, Thorsten Berger, Krzysztof Czarnecki Towards predicting feature defects in software product lines. Search on Bibsonomy FOSD@SPLASH The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Eldar Khalilov, Jordan A. Ross, Michal Antkiewicz, Markus Völter, Krzysztof Czarnecki Modeling and Optimizing Automotive Electric/Electronic (E/E) Architectures: Towards Making Clafer Accessible to Practitioners. Search on Bibsonomy ISoLA (2) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Daniel M. Berry, Krzysztof Czarnecki, Michal Antkiewicz, Mohamed AbdelRazik The Problem of the Lack of Benefit of a Document to Its Producer (PotLoBoaDtiP). Search on Bibsonomy SwSTE The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jia Hui Liang, Vijay Ganesh, Pascal Poupart, Krzysztof Czarnecki Exponential Recency Weighted Average Branching Heuristic for SAT Solvers. Search on Bibsonomy AAAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Jia Hui Liang, Vijay Ganesh, Pascal Poupart, Krzysztof Czarnecki Learning Rate Based Branching Heuristic for SAT Solvers. Search on Bibsonomy SAT The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Peiyuan Sun, Zinovy Diskin, Michal Antkiewicz, Krzysztof Czarnecki Modeling and Reasoning with Multirelations, and their encoding in Alloy. Search on Bibsonomy OCL@MoDELS The full citation details ... 2016 DBLP  BibTeX  RDF
1Lidia Fuentes, Don S. Batory, Krzysztof Czarnecki (eds.) Companion Proceedings of the 15th International Conference on Modularity, Málaga, Spain, March 14 - 18, 2016 Search on Bibsonomy MODULARITY (Companion) The full citation details ... 2016 DBLP  BibTeX  RDF
1Lidia Fuentes, Don S. Batory, Krzysztof Czarnecki (eds.) Proceedings of the 15th International Conference on Modularity, MODULARITY 2016, Málaga, Spain, March 14 - 18, 2016 Search on Bibsonomy MODULARITY The full citation details ... 2016 DBLP  BibTeX  RDF
1Curtis Bright, Vijay Ganesh, Albert Heinle, Ilias S. Kotsireas, Saeed Nejati, Krzysztof Czarnecki MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures. Search on Bibsonomy SC²@SYNASC The full citation details ... 2016 DBLP  BibTeX  RDF
1Zinovy Diskin, Romina Eramo, Alfonso Pierantonio, Krzysztof Czarnecki Incorporating Uncertainty into Bidirectional Model Transformations and their Delta-Lens Formalization. Search on Bibsonomy Bx@ETAPS The full citation details ... 2016 DBLP  BibTeX  RDF
1Yi Zhang, Jianmei Guo, Eric Blais, Krzysztof Czarnecki, Huiqun Yu A mathematical model of performance-relevant feature interactions. Search on Bibsonomy SPLC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Edward Zulkoski, Vijay Ganesh, Krzysztof Czarnecki MATHCHECK: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers. Search on Bibsonomy IJCAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Curtis Bright, Vijay Ganesh, Albert Heinle, Ilias S. Kotsireas, Saeed Nejati, Krzysztof Czarnecki MathCheck2: A SAT+CAS Verifier for Combinatorial Conjectures. Search on Bibsonomy CASC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Rafael Lotufo, Zeeshan Malik, Krzysztof Czarnecki Modelling the 'hurried' bug report reading process to summarize bug reports. Search on Bibsonomy Empirical Software Engineering The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Frank Hermann 0001, Hartmut Ehrig, Fernando Orejas, Krzysztof Czarnecki, Zinovy Diskin, Yingfei Xiong, Susann Gottmann, Thomas Engel 0001 Model synchronization based on triple graph grammars: correctness, completeness and invertibility. Search on Bibsonomy Software and Systems Modeling The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Julia Rubin, Krzysztof Czarnecki, Marsha Chechik Cloned product variants: from ad-hoc to managed software product lines. Search on Bibsonomy STTT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Sarah Nadi, Thorsten Berger, Christian Kästner, Krzysztof Czarnecki Where Do Configuration Constraints Stem From? An Extraction Approach and an Empirical Study. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Yingfei Xiong, Hansheng Zhang, Arnaud Hubaux, Steven She, Jie Wang, Krzysztof Czarnecki Range Fixes: Interactive Error Resolution for Software Configuration. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jia Hui (Jimmy) Liang, Vijay Ganesh, Ed Zulkoski, Atulan Zaman, Krzysztof Czarnecki Understanding VSIDS Branching Heuristics in Conflict-Driven Clause-Learning SAT Solvers. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Ricardo Terra, Marco Tulio Valente, Roberto da Silva Bigonha, Krzysztof Czarnecki DCLfix: A Recommendation System for Repairing Architectural Violations. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Jia Hui (Jimmy) Liang, Vijay Ganesh, Venkatesh Raman 0001, Krzysztof Czarnecki SAT-based Analysis of Large Real-world Feature Models is Easy. Search on Bibsonomy CoRR The full citation details ... 2015 DBLP  BibTeX  RDF
1Ricardo Terra, Marco Tulio Valente, Krzysztof Czarnecki, Roberto da Silva Bigonha A recommendation system for repairing violations detected by static architecture conformance checking. Search on Bibsonomy Softw., Pract. Exper. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Edward Zulkoski, Vijay Ganesh, Krzysztof Czarnecki MathCheck: A Math Assistant via a Combination of Computer Algebra Systems and SAT Solvers. Search on Bibsonomy CADE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Zack Newsham, William Lindsay, Vijay Ganesh, Jia Hui Liang, Sebastian Fischmeister, Krzysztof Czarnecki SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers. Search on Bibsonomy SAT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jia Hui Liang, Vijay Ganesh, Ed Zulkoski, Atulan Zaman, Krzysztof Czarnecki Understanding VSIDS Branching Heuristics in Conflict-Driven Clause-Learning SAT Solvers. Search on Bibsonomy Haifa Verification Conference The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Aymen Ketata, Carlos Moreno 0002, Sebastian Fischmeister, Jia Hui Liang, Krzysztof Czarnecki Performance prediction upon toolchain migration in model-based software. Search on Bibsonomy MoDELS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Leonardo Teixeira Passos, Jesús Padilla, Thorsten Berger, Sven Apel, Krzysztof Czarnecki, Marco Tulio Valente Feature scattering in the large: a longitudinal study of Linux kernel device drivers. Search on Bibsonomy MODULARITY The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Atri Sarkar, Jianmei Guo, Norbert Siegmund, Sven Apel, Krzysztof Czarnecki Cost-Efficient Sampling for Performance Prediction of Configurable Systems (T). Search on Bibsonomy ASE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Yi Zhang, Jianmei Guo, Eric Blais, Krzysztof Czarnecki Performance Prediction of Configurable Software Systems by Fourier Learning (T). Search on Bibsonomy ASE The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Pavel Valov, Jianmei Guo, Krzysztof Czarnecki Empirical comparison of regression methods for variability-aware performance prediction. Search on Bibsonomy SPLC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Wenbin Ji, Thorsten Berger, Michal Antkiewicz, Krzysztof Czarnecki Maintaining feature traceability with embedded annotations. Search on Bibsonomy SPLC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jesús Padilla Gaeta, Krzysztof Czarnecki Modeling aerospace systems product lines in SysML. Search on Bibsonomy SPLC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Jia Hui (Jimmy) Liang, Vijay Ganesh, Krzysztof Czarnecki, Venkatesh Raman 0001 SAT-based analysis of large real-world feature models is easy. Search on Bibsonomy SPLC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Thorsten Berger, Daniela Lettner, Julia Rubin, Paul Grünbacher, Adeline Silva, Martin Becker 0002, Marsha Chechik, Krzysztof Czarnecki What is a feature?: a qualitative study of features in industrial software product lines. Search on Bibsonomy SPLC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Zinovy Diskin, Tom Maibaum, Krzysztof Czarnecki A Model Management Imperative: Being Graphical Is Not Sufficient, You Have to Be Categorical. Search on Bibsonomy ECMFA The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Moisés Castelo Branco, Yingfei Xiong, Krzysztof Czarnecki, Jochen Malte Küster, Hagen Völzer A case study on consistency management of business and IT process models in banking. Search on Bibsonomy Software and Systems Modeling The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Krzysztof Czarnecki, Arnaud Hubaux, Ethan Jackson, Dietmar Jannach, Tomi Männistö Unifying Product and Software Configuration (Dagstuhl Seminar 14172). Search on Bibsonomy Dagstuhl Reports The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Thorsten Berger, Rolf-Helge Pfeiffer, Reinhard Tartler, Steffen Dienst, Krzysztof Czarnecki, Andrzej Wasowski, Steven She Variability mechanisms in software ecosystems. Search on Bibsonomy Information & Software Technology The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 230 (100 per page; Change: )
Pages: [1][2][3][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license